will tolerate the crash failure of

will tolerate the crash failure of a single process.

Proof: Let T be a bivalent decision state reachable from the initial state and p be a decider process, such that action 0 by process p leads to the decision 0, and action 1 by process p leads to the decision 1. What if p crashes in state T, that is, beginning from state T, process p does not execute any further action? Due to actions taken by the remaining processes, the system can possibly move to another bivalent state U. Since the computation must terminate, that is, the system will eventually reach consensus, bivalent states cannot form a cycle. This implies there must exist a reachable bivalent state R, in which (1) no action leads to another bivalent state, and (2) each enabled process r is a decider. If r crashes, then no consensus is reached.

Результаты (русский) 1:

будет терпеть крах провал одного процесса.Доказательство: Пусть T быть двухвалентного решение государства достижимы от начального состояния и p быть процессом – турнир, что действия 0 p процесс приводит к решению 0, и действия 1 p процесс приводит к решению 1. Что делать, если p аварийно завершает работу в состоянии T, то есть, начиная от состояния T, p процесс не выполняет каких-либо дальнейших действий? Из-за действия оставшихся процессов система может двигаться в другое государство двухвалентные u. Поскольку вычисления должны прекратить, то есть, система будет в конечном итоге достичь консенсуса, двухвалентные государства не могут образовать цикл. Это означает, что должна существовать достижимы двухвалентное состояние R, в котором (1) никаких действий приводит к другому двухвалентные государству, и (2) каждый включен процесс r-это – турнир. Если r аварийно завершает работу, то не будет достигнуто консенсуса.

Результаты (русский) 2:

потерпит неудачу при столкновении одного процесса.

Доказательство: Пусть Т двухвалентный решение состояния достижимы из начального состояния и р процесс принятия решения, таким образом, что действие 0 от процесса р приводит к решению 0, и действие 1 процессом р приводит к решению 1. что делать , если р происходит сбой в государственной Т, то есть, начиная с состояния Т, процесс р не выполняет никаких дальнейших действий? Из - за действий , предпринимаемых остальных процессов, система может , возможно , перейти на другую двухвалентное состояние U. Так как вычисление должно прекратить действие , то есть система в конечном счете достигнет консенсуса, двухвалентные состояния могут не образуют цикл. Это означает , что должно существовать достижимый двухвалентного состояния R, в котором (1) никаких действий не приводит к другому двухвалентного состояния, и (2) каждый включен процесс г представляет собой решающий. Если г аварий, то консенсус не будет достигнут.