4551
правка
Невозможность асинхронного консенсуса: различия между версиями
Материал из WEGA
Невозможность асинхронного консенсуса (посмотреть исходный код)
Версия от 15:21, 16 сентября 2024
, 16 сентябрь→Постановка задачи
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 17: | Строка 17: | ||
В ''задаче о достижении консенсуса'' каждый процесс начинает работу с частного ''входного'' значения, взаимодействует с остальными, а затем останавливается с найденным значением ''решения''. Такие значения должны удовлетворять следующим свойствам: | В ''задаче о достижении консенсуса'' каждый процесс начинает работу с частного ''входного'' значения, взаимодействует с остальными, а затем останавливается с найденным значением ''решения''. Такие значения должны удовлетворять следующим свойствам: | ||
• ''Согласованность'': значения решений всех процессов должны | • ''Согласованность'': значения решений всех процессов должны быть согласованными. | ||
• ''Допустимость'': каждое значение решения должно быть входным значением некоторого процесса. | • ''Допустимость'': каждое значение решения должно быть входным значением некоторого процесса. | ||
