Every nonfaulty process eventually

Every nonfaulty process eventually elects a unique leader.
Proof: A process i sending out an election message may or may not receive a reply.
Case 1: If i receives a reply, then i will not send the leader message. In that case, ∀j ∈ V, L(j) ≠ i
will eventually hold.
Case 2: If i does not receive a reply, then i must be unique in as much ∀j ∈ V: ok(j), j ≤ i holds. Note that there will always be a process like this. In this case, i elects itself as the leader, and after the leader message is sent out by i and received by all nonfaulty processes, the condition ∀j ∈ V: ok(j), L(j) = i holds.
If case 1 holds, but no leader message is subsequently received before time-out, then the would-be leader itself must have failed in the mean time. This sets failed to true for every process that was waiting for the leader message. As a result, a new election is initiated and one of the earlier two cases will eventually hold, unless every process has failed, and the problem becomes vacuous. ◾

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

Каждый nonfaulty процесс в конечном итоге выбирает уникальный лидер.Доказательство: Процесс, я Отправка сообщения выборов может или не может получить ответ.Случай 1: Если я получает ответ, то я не будет отправлять сообщение лидера. В этом случае, ∀j ∈ V, L(j) ≠ iв конечном итоге будет проводить.Случай 2: Если я не получает ответ, то я должен быть уникальным в ok(j) V: ∈ столько ∀j, j ≤ я держит. Обратите внимание, что всегда будет процесс, как это. В этом случае я выбирает себя как лидера, и после того, как лидер сообщение отправлено из я и получил все nonfaulty процессы, состояние ∀j ∈ V: ok(j), L(j) = я держит.Если случай 1 держит, но сообщение не лидер впоследствии получено до истечения времени ожидания, будущий лидер, сам должен не в то же время. Это задание не true для каждого процесса, который ожидает сообщения лидера. В результате начала новые выборы, и один из предыдущих двух случаев в конечном итоге будет проводить, если не каждый процесс, и эта проблема становится vacuous. ◾

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

Каждый nonfaulty процесс в конце концов выбирает уникальный лидер.
Доказательство: Процесс я отправка сообщение о выборах может или не может получить ответ.
Случай 1: Если я получает ответ, то я не буду посылать сообщение лидера. В этом случае ∀j ∈ V, L (J) ≠ я
в конечном итоге держать.
Случай 2: Если я не получил ответа, то я должен быть уникальным в столько же ∀j ∈ V: OK (J), J ≤ я держит. Обратите внимание , что всегда будет процесс , как это. В этом случае я избирает себя в качестве лидера, и после того , как сообщение лидер отправляется по I и получены всеми nonfaulty процессов, условие ∀j ∈ V: OK (J), L (к) = я имеет место.
Если случай 1 имеет место, но ни одно сообщение не лидер впоследствии получено до тайм-аута, то будущий лидер должен сам потерпели неудачу в то же время. Это устанавливает не в состоянии верно для каждого процесса , который ждет сообщения лидера. В результате, новые выборы инициировала и один из предыдущих двух случаях, в конечном счете держать, если каждый процесс не вышел из строя, и проблема становится бессодержательным. ◾

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

каждый nonfaulty процесс, который в конечном итоге избирает уникальный лидер.доказательства: процесс, я послал сообщение, выборы могут не получить ответ.вариант 1: если я получает ответ, тогда я не буду отправлять лидер сообщение.в этом случае, ∀ J ∈ V L (j) ≠ яв конечном итоге, подождите.вариант 2: если я не получил ответа, то я должен быть уникальным в своем роде, как ∀ J ∈ V: ладно, (j), j ≤ я проводит.к сведению, что всегда будет процесс, как это.в этом случае, я выбрала себя лидером, и после того, как глава отправлено из я и получил все nonfaulty процессов, состояние ∀ J ∈ V: ладно, (j), 1 (j) = я проводит.если дело 1 имеет, но не лидер сообщение впоследствии получил до тайм - аут, а затем потенциального лидера должно быть не в то время.это создает не относится к любому процессу, который ждал лидера сообщение.в результате, новых выборов начинается и один из двух предыдущих дел, в конечном счете, если каждый процесс, не удалось, и эта проблема становится пустым.◾