Case 2: Both action 0 and action 1

Case 2: Both action 0 and action 1 are write operations, but on different variables.
In this case, the two writes are noninterfering, that is, no write by one process negates the effect of write by the other process. Now, consider two computations e0 and e1 from state T: In e0, p executes action 0, q executes action 1, and then the remaining actions lead to the final decision 0. In e1, the first two actions are swapped, that is, the first action is by q and the second action is by p, and the remaining actions lead to the final decision 1 (see Figure 13.2b). However, in both cases, after the first two steps, the same global state is reached, so the final outcomes cannot be different! Therefore, p = q.

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

Случай 2: Оба действия 0 и 1 действий являются операции записи, но на различных переменных.В этом случае две записи являются noninterfering, то есть нет записи на один процесс сводит на нет эффект записи на другой процесс. Теперь рассмотрим два e0 вычисления и e1 от государства т: e0, p выполняет действие 0, q выполняет действие 1 и затем оставшиеся действия приводят к окончательному решению 0. В Е1, первые два действия являются поменялись местами, то есть, первое действие по q вторым действием является p, и оставшиеся действия приведут к окончательному решению 1 (см. рис. 13.2b). Однако в обоих случаях, после первых двух шагов же глобальное состояние достигается, поэтому окончательные результаты не могут быть разными! Таким образом, p = q.

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

Случай 2: Оба действия 0 и действие 1 операции записи, но на различных переменных.
В этом случае две операции записи noninterfering, то есть ни одна запись с помощью одного процесса не сводит на нет эффект записи другим процессом. Теперь рассмотрим два вычисли- e0 и e1 из состояния Т: В е0, р выполняет действие 0, д выполняет действие 1, а затем остальные действия приведут к окончательному решению 0. В e1, первые два действия поменялись местами, то есть, первое действие на д , а второе действие на р, а остальные действия приведут к окончательному решению 1 (см Рисунок 13.2b). Тем не менее, в обоих случаях, после первых двух шагов, тот же глобальное состояние достигается, так что конечные результаты не могут быть разными! Следовательно, р = д.