S
а пролетание высокоэнергитической частицы через АЛУ процессора во время рассчёта?
нет, ну изменяемые извне данные это обычная вещь, в си кейворд volatile
Size: a a a
2020 March 25
AZ
вот и я думаю, что нет =)
я не понимаю этой позиции. Всё равно что бомж в грязи валяется, ему говорят "помойся", а он отвечает, что всё равно космическая пыль оседает на всех каждую долю секунды, вода тоже грязная, с кучей микробов, поэтому и так норм
G
А вот например изменение памяти операционной системой или вирусом "доказательства" рассматривают?
То, что будешь доказывать, то и рассматривается
AZ
нет, ну изменяемые извне данные это обычная вещь, в си кейворд volatile
volatile тебе ничем не поможет когда cmp eax, eax вернет false
S
volatile тебе ничем не поможет когда cmp eax, eax вернет false
а оно разве не атомарное?
S
cmp
G
а оно разве не атомарное?
У каждой инструкции есть пайплайн
AZ
а оно разве не атомарное?
атомарный. Только представь, что процессор пишет напряжение соответствующее true, а в это время частица пролетающая повышает напряжение и в результате записывается false
AZ
почитать можно, тут небольшая заметка на тему
AZ
Radiolab did an episode on the case of a cosmic bit flip changing the vote tally in a Belgian election in 2003. The error was caught because one candidate got more votes than was logically possible. A recount showed that the person in question got 4096 more votes in the first count than the second count. The difference of exactly 2^12 votes was a clue that there had been a bit flip. All the other counts remained unchanged when they reran the tally.
AZ
It’s interesting that the cosmic ray-induced error was discovered presumably because the software quality was high. All software is subject to cosmic bit flipping, but most of it is so buggy that you couldn’t rule out other sources of error.
DS
но даже если мы напишем явные боксы - гц умеет боксы лишние выкидывать, он очень хорошо умеет много памяти в кучи аллоцировать и т.п.
Достаточно умный компилятор тоже сможет такое сделать в большинстве случаев. Какой-нибудь partial evaluation + whole program analysis и погнали
AK
1. их дольше писать.
2. покрывают только частичные случаи.
2. покрывают только частичные случаи.
А ещё они полезнее. Тесты показывают, что если использовать апишку так, то она отработает вот так. Это ещё и документация.
p
Alexander Krivitskiy
А ещё они полезнее. Тесты показывают, что если использовать апишку так, то она отработает вот так. Это ещё и документация.
это называется интеграционные тесты
p
и они полезны
p
юнит не нужны
G
это называется интеграционные тесты
+
p
я сейчас так и делаю, пишу только интеграционные тесты