[Comm] value overflow on C

[Comm] value overflow on C

[Andrey Rybak]

Привет коммунити!
Вопрос по си.
Есть необходимость определять, когда происходит превышение максимального 
значения стандартного типа при арифметических операциях.
Типа такого: значение переменной errno становится равной ERANGE, если 
мат. функция (например pow() из math.h) имеет своим результатом значение 
больше, чем может быть представлено данным типом. Что-то подобное для 
операций сложения и умножения имеется?
Эксперимент показал,что errno остается равным нулю при прибавлении 
единицы к максимальному int . И при выполнении прога никак не реагирует. 
Работает дальше, но с уже неверными величинами.
Гугление и чтение Кернигана и Ричи не дали результата.
Что посоветуете?
Или ссылкой какой поделитесь.
Немного ОТ, но прога то на альте :-)

Re: [Comm] value overflow on C

[Damir Shayhutdinov]

On Wed, Feb 22, 2006 at 01:25:34PM +0200, Andrey Rybak wrote:
> Привет коммунити!
> Вопрос по си.
> Есть необходимость определять, когда происходит превышение максимального 
> значения стандартного типа при арифметических операциях.
> Типа такого: значение переменной errno становится равной ERANGE, если 
> мат. функция (например pow() из math.h) имеет своим результатом значение 
> больше, чем может быть представлено данным типом. Что-то подобное для 
> операций сложения и умножения имеется?
> Эксперимент показал,что errno остается равным нулю при прибавлении 
> единицы к максимальному int . И при выполнении прога никак не реагирует. 
> Работает дальше, но с уже неверными величинами.
> Гугление и чтение Кернигана и Ричи не дали результата.
> Что посоветуете?
ИМХО глобально решить проблему можно только если использовать другие языки.
В случае целочисленных выражений проблему можно сгладить, просто взяв int
тип пошире (например, long long).

-- 
WBR,
Damir Shayhutdinov

Re: [Comm] value overflow on C

[Andrey Rybak]

> ИМХО глобально решить проблему можно только если использовать другие языки.
> В случае целочисленных выражений проблему можно сгладить, просто взяв int
> тип пошире (например, long long).
>
>   
В том то и дело, что взять тип пошире - не кошерно в моем случае.
Расчеты величин проходят в их (величин) зонах сингулярности, где область 
значений резко увеличивается  даже при малых изменениях аргумента. В 
тоже время увеличив ширину типа, я увеличу и так большое время счета. 
Поэтому мне надо просто детектировать, что я подошел к предельным 
величинам. Просто условными оператороми (if например) эта задача 
решается неудовлетворительно.
А вопрос у меня возник, потому что помнится мне, что в ассемблере есть 
флажок переполнения байта величины (при инкременте например), поэтому 
думается мне, что при близости Си к низкоуровнему программированию, 
такая фича (определение превышения допустимой величины) должна быть. 
Именно поэтому я привел пример с ERANGE.

Есть еще идеи?

Re: [Comm] value overflow on C

[Damir Shayhutdinov]

On Wed, Feb 22, 2006 at 02:51:18PM +0200, Andrey Rybak wrote:
> 
> > ИМХО глобально решить проблему можно только если использовать другие языки.
> > В случае целочисленных выражений проблему можно сгладить, просто взяв int
> > тип пошире (например, long long).
> >
> >   
> В том то и дело, что взять тип пошире - не кошерно в моем случае.
> Расчеты величин проходят в их (величин) зонах сингулярности, где область 
> значений резко увеличивается  даже при малых изменениях аргумента. В 
> тоже время увеличив ширину типа, я увеличу и так большое время счета. 
Использование 64битных вычислений позволяет этого избежать.

