Может ли существовать неблокирующий протокол консенсуса без критических состояний?

Может ли существовать модель программы с пустым множеством конечных состояний?

Два объекта с числом консенсуса 8 могут решить задачу консенсуса для (целое число) потоков:

Консенсус может быть реализован при помощи критических секций?

Начальное состояние протокола консенсуса:

Результатом протокола консенсуса является:

Какое число консенсуса имеет тривиальный RMW регистр?

Какое число консенсуса имеет конструкция "sticky byte":

Верно ли, что всегда решением консенсуса является значение потока, сделавшего первый ход?

Сколько потоков должно выйти из строя в ходе исполнения протокола консенсуса, чтобы тот гарантированно перестал быть частично корректным?

Сколько потоков должно выйти из строя в ходе исполнения протокола консенсуса, чтобы тот гарантированно перестал быть полностью корректным?