7.2.2 ricart–agrawala’s solutionRic

7.2.2 ricart–agrawala’s solution
Ricart and Agrawala proposed an improvement over Lamport’s solution to the distributed mutual exclusion problem. Unlike Lamport’s algorithm, processes do not maintain local queues—instead, each process counts the number of acks that it receives from other processes, which determines whether it will enter its CS. Four rules form the basis of this algorithm:

RA1: Each process seeking entry into its CS sends a time-stamped request to every other process in the system.
RA2: A process receiving a request sends an ack back to the sender, only when (1) the process is not interested in entering its CS or (2) the process is trying to enter its CS, but its time stamp is larger than that of the sender. If the process is already in its CS or its timestamp is smaller than that of the sender, then it will buffer all requests until its exit from CS.
RA3: A process enters its CS, when it receives an ack from each of the remaining (n − 1) processes.
RA4: Upon exit from its CS, a process must send ack to each of the pending requests before making a new request or executing other actions.
Intuitively, a process is allowed to enter its CS, only when it receives a go-ahead signal from every other process, since either these processes are not competing for entry into the CS or their requests bear a higher time stamp.

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

Решение 7.2.2 Ricart-Агравала в
Ricart и Агравала предложил усовершенствование по сравнению с решением Лампорт к распределенной взаимной проблеме отчуждения. В отличие от алгоритма Лампорта, процессы не поддерживают локальных очередей-вместо того, чтобы каждый процесс подсчитывает количество квитанций , которые он получает от других процессов, что определяет , будет ли он ввести свой CS. Четыре правила составляют основу этого алгоритма:

RA1: Каждый процесс ищет вход в его CS посылает запрос с отметкой времени для каждого другого процесса в системе.
RA2: Процесс получения запроса посылает ACK обратно отправителю, только тогда , когда ( 1) процесс не заинтересован во вхождении его в CS или (2) процесс пытается ввести его в CS, но его метка времени больше , чем у отправителя. Если процесс уже в CS или его временная метка меньше , чем у отправителя, то он не будет буферизовать все запросы до ее выхода из CS.
RA3: Процесс входит в свой CS, когда он получает ACK от каждого из оставшихся ( п - 1) процессы.
RA4: После выхода из ее CS, процесс должен отправить ПДТ , чтобы каждый из находящихся на рассмотрении запросов , прежде чем сделать новый запрос или выполнение других действий.
Наглядно процесс разрешается , чтобы войти в CS, только тогда , когда он получает идти вперед сигнал от любого другого процесса, так как эти процессы не конкурируют за вступление в CS или их просьбы несут более высокую отметку времени.

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

7.2.2 ricart – агравала решениеricart и агравала предложил более лэмпорт решение для распределенной взаимного отчуждения проблемы.в отличие от лэмпорт алгоритм, процессы не поддерживать местные очереди вместо этого каждый процесс подсчета числа acks, которые она получает от других процессов, который определяет, будет ли он войти в его CS.четыре правила образуют основу алгоритма:RA1: каждый процесс поиска вступления в ее CS является отметка времени просьбу о том, чтобы каждый процесс в системе.RA2: процесс получения просьбы отправляет ACK обратно отправителю, только когда (1), процесс, не заинтересован в уже CS или (2) процесс пытается войти в его CS, но его время, это больше, чем у отправителя.если этот процесс уже в своем CS или его время - это меньше, чем у отправителя, тогда он будет буферной все просьбы до тех пор, пока его выезда из CS.ra3: процесс вступает в свой ус, когда она получает ACK от каждой из оставшихся (N - 1).RA4: при выходе из CS, процесс должен отправить ACK для каждого из просьб, прежде чем новый запрос или осуществление других мер.интуитивно, процесс может заключить его CS, только тогда, когда он получает давай сигнал от любого другого процесса, поскольку либо эти процессы не конкурирующие для вступления в CS или их просьбы несут более отметку времени.