Гейзенбаг () — жаргонный термин, используемый в программировании для описания программной ошибки, которая исчезает или меняет свои свойства при попытке её обнаружения. Не полностью идентичный, но достаточно близкий по значению русскоязычный термин — «плавающая ошибка».
Примером могут являться ошибки, которые проявляются в окончательном варианте программы, однако не видны в режиме отладки, или ошибки синхронизации в многопоточном приложении.
Происхождение названия Данное название является игрой слов и происходит от термина «принцип неопределённости Гейзенберга» из квантовой механики, который на бытовом уровне понимается как неожиданное изменение наблюдаемого объекта в результате самого факта наблюдения.
В интервью журналу ACM Queue рассказывает, что присутствовал в тот момент, когда данный термин был впервые употреблён в значении «ты смотришь на него — и он исчезает» (сравните со словами Гейзенберга, который говорил: «чем более пристально вы глядите на один предмет, тем меньше внимания вы уделяете чему-то ещё»).
Возможные причины возникновения Как правило, это низкоуровневые проблемы: неинициализированная переменная — переменная перед использованием не инициализируется. При наблюдении в отладчике она всегда попадает на область памяти, заполненную нулями, а в реальной работе — на произвольное значение. неправильный порядок инициализации — инициализация может происходить на более поздней стадии работы, чем первое использование, при этом после инициализации проблема не проявляется (при этом на стадии отладки порядок инициализации совпадает с порядком использования); ошибка синхронизации в многозадачной среде или многопоточном приложении (так называемое состояние гонки) — всевозможные ошибки, от неправильной установки семафоров до ошибок, связанных с относительными приоритетами работы потоков (приоритеты при отладке и в реальной работе могут различаться); доступ к посторонней памяти (переполнение буфера, висячий указатель и прочее) — небольшое изменение в раскладке памяти приводит к тому, что ошибка не проявляется или проявляется по-другому; аппаратная ошибка.
Ошибки оптимизаторов: ошибка алгоритма удаления мёртвого кода — алгоритм оптимизации может ошибочно посчитать, что блок не имеет побочных эффектов и удалить его, при этом вставка отладочных команд для вывода на экран или в лог уже не даст удалить этот блок как мёртвый и отлаживаться будет уже немного другая программа.
Методы борьбы Гейзенбаги очень сложно искать, поскольку они проявляются в зависимости от случайных факторов и воспроизводятся нестабильно (свою роль играет и сложность анализа состояния многопоточной системы). Поэтому их стараются отсечь ещё на этапе проектирования, продумывая процедуры синхронизации.
Сходные понятия Борбаг () — ошибка, которая, в противоположность гейзенбагу, не исчезает и не меняет своих свойств при попытке её обнаружения, аналогично стабильности модели электронных орбиталей Нильса Бора. Близкий по значению русскоязычный аналог — «стабильный» или «устойчивый» багThe jargon file. Bohr-bug , «систематическая ошибка».
Мандельбаг () — ошибка, чьё поведение столь сложно, что выглядит хаотичнымThe new hacker’s dictionary .. Название происходит от имени Бенуа Мандельброта, основоположника фрактальной геометрии. Однако, стоит заметить (по принципу, сходному с тестом Тьюринга), что, если не существует способа разделить ошибку, чьё поведение кажется хаотичным, и ошибку, чьё поведение действительно хаотично, то нет никакого смысла различать мандельбаг и гейзенбагM. Grottke and K. S. Trivedi, Software faults, software aging and software rejuvenation. Journal of the reliability engineering association of Japan, выпуск 27, номер 7, 2005 год, страницы 425—438.. Некоторые используют термин мандельбаг для описания ошибки, чьё поведение не кажется действительно хаотичным, но столь сложно, что для её исправления требуется переписать программу с нуля. Примером такой ошибки может служить фундаментальная ошибка, допущенная при проектировании системыMichael Grottke, Kishor S. Trivedi, «Fighting bugs: remove, retry, replicate, and rejuvenate ». Computer, выпруск 40, номер 2, февраль 2007, страницы 107—109, doi:10.1109/MC.2007.55.
ШрёдинбагThe jargon file. Schroedinbug ( — в честь мысленного эксперимента с котом Шрёдингера) — ошибка, которая никак не проявляет себя, однако внезапно возникает, если кто-то наткнётся на неё в исходном коде или попытается использовать программу в необычных условиях и осозна́ет, что система вообще не могла работать при наличии такой ошибки. После этого программа перестаёт работать вообще до тех пор, пока ошибка не будет исправлена. Хотя это звучит невероятно, некоторые программы содержат в себе такие ошибки.
Гинденбаг ( — по названию катастрофы дирижабля «Гинденбург») — ошибка с катастрофическими последствиями, например, полным уничтожением данных.
Багсон Хиггса ( — в честь частицы под названием бозон Хиггса) — ошибка, существование которой предсказано (чаще всего, по косвенным данным или единичным сообщениям пользователей), но которую крайне трудно, если вообще возможно, воспроизвести искусственно в условиях разработки или тестирования. Термин также может употребляться по отношению к ошибке, которая очевидна в коде (математически доказана), но при этом ни разу не наблюдалась в реальных условиях.
Примечания
Категория:Ошибки программирования