> Поэтому мне надо просто детектировать, что я подошел к предельным 
> величинам. Просто условными оператороми (if например) эта задача 
> решается неудовлетворительно.
Почему? Даже с флажком от условного перехода (if) вы никуда не денетесь :(

> А вопрос у меня возник, потому что помнится мне, что в ассемблере есть 
> флажок переполнения байта величины (при инкременте например), поэтому 
> думается мне, что при близости Си к низкоуровнему программированию, 
> такая фича (определение превышения допустимой величины) должна быть. 
> Именно поэтому я привел пример с ERANGE.
> 
> Есть еще идеи?
Написать на асме функцию сложения, использующую этот флаг и использовать ее, 
определив как inline для ускорения например. Правда это непортабельно.

-- 
WBR,
Damir Shayhutdinov

Re: [Comm] value overflow on C

[Andrey Rybak]

>   
>> Поэтому мне надо просто детектировать, что я подошел к предельным 
>> величинам. Просто условными оператороми (if например) эта задача 
>> решается неудовлетворительно.
>>     
> Почему? Даже с флажком от условного перехода (if) вы никуда не денетесь :(
>
>   
Я имел ввиду if c операторами "<" и ">". А так конечно - флаг 
используется вместе с if.
>> А вопрос у меня возник, потому что помнится мне, что в ассемблере есть 
>> флажок переполнения байта величины (при инкременте например), поэтому 
>> думается мне, что при близости Си к низкоуровнему программированию, 
>> такая фича (определение превышения допустимой величины) должна быть. 
>> Именно поэтому я привел пример с ERANGE.
>>
>> Есть еще идеи?
>>     
> Написать на асме функцию сложения, использующую этот флаг и использовать ее, 
> определив как inline для ускорения например. Правда это непортабельно.
>
>   
Не хочу, а придется. Но, кажется, должно быть чисто сишное решение.
Может еще кто что скажет?

Re: [Comm] value overflow on C

[Serge Skorokhodov]

>>> Есть еще идеи?
>>>     
>> Написать на асме функцию сложения, использующую этот флаг и
>> использовать ее, определив как inline для ускорения например.
>> Правда это непортабельно.
>>
>>   
> Не хочу, а придется. Но, кажется, должно быть чисто сишное
> решение. Может еще кто что скажет?

По определению языка C возможность отслеживать переполнение
целочисленных типов не предусмотрена:( Так что надо смотреть в
сторону непереносимых платформозависимых решений и расширений
конкретного компилятора для конкретной платформы. Помимо
написания на [встроенном] asm'е, можно еще подумать про
псевдопеременные-регистры типа _EAX и т.д. (в нашем случае нужен
регистр флагов процессора). Есть ли такие возможности в Вашем
компиляторе для Вашей целевой платформы: к языку С никакого
отношения;)

При необходимости оформить что-либо платформозависимое для
нескольких платформ в языке С обычно используют
макроопределения;)

Вот и все идеи, которые приходят в голову... ;)

-- 
Best regards,
 Serge Skorokhodov

Re: [Comm] value overflow on C

[Andrey Rybak]

>
> По определению языка C возможность отслеживать переполнение
> целочисленных типов
А типов float & double?
Я говорил не только про целочисленные, но и встроенные 
арифметические(int, double). Целочисленнные - это только для примера.
>  не предусмотрена:( Так что надо смотреть в
> сторону непереносимых платформозависимых решений и расширений
> конкретного компилятора для конкретной платформы. Помимо
> написания на [встроенном] asm'е, можно еще подумать про
> псевдопеременные-регистры типа _EAX и т.д. (в нашем случае нужен
> регистр флагов процессора). Есть ли такие возможности в Вашем
> компиляторе для Вашей целевой платформы: к языку С никакого
> отношения;)
>   
gcc version 3.3.4 20040817 (ALT Linux, build 3.3.4-alt1)
> При необходимости оформить что-либо платформозависимое для
> нескольких платформ в языке С обычно используют
> макроопределения;)
>
> Вот и все идеи, которые приходят в голову... ;)
>
>   

Re: [Comm] value overflow on C

[Yura Kalinichenko]

В Срд, 22/02/2006 в 16:36 +0200, Andrey Rybak пишет:
> >
> > По определению языка C возможность отслеживать переполнение
> > целочисленных типов
> А типов float & double?

SIGFPE ?

Re: [Comm] value overflow on C

[Serge Skorokhodov]

>> По определению языка C возможность отслеживать переполнение
>> целочисленных типов

> А типов float & double? Я говорил не только про целочисленные,
> но и встроенные арифметические(int, double). Целочисленнные -
> это только для примера.

Не являюсь знатоком численных дел в С, но в плавающей точке вроде
при всяких неожиданностях/ошибках генерируются аппаратные
исключения, результаты могут принимать значение несигнальных NaN,
+-Inf etc. Еще раз, я тут не спец.

> gcc version 3.3.4 20040817 (ALT Linux, build 3.3.4-alt1)

