>>208914
SOI уже применяли, например, в AMD K10. Эффект от него хорош в случае планарных транзисторов за счёт упрощения их изоляции, но сейчас переходят на объемные, где польза от него не столь выражена.
>>208915
>Как только будет доказанный софт, можно будет обнаруживать и исправлять или обходить ошибки в железе.
Сличать псевдослучайные последовательности от одного и того же генератора с большим периодом и подобные методы выявления интенсивности ошибок есть и сейчас.
>Запускай три копии, побеждает большинство.
Вероятность ошибки снижается в квадрате, при идеальном выборе большинства, но во-первых, это все равно не то же что гарантии их полного отсутствия, во-вторых, если бы сличение результатов было простой задачей, весь надёжный софт писался бы наймом трех смен индусов, пишущих три разные реализации софтины со сличением результата работы.
Если мы изначально начинаем торговаться о вероятности, то аксиома о полезности доказуемых программ превращается в инженерную задачу, оценки вероятности входа неизбежных ничтожно маловероятных ошибок которые могут просочиться на в обратной степени огромную по количеству шагов процедуру верификации (предположим, она сама уже доказана, а огромное число шагов - потому что покрыть нужно экспоненциально множащееся от размера программы число состояний), получая в итоге может ничтожно малую, может небольшую, а может стремящуюся к 1 вероятность наличия багов.
