Тяжела и неказиста жизнь простого программиста...

[kot_ivanovich]

Приятель показал замечательный баг, который он только что искоренил в коде. Все мы знаем, что floating-point переменные сравнивать на равенство очень опасно, но ведь всё равно иногда сравниваем, да? Так вот, имелся такой код:

double x = ;
double y = x;
Read more... )

Comments

[spamsink]

Ай, хорошо! В GCC на этот счет есть опция -ffloat-store, а как в других компиляторах - не знаю.

[kot_ivanovich]

Это и был gcc. Но в большой вычислительной системе, где скорость - наше всё, -ffloat-store напишет только сумасшедший. Уж лучше мы их будем сравнивать поаккуратнее...

[spamsink]

-ffloat-store хорош для быстрого выяснения, где кроется ошибка. А ликвидировать ее можно и более аккуратным сравнением, и с помощью использования long double в ключевых местах, и с помощью FLDCW(FSTCW() & ~0x100) в начале программы.

[mbla]

Ни фига себе! Интересно, сколько времени он искал?

[kot_ivanovich]

Приятель - могуч невероятно, думаю, что искал недолго. К тому же баг изолировали другие, к нему пришли только, когда встали в тупик.

Самое печальное, что нет хорошего универсального решения. Дейкстра где-то писал, что они однажды решили сделать в каком-то компиляторе операцию равенства между вещественными числами так, чтобы она пренебрегала парой последних битов. Оказалось еще хуже: они потеряли свойство (A = B) & (B = C) ⇒ (A = C) и последствия были тяжелы...

[ex_juan_gan]

Шутки шутками, а это грязный баг. Ведь не обязательно складывать это дело в память, можно просто в регистре же округлить до стандартного плавающего. И если режим округления в процессе не менять... ;)

[kot_ivanovich]

Не знаю, наверное, лучше было бы округлять. Я только боюсь, что решений без trade-offs не бывает: спасаем логичность, теряем скорость и/или точность. На самом деле программист просто не должен писать (y == x) никогда, такая запись всегда неаккуратное выражение какого-то другого смысла, например (fabs(y - x) < epsilon) или (fabs(y - x) < epsilon*fabs(x)) или еще чего. А в обсуждаемом примере было вообще лучше булевский флажок завести.

Хм, по-идее, вот такое и следовало бы в code_wtf

[poige]

:)

[kot_ivanovich]

А это не WTF... Программист, который написал такое, глубоко неправ, но на WTF оно не тянет. Никто, из тех кого я знаю, не сказал с ходу: Ну это же очевидный баг!

> Ну это же очевидный баг!

[poige]

В том-то и дело!

> // Сюда программа не попадает никогда, даже когда игрека никто не менял!!!

- вот тут так и хочется добавить «-- WTF?!» Так что WTF оно WTF и есть. :)

[sloppik]

Какая прелесть - обязательно своим студентам раскажу! Спасибо!