Мистика в программировании

[green_fr]

Очень странная ситуация на работе. Полностью детерминистская программа, запускаешь её дважды с одинаковыми данными — получаешь дважды один и тот же результат. Всегда, кроме одного раза. Запустил программу, через несколько часов она вылетела с очень странной ошибкой (переменная, которая всегда была округлена до 0.0025 содержала одно значение типа 0.022500458651 — то есть никак не похоже на округление). Перезапустил ещё раз, ничего не изменив — и программа отработала.

Там нет никакой зависимости от времени. Все исходные данные остались одними и теми же. Все генераторы случайных чисел позиционируются на одну и ту же исходную точку. Какие ещё есть варианты? Дефектный процессор? Космическое излучение? Проклятье рода?

Comments

[Дмитрий Рождественский (from livejournal.com)]

Память возможно. Либо в распределении, либо в выравнивании.

[green-fr.livejournal.com]

В смысле, hardware память сбоит?

[Дмитрий Рождественский (from livejournal.com)]

Нет, в смысле у вас ошибка в динамическом выделении памяти.

[green-fr.livejournal.com]

Это на MatLab написано, там он сам управляет памятью.

[birdwatcher.livejournal.com]

Бывают ошибки и в Матлабе.

[green-fr.livejournal.com]

Ну, кстати да, только что обновились до последней версии. Посмотрим, будет ли воспроизводиться - просто за 10 лет первый раз такое вижу.

[vadim rumyantsev (from livejournal.com)]

Непроинициализированное начальное значение.

[green-fr.livejournal.com]

Да нет там никаких глобальных переменных. Всё читается из папочки input, и в эту папочку ничего нового по ходу не пишется, чтобы во второй раз можно было прочитать по-другому.

[vadim rumyantsev (from livejournal.com)]

Необязательно глобальные переменные, любая переменная может быть. Обычно распределяемая память содержит нули, но не всегда.

[green-fr.livejournal.com]

У MatLab неинициализированная переменная имеет значение [] (примерно как null), но идея понятная.

[micro-babushki.livejournal.com]

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

Я упростил ее до минимума (по-моему 2 умножал на 2) - и вот представь себе - в какой-то момент
на экране вдруг возникало не 4, а что-то другое.

Поверить в это было трудно, но факт.

Опытным путем выяснил, что перегревался процессор (или память)
Снимаешь корпус - баги исчезают. Одеваешь - появляется.

Вот так бывает.

[xxxxx.livejournal.com]

ха-ха, да. А бывает ещё и так: после ремонта вернули компутер с новой материнкой и не проставили джамперами напряжение на процессоре, вместо требуемых 3,5 вольт подавалось 2,2 --- и вроде всё работает, машина грузится, ГУЯ запускается, но как начинаешь компилировать техом, он по дороге обязательно выдаёт ошибки, каждый раз разные. Самое смешное, что я таки нашёл причину и исправил.

[micro-babushki.livejournal.com]

ага )
это к тому, что мистики не бывает )

[xxxxx.livejournal.com]

компилятор всегда прав

[yuriyag.livejournal.com]

обалдеть

[kalvado.livejournal.com]

Я бы предположил битовый сбой. Если комп не серверного класса, память не ЕСС, то раз в иногда ошибка возможна.

[green-fr.livejournal.com]

А это реально случается? Насколько часто? И насколько там встроена какая-то защита?

[kalvado.livejournal.com]

ну как.. Я вообще разбирался в свое время с радиационной устойчивостью чипов для спутников - и один из основных механизмов тестирования - облучение кобальтом-60.
При этом где-то вскоре после войны возникла проблема с чувствительными детекторами. Сталь выплавленная примерно после 1945 года более радиоактивна чем довоенная. Чаще всего говорят, что это последствия испытаний (а концентрация трития, например, вроде как еще не стабилизировалась); но я слышал мнение что это утечки из датчиков использующих кобальт-60. И типа если поставить в лесу заводик, и выплавлять сталь из свежедобытой руды без металлолома, используя древесный уголь - то сталь будет вполне чистой.
термин pre-WWII steel исчезает из статей где-то в 70-х - резали линкоры второй мировой. Но запасы не вечны. А до того были даже планы поднимать немецкие подлодки, которые по operation deadlight потопили. Но похоже кто-то построил заводик... смотри выше. Впрочем, когда нашли древнеримский корапь с грузом свинца - тоже радовались...

Так что да, это не нереально. Особенно если ты радиацией балуешься - типа минералку любишь или что такое.
А вот тебе для примера память с защитой от сбоев. Продается...
https://www.newegg.com/Product/Product.aspx?Item=N82E16820148770

[oldjackaroo.livejournal.com]

"насколько часто"

Как человек, слегка причастный к наблюдению за программой, работающей минимум на десятках миллионов компьютеров, могу сказать - каждый день. :)

[green-fr.livejournal.com]

То есть, порядка "раз в миллионо-компьютер-день"?

[kalvado.livejournal.com]

вот некие интересные цифры:
http://www.opsalacarte.com/pdfs/Tech_Papers/Soft_Error_Trends_and_Mitigation_Techniques_in_Memory_Devices_Presentation_by_Charlie_Slayman,Opsalacarte.pdf
Для процессора с большим кешем порядка 1 ошибки в год - и я не понимаю есть ли там защита по факту.

[green-fr.livejournal.com]

Ага, спасибо.

[oldjackaroo.livejournal.com]

Плюс-минус несколько десятичных порядков :)

[mopexod.livejournal.com]

ECC - это уже с "correction". Обычная система, без ECC, ну, простой десктоп, просто уйдёт в синий экран при флипнутом бите.
Error detection-то у них у всех есть.

Правда, это может быть просто дефектная палка памяти - и данные в блоке будут случайные, и детекции никакой. Видел такое один раз, выглядело как ошибки компиляции, если открыто много приложений вместе.

[kalvado.livejournal.com]

берем любую рабоче-крестьянскую память, типа этой:
https://www.newegg.com/Product/Product.aspx?Item=N82E16820134045
считаем корпуса
понимаем, что никаких плюшек типа девятого бита там нет....
Помимо всего прочего, это еще размер ячейки играет. Было очень актуально с большими ячейками несколько микрон, на нанометрах все проще как ни странно.
Не знаю, испозльзуют ли еще изотопную BSG. БЫла очень дорогая штука, но помогала как ни странно...

[kalvado.livejournal.com]

а, туплю, какая BSG теперь... один сплошной металл...