Увы, я не знаю детальных возможностей и расширений этого
компилятора:(

Если речь идет о C++, то в boost есть библиотека безопасного
преобразования числовых типов, которая вроде позволяет
генерировать единообразные исключения при выходе за диапазоны и
т.д. Деталей не помню, но помню, что скорость работы программы
такие проверки не улучшают:(

Кроме того, можно попробовать библиотеки для вычислений с
произвольной точностью типа MAPM. Это может сильно все упростить,
причем настолько, что потеря эффективности на "длинную"
арифметику будут в значительной степени скомпенсированы
упрощением алгоритмов и отсутствием проверок.

Думать надо и искать... ;)

-- 
Best regards,
 Serge Skorokhodov                            mailto:suralis-s@mtu-net.ru

Re: [Comm] value overflow on C

[Kaydannik Axel]

Проще. Когда привышаешь маскимальное от возможного то он начинается с начала.

Что же касается маскимально возможного то в реалиях оно больше чем в
документаци. А ля НА ВСЯКИЙ СЛУЧАЙ.

23.02.06, Serge Skorokhodov<suralis-s@mtu-net.ru> написал(а):
> >> По определению языка C возможность отслеживать переполнение
> >> целочисленных типов
>
> > А типов float & double? Я говорил не только про целочисленные,
> > но и встроенные арифметические(int, double). Целочисленнные -
> > это только для примера.
>
> Не являюсь знатоком численных дел в С, но в плавающей точке вроде
> при всяких неожиданностях/ошибках генерируются аппаратные
> исключения, результаты могут принимать значение несигнальных NaN,
> +-Inf etc. Еще раз, я тут не спец.
>
> > gcc version 3.3.4 20040817 (ALT Linux, build 3.3.4-alt1)
>
> Увы, я не знаю детальных возможностей и расширений этого
> компилятора:(
>
> Если речь идет о C++, то в boost есть библиотека безопасного
> преобразования числовых типов, которая вроде позволяет
> генерировать единообразные исключения при выходе за диапазоны и
> т.д. Деталей не помню, но помню, что скорость работы программы
> такие проверки не улучшают:(
>
> Кроме того, можно попробовать библиотеки для вычислений с
> произвольной точностью типа MAPM. Это может сильно все упростить,
> причем настолько, что потеря эффективности на "длинную"
> арифметику будут в значительной степени скомпенсированы
> упрощением алгоритмов и отсутствием проверок.
>
> Думать надо и искать... ;)
>
> --
> Best regards,
>  Serge Skorokhodov                            mailto:suralis-s@mtu-net.ru
>
> _______________________________________________
> Community mailing list
> Community@lists.altlinux.org
> https://lists.altlinux.org/mailman/listinfo/community

[Comm] value overflow on C

[Kosserior]

> Может еще кто что скажет?

Вряд ли это сильно поможет, но если мне память не изменяет,
то эта возможность зависит, то ли от компилятора, то ли от
его настроек.

Re: [Comm] value overflow on C

[spider]

Andrey Rybak wrote:
> Привет коммунити!
> Вопрос по си.
> Есть необходимость определять, когда происходит превышение максимального 
> значения стандартного типа при арифметических операциях.
> Типа такого: значение переменной errno становится равной ERANGE, если 
> мат. функция (например pow() из math.h) имеет своим результатом значение 
> больше, чем может быть представлено данным типом. Что-то подобное для 
> операций сложения и умножения имеется?
man fenv

Re: [Comm] value overflow on C

[Хихин Руслан]

Здравствуйте spider
  В сообщении от 22 февраля 2006 20:28 spider написал(a):
 > Andrey Rybak wrote:
 > > Привет коммунити!
 > >
 > > Вопрос по си.
 > >
 > > Есть необходимость определять, когда происходит превышение
 > > максимального
 > >
 > > значения стандартного типа при арифметических операциях.
 > >
 > > Типа такого: значение переменной errno становится равной ERANGE,
 > > если
 > >
 > > мат. функция (например pow() из math.h) имеет своим результатом
 > > значение
 > >
 > > больше, чем может быть представлено данным типом. Что-то подобное
 > > для
 > >
 > > операций сложения и умножения имеется?
 >
 > man fenv
Ну и man nan, apropos finity и далее. 


-- 
  А ещё говорят так  (fortune):
 
- Почему слово "квас" пишется вместе, а "к вам" - отдельно?
- Потому что "ананас" пишется вместе, а "мы ее" - отдельно.
________________________________________________________________________
С уважением Хихин Руслан (hihin@rambler.ru)

Re: [Comm] value overflow on C

[Andrey Rybak]

> man fenv
> _______________________________________________
>   
Это именно то, что нужно!
Спасибо.