Телеграмм чат группы compilerdev страница 1256

https://randomascii.wordpress.com/category/floating-point/

Random ASCII - tech blog of Bruce Dawson

Floating Point – Random ASCII – tech blog of Bruce Dawson

Posts about Floating Point written by brucedawson

22:03пожаловаться #1

KR

То есть, для плавающей точки любая операция с большой вероятностью ведёт к потере точности. И дальше возникает вопрос - допустима ли эта потеря или нет.

Как правило, используемые везде double сильно избыточны. Но не всегда.

Ещё есть риск включённого SIGFPE и денормализованных чисел. Но это вряд ли выстрелит.

22:17пожаловаться #2

M

MaxGraey in Compiler Development

То есть, для плавающей точки любая операция с большой вероятностью ведёт к потере точности. И дальше возникает вопрос - допустима ли эта потеря или нет.

Как правило, используемые везде double сильно избыточны. Но не всегда.

Ещё есть риск включённого SIGFPE и денормализованных чисел. Но это вряд ли выстрелит.

Что значит сильно избыточны? Дабл разве что для нейронных сетей избыточны и то не для всех, а так их применяют даже для UX/UI. Ну и все операции приводят к ошибке округления, а некоторые еще и могут порождать сайд эффекты в виде NaN который вообще ведет себя обособленно и это нужно учитывать если только не включен режим а-ля ffast-math

22:22пожаловаться #3

KR

MaxGraey

Что значит сильно избыточны? Дабл разве что для нейронных сетей избыточны и то не для всех, а так их применяют даже для UX/UI. Ну и все операции приводят к ошибке округления, а некоторые еще и могут порождать сайд эффекты в виде NaN который вообще ведет себя обособленно и это нужно учитывать если только не включен режим а-ля ffast-math

Почти везде, где я работал, достаточно было float (32 бита). Это физика, финансы, теплоэнергетика.

22:22пожаловаться #4

M

MaxGraey in Compiler Development

Почти везде, где я работал, достаточно было float (32 бита). Это физика, финансы, теплоэнергетика.

Финансы?

22:23пожаловаться #5

KR

MaxGraey

Финансы?

Да. Это многих поражает, но для расчёта цен на биржах используется плавающая точка.

22:23пожаловаться #6

p

polunin.ai in Compiler Development

То есть, для плавающей точки любая операция с большой вероятностью ведёт к потере точности. И дальше возникает вопрос - допустима ли эта потеря или нет.

Как правило, используемые везде double сильно избыточны. Но не всегда.

Ещё есть риск включённого SIGFPE и денормализованных чисел. Но это вряд ли выстрелит.

ну на точность пофиг в принципе, это литералы double 64 бита. то есть в общем случае можно переставлять.

22:23пожаловаться #7

M

MaxGraey in Compiler Development

В финансах только decimal и bigdecimal. Статистика всякая да, там можно и f32 обойтись

Алексей ayaye :) in Compiler Development

22:23пожаловаться #8

А

вы не забывайте, что при вычислениях погрешность накапливается. иногда проще взять избыточно точное значение в начале, чтобы не вылезти в конце

22:24пожаловаться #9

M

MaxGraey in Compiler Development

Да. Это многих поражает, но для расчёта цен на биржах используется плавающая точка.

Это не финансы, это мониторинг

22:24пожаловаться #10

KR

MaxGraey

Это не финансы, это мониторинг

Ок. Вы любите спорить.

22:24пожаловаться #11

KR

polunin.ai

ну на точность пофиг в принципе, это литералы double 64 бита. то есть в общем случае можно переставлять.

Если вы знаете, что это за литералы, то почему бы и нет.

22:25пожаловаться #12

A

Alex in Compiler Development

polunin.ai

хм, насколько правильно будет переставлять в данном случае:
x + 2 > 1
на
x > -1
?
Для целочисленных по идеи допустимо такое поведение. А для флоатов? Где можно почитать про то в каких случаях допустимо выполнять такие перестановки а в каких нет?

Боюсь что даже для целых чисел такое допустимо не всегда. В случае если x+2 переполняет значение, то результат будет отличаться от сравнения с -1. Например, у нас будет большое отрицательное, которое всегда будет меньше 1', а при сравнении x с -1' x всегда будет больше

22:25пожаловаться #13

M

MaxGraey in Compiler Development

Alex

Боюсь что даже для целых чисел такое допустимо не всегда. В случае если x+2 переполняет значение, то результат будет отличаться от сравнения с -1. Например, у нас будет большое отрицательное, которое всегда будет меньше 1', а при сравнении x с -1' x всегда будет больше

Только для unsigned

22:25пожаловаться #14

p

polunin.ai in Compiler Development

Alex

Боюсь что даже для целых чисел такое допустимо не всегда. В случае если x+2 переполняет значение, то результат будет отличаться от сравнения с -1. Например, у нас будет большое отрицательное, которое всегда будет меньше 1', а при сравнении x с -1' x всегда будет больше

у меня числа biginteger)

22:26пожаловаться #15

A

Alex in Compiler Development

polunin.ai

у меня числа biginteger)

:) тогда норм )