Proof of ME1 (by contradiction): As

Proof of ME1 (by contradiction): Assume that the statement is false and two processes i and j (i ≠ j) enter their CSs at the same time. For this to happen, every member of Si must have received the request from i, and every member of Sj must have received the request from j. Since Si ∩ Sj t≠h∅er,e is a process k ∈ Si ∩ Sj that received requests from both i and j. Per MA2, process k will send ack to only one of them and refrain from sending the ack to the other, until the first process has sent a release signal. Since a process needs an ack from every member of its subset, both i and j cannot enter their CSs at the same time.

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

Доказательство ME1 (от противного): Предположим, что заявление является ложным и два процесса i и j (i ≠ j) введите их CSs в то же время. Для этого каждый член Si должен получил запрос от i, и каждый член Sj должен получил запрос от j. С Si ∩ Sj t≠h∅er e-это процесс k ∈ Si ∩ Sj, который получил запросы от i и Дж. за MA2, процесс k будет отправлять только один из них ack и воздержаться от направления ack, пока первый процесс послал сигнал выхода. Поскольку процесс нуждается в ack от каждого члена его подмножества, i и j не может ввести их CSs в то же время.

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

Доказательство МЕ1 (от противного): Предположим, что утверждение неверно и два процесса я и J (я ≠ J) ввести их CSs в то же время. Для того чтобы это произошло, каждый член Si должен быть получен запрос от I, и каждый член Sj должен быть получен запрос от J. Так как Si ∩ Sj т ≠ h∅er, е представляет собой процесс K ∈ Si ∩ Sj, что получили запросы от обоих I и J. Per MA2, процесс будет посылать к извед только к одному из них и воздержаться от отправки ACK к другому, пока первый процесс не послал сигнал освобождения. Так как процесс необходим ПДТ от каждого члена его подмножестве, и я и J не может войти в их CSs в то же время.

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

доказательство me1 (противоречие): полагают, что заявление не соответствует действительности и двух процессов I и J (я ≠ j) введите их CSS одновременно.для этого все члены си должен получил просьбу я, и каждый член сд, наверное, получил просьбу от J. с си ∩ SJ T ≠ ч ли - е - это процесс, к ∈ si ∩ сд, что поступили просьбы оба, я и джей - ma2, процесс к направит ACK только один из них и воздержаться от отправки ACK для других, до первого процесса направила освобождения сигнал.поскольку процесс нуждается в ACK все члены его группы, как я и джей не может войти в их CSS одновременно.