Изменения

[[Файл:Два_генералаDistributed TwoGenerals.png|300px|right]]На Две армии, каждая руководимая своим генералом, готовятся к штурму города. Лагеря этих армий располагаются на двух холмах по войску, разделённых долиной. Единственным способом связи между ними враггенералами является отправка посыльных с сообщениями через долину. Одновременная атака ведет к победеНо долина занята противником и любой из посыльных может быть перехвачен. Одиночная атака ведет к поражениюПроблема заключается в том, что, генералы заранее (пока была связь) приняли принципиальное решение о штурме, но не согласовали точное время штурма.<br>Посылают гонцов Для успешного штурма генералы должны атаковать город одновременно. Штурм, предпринятый только одной армией, приведет к катастрофическим последствиям для атакующих. Требуется найти алгоритм обмена сообщениями, после которого каждый генерал был бы уверен, что они оба атакуют в указанное время. Гонца может перехватить враг и убить.<br>

а) Работает, когда количество фиксированных транзакций сильно превышает количество откаченных, экономим таким образом память.<br>

б) Может произойти ложная фиксация.<br>

в) Сбой на первой фазе.<br>

* Происходит Если происходит «потеря» транзакции, а информация не была записана в лог, то участникам придет ответ «фиксировать»<br>

а) Не можем случайно зафиксировать транзакцию {{---}} надежнее.<br>

б) Тратим гораздо больше памяти, но не всегда это критично.<br>