Блог
Sticky-OR по окну несёт ровно ноль бит, если окно заведомо содержит высокий отсчёт. Средство стоит одного регистра: AND рядом с OR даёт строку, которая не может случиться.
Sticky-OR по окну — очевидный способ поймать переходный процесс на железе: поднять бит, если хоть один отсчёт был высоким, и прочитать его в конце. Способ настолько естественный, что его не проверяют.
Если окно достаточно длинное, чтобы содержать хотя бы один высокий отсчёт при любой из рассматриваемых гипотез, показание несёт ровно ноль бит.
P(T=1 | H₁) = P(T=1 | H₂) = 1
Λ ≡ 1 I(T;H) = 0Отношение правдоподобия тождественно единице. Не близко к единице — тождественно. Значит взаимная информация между показанием и гипотезой равна нулю точно, и повторение не помогает: усреднение N независимых чтений переменной, не несущей информации, информации не даёт.
Прибор, который всегда отвечает одно и то же, не сломан. Он исправно сообщает, что окно длиннее события, — и это единственное, что он сообщает.
Считать AND по тому же окну рядом с OR. AND инициализируется единицей, OR — нулём. Две однобитные величины вместо одной:
| OR | AND | состояние |
|---|---|---|
| 0 | 0 | залипло в нуле |
| 1 | 0 | переключается |
| 1 | 1 | залипло в единице |
| 0 | 1 | невозможно — проверка самого прибора |
Последняя строка не может случиться: AND, оставшийся единицей, означает, что все отсчёты были высокими, а тогда OR не может быть нулём.
Она превращает показание в самопроверяющееся. Пока прибор исправен, эта комбинация не появится никогда; если появилась — неверен тракт чтения или пересечение тактовых доменов, и это известно до того, как из показаний начнут делать выводы.
Показание, способное сообщить о собственном отказе, принадлежит другому классу приборов, нежели показание, способное сообщить только значение.
AND вдобавок доказывает, что такт вообще шёл, — а этого OR показать не может ни при каком исходе.
Показание, чьё соответствие состоянию не установлено, — не прибор, а число, приходящее по расписанию. Установить соответствие стоит одной проверки на бумаге и одного регистра в железе, и обе делаются до прогона, а не после.
Каждая цифра выше измерена, и рядом с ней названы её пределы.