Отказоустойчивые методы обеспечения взаимной информационной согласованности в распределенных вычислительных системах

Обсуждается постановка задачи взаимного информационного согласования, известная также как задача о «византийских генералах» в децентрализованных распределенных вычислительных системах. Решение этой задачи позволяет унифицировать создание отказоустойчивых алгоритмов прикладного и системного математического обеспечения распределенных вычислительных систем. Рассматриваются детерминированные и рандомизированные алгоритмы взаимного информационного согласования и их приложения, в частности для организации службы единого времени распределенной системы.