Proof of ME2 and ME3 (by induction)

Proof of ME2 and ME3 (by induction)
Basis: Consider a process i whose request bears the lowest time stamp, and assume that no process is currently in its CS. Because of the global FIFO assumption, every process in Si must receive the request from process i before any other request with a higher time stamp. Therefore, process i will receive ack from every process in Si and will enter its CS.
Induction step: Assume that a process m is already in its CS and the request from process j has the lowest time stamp among all the waiting processes. We show that process j eventually receives acks from every process in Sj and proceeds to its CS.
Because of the global FIFO assumption, request from process j is received by every process in Sj before any other request with a higher time stamp and ordered ahead of every other process seeking entry into the CS. Therefore, when process m exits the CS and sends release signals to every process in Sm, every process in Sm ∩ Sj sends ack to process j. In addition, every process in (¬Sm ∩ Sj) has already sent acks to process j since the request from process j is at the head of the local queues of these processes. Therefore, process j eventually receives acks from every process in Sj.
This shows that after process m exits the CS, process j whose request bears the next higher time stamp eventually enters the CS. It therefore follows that every process sending a request eventually enters the CS.

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

Доказательство Ме2 и ME3 (по индукции)Основание: Рассмотрим процесс, я которого запрос имеет наименьшее штамп времени и предположить, что ни один процесс в настоящее время в его CS. Из-за глобального предположения FIFO, каждый процесс в Si должен получить запрос от процесса я перед любой другой запрос с более высокой отметки времени. Таким образом, процесс я получит ack от каждого процесса в Si и ввести его CS.Индукции шаг: Предположим, что процесс m уже находится в его CS и запрос от процесса j самая низкая отметка времени среди всех процессов ожидания. Мы покажем, что процесс j в конечном итоге получает подтверждения от каждого процесса в Sj и приступает к его CS.Из-за глобального предположения FIFO запрос от процесса j получил от каждого процесса в Sj перед любой другой запрос с более высокой отметки времени и приказал перед любым другим процессом, пытающихся въехать в CS. Поэтому, когда процесс м выходит из CS и посылает релиз сигналы для каждого процесса в Sm, каждый процесс в Sm ∩ Sj отправляет ack для процесса j. Кроме того, каждый процесс в (¬Sm ∩ Sj) уже послал ACK для обработки j поскольку запрос от процесса j во главе локальных очередей этих процессов. Таким образом процесс j в конечном итоге получает подтверждения от каждого процесса в Sj.Это показывает, что после процесса m CS, процесс j, чей запрос несет следующий выше отметки времени в конечном итоге входит в CS. Отсюда следует, что каждый процесс, отправив запрос в конечном итоге попадает CS.

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

Доказательство ME2 и ME3 (по индукции)
Основа: Рассмотрим процесс , я , чей запрос имеет самую низкую отметку времени, и предположим , что ни один процесс не находится в настоящее время в CS. Из - за глобального FIFO предположения, каждый процесс в Si должны получить запрос от процесса я перед любой другой запрос с более высокой отметкой времени. Таким образом, процесс я буду получать извед от каждого процесса в Si и введет ее в CS.
Шаг индукции: Предположим , что процесс т уже в CS и запрос от процесса у имеет самую низкую отметку времени среди всех процессов ожидания. Покажем , что процесс J в конечном итоге получает ACKs от каждого процесса в Sj и переходит к его CS.
Из - за глобального FIFO предположения, запрос от процесса у принимается каждым процессом в Sj , прежде чем любой другой запрос с более высокой отметкой времени и приказал впереди каждый другой процесс ищет вхождение в CS. Поэтому, когда процесс м выходит из CS и посылает сигналы о выпуске для каждого процесса в Sm, каждый процесс в Sm ∩ Sj посылает извед обработать J. Кроме того, каждый процесс в (¬Sm ∩ Sj) уже послал ACKs обработать J , так как запрос от процесса у находится во главе локальных очередей этих процессов. Таким образом, процесс J в конечном итоге получает ACKs от каждого процесса в Sj.
Это показывает , что после того, как процесс м выходит из CS, процесса у которого запрос носит следующий более высокий штамп времени в конечном итоге попадает в CS. Отсюда следует , что каждый процесс отправки запроса в конечном итоге попадает в CS.

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

любой набор рекламы (сообщение, заявление,из торговой марки, и т.д.), согласованных в клуб /члены ассоциации и третьей стороны, либо за плату илибесплатно.