Lockstep: Сравнивает физическое состояние (биты в регистрах, адреса на
шине) такт за тактом. Все ядра должны быть идентичны до последнего
бита (pp. 9, 13). Дивергентное выполнение - Сравнивает логическое поведение (семантический след). Ядра выполняют разный бинарный код, расположенный по разным адресам, но этот код делает одно и то же. Сравниваются не адреса, а результаты вычислений и типы операций.
Дивергентное - Благодаря разному расположению функций в памяти, одинаковый прыжок PC приведет ядра в разные куски кода. Например, первое ядро попадет в середину функции вычислений, а второе — в область пустых инструкций (NOP).
Дивергентный метод, имеет все преимущества стандартных Lockstep + устойчивость (детекция) к коррелированным ошибкам
local29 (Сегодня, 17:13, просмотров: 6) ответил Toчкa oпopы на Хабарка: "Как я разрабатывал отказоустойчивый промышленный
контроллер."