Case 1: At least one of the actions

Case 1: At least one of the actions (action 0 or action 1) is a read action.
Without loss of generality, let action 0 by p be a read operation and action 1 by q be a write operation. The read action does not have any impact on any other process in the system, so the write action by process q in state T remains a feasible action in state T0 also. Consider now a computation e1 from state T (Figure 13.2a) where q executes action 1 followed by a suffix that excludes any step by process p (which mimics the crash of p). Such a computation must exist if consensus is possible when a process crashes. Let e1 lead to decision 1. Now, consider another computation e0 that starts with action 0 by p. To every process r ≠ p, the states T0 and T are indistinguishable. So one can use e1 as the suffix of the computation e0 from state T0 onwards. The final decision now is 0. To every process other than p, the two computations e0 and e1 are indistinguishable, but the final decisions are different. This is not possible. Therefore, p = q.

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

Случай 1: по крайней мере одно из действий (действия 0 или 1) — это чтение действие.Без потери общности пусть действия 0 p быть операция чтения и действия 1 q быть операция записи. Чтения действие не имеет никакого влияния на любой другой процесс в системе, поэтому запись действия процесса q в состоянии T остается возможным акцией в состоянии T0 также. Рассмотрим теперь вычисление e1 от состояния T (рис. 13.2a) где q выполняет действие 1, а затем суффикс, который исключает любой шаг процесса p (который имитирует падение p). Такое вычисление должно существовать, если консенсус возможен, когда процесс аварийно завершает работу. Пусть e1 привести к решению 1. Теперь рассмотрим другое вычисление e0, который начинается с действия 0 p. Для каждого процесса r ≠ p государства T0 и Т неотличимы. Таким образом можно использовать e1 как суффикс e0 вычислений из состояния T0 года. Окончательное решение теперь равно 0. Каждый процесс, отличный от p двух вычислений e0 и e1 ничем не отличаются, но окончательные решения разные. Это невозможно. Таким образом, p = q.

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

Случай 1: По крайней мере , одно из действий (действие 0 или действие 1) представляет собой действие чтения.
Без ограничения общности, пусть действие 0 р будет операция чтения и действие 1 на д быть операцией записи. Действие чтения не оказывает никакого влияния на любой другой процесс в системе, так что действие записи с помощью процесса д в состояния Т остается возможным действие в состоянии Т0 также. Рассмотрим теперь вычисления e1 из состояния Т (рис 13.2a) где д выполняет действие 1 , за которым следует суффикс , который исключает любой шаг за процесса р (который имитирует аварию р). Такое вычисление должно существовать , если консенсус возможен , когда процесс выходит из строя. Пусть e1 приведет к решению 1. Теперь рассмотрим другой вычисления E0 , который начинается с действием 0 на р. Для каждого процесса г ≠ р, состояния Т0 и Т неразличимы. Таким образом, можно использовать e1 как суффикс вычисления е0 из состояния Т0 и далее. Окончательное решение теперь 0. Для каждого процесса, кроме р, два вычисления e0 и e1 неразличимы, но окончательные решения различны. Это невозможно. Следовательно, р = д.

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

вариант 1: по крайней мере, одна из мер (0 или 1) является следующим образом.без ущерба для обобщения, пусть действий 0 by P будет читать операции и деятельность 1 Q будет писать операцию.читать решение не повлияет на любой другой процесс в системе, так что пишите действий процесс Q в государства, не остается возможности действий государственных т0.подумайте, расчеты, е1 от государства не (рис. 13.2a), где в осуществляет действия 1 а суффикс, что исключает любые шаги процесса P (которая имитирует самолета P).такие расчеты, должен существовать, если консенсус возможен, когда процесс дорожно - транспортных происшествий.пусть е1, приведет к решению 1.теперь рассмотрим другой расчет - что начинается с действий 0 п. для каждого процесса R ≠ P, штаты T0 и не смешиваются.так можно использовать е1, как индекс из расчета - начиная от государства т0.окончательное решение, сейчас - 0.для каждого процесса, помимо P, двух - и расчеты е1 неотличимы, однако окончательного решения отличаются.это не возможно.таким образом, p = -