7.2.1 lamport’s solutionThe first p

7.2.1 lamport’s solution
The first published solution to this problem is due to Lamport. It works on a completely connected network and assumes that interprocess communication channels are FIFO.

Each process maintains its own private request-queue Q. The algorithm is described by the following five rules:

LA1: To request entry into its CS, a process sends a time-stamped request to every other process in the system and also enters the request in its local Q.
LA2: When a process receives a request, it places it in its Q. If the process is not in its CS, then it sends a time-stamped ack t o the sender. Otherwise, it defers the sending of the ack until its exit from the CS.
LA3: A process enters its CS, when (1) its request is ordered ahead of all other requests (i.e., the time stamp of its own request is less than the time stamps of all other requests) in its local Q and (2) it has received the acks from every other process in response to its current request.
LA4: To exit from the CS, a process (1) deletes the request from its local queue and
(1) sends a time-stamped release message to all the other processes.
LA5: When a process receives a release message, it removes the corresponding request from its local queue.

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

7.2.1 Лэмпорт решениеПервый опубликованный решение этой проблемы заключается в том, из-за Лэмпорт. Он работает на полностью подключенной сети и предполагает, что каналы связи между процессами FIFO.Каждый процесс имеет свой собственный Q частной очереди запросов. Следующие пять правил описывается алгоритм:La1: Просить вступления в ее CS, процесс посылает запрос штамп времени каждого процесса в системе, а также вводит запрос в его местном Q.LA2: Когда процесс получает запрос, он помещает его в его Д. Если процесс не находится в его CS, то он посылает штамп времени ack t o отправителя. В противном случае он откладывает отправку ack до его выхода из CS.LA3: Процесс когда переходит в его CS (1) его запрос приказал опережает все остальные запросы (например, время штамп собственного запроса меньше отметки времени всех запросов) в своих местных Q и (2) он получил подтверждения от всех других процессов в ответ на текущий запрос.LA4: Для выхода из CS, процесс (1) удаляет запрос из локальной очереди и(1) посылает штамп времени релиза сообщение для всех других процессов.LA5: Когда процесс получает сообщение release, он удаляет соответствующий запрос из локальной очереди.

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

Решение 7.2.1 Лампорта
Первое опубликованное решение этой проблемы связано с Лампорт. Он работает на полностью подключенной сети и предполагает , что межпроцессные коммуникационные каналы FIFO.

Каждый процесс поддерживает свой собственный частный Q. запрос-очереди Алгоритм описывается следующими пятью правилами:

LA1: Для того, чтобы запросить запись в его CS, процесс посылает с отметкой времени запроса на любой другой процесс в системе , а также вводит запрос в своем локальном Q.
LA2: Когда процесс получает запрос, он помещает ее в Q. Если процесс не находится в CS, то он посылает временные метки подтверждени к отправителю. В противном случае, это не задерживает отправку ACK до ее выхода из CS.
LA3: Процесс вступает в CS, когда (1) его запрос заказан впереди всех других запросов (то есть отметка времени его собственному желанию меньше временные метки всех остальных запросов) в своей локальной Q и (2) он получил подтверждениями от любого другого процесса в ответ на его текущий запрос.
LA4: Для выхода из CS, процесс (1) удаляет запрос из своего локальная очередь и
(1) отправляет сообщение об освобождении с отметкой времени для всех остальных процессов.
LA5: Когда процесс получает сообщение об освобождении, он удаляет соответствующий запрос из локальной очереди.

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

7.2.1 лэмпорт решениепервым опубликовал решение этой проблемы объясняется лэмпорт.он работает на совершенно сетью и предполагает, что interprocess коммуникационных каналов FIFO.каждый процесс ведет свой собственный запрос в очереди - алгоритм описан в пяти следующих правил:ут1: просить вступления в ее CS, процесс является отметка времени просьбу о том, чтобы каждый процесс в системе, а также поступает запрос в местных.la2: когда процесс получает просьбу, это ставит его в. в том случае, если процесс не в ао, затем он посылает датирована ACK T - отправителя.в противном случае, из предложения о ACK до его выезда из CS.la3: процесс вступает в свой ус, когда (1) свою просьбу, приказано опережает все другие запросы (например, отметка времени своей собственной просьбе, меньше времени марки все другие запросы), в местных Q и (2), он получил acks от любого другого процесса, в ответ на его нынешней просьбу.ут4: выход из CS, процесс (1) удаляет просьбы местных очереди и(1) является отметка времени освобождения сообщение для всех других процессов.la5: когда процесс получает освобождения сообщение, он удаляет соответствующие просьбы местных очереди.