7.1 In Ricart–Agrawala’s distribute

7.1 In Ricart–Agrawala’s distributed mutual exclusion algorithm, show that processes enter their CSs in the order of their request time stamps even if the channels are not FIFO.
7.2 The L-exclusion problem is a generalized version of the mutual exclusion problem in which up to L processes (L ≥ 1) are allowed to be in their CSs simultaneously. Precisely, if fewer than L processes are in the CS at any time and one more process wants to enter its CS, then it must be allowed to do so. Modify Ricart–Agrawala’s algorithm to solve the L-exclusion problem.
7.3 Consider running Maekawa’s algorithm on a system of 13 processes. Figure out the composition of the 13 subsets S0−S12, so that (1) each subset includes four processes,
(2) there are exactly four subsets, and (3) process i ∈ Si.
7.4 In the Suzuki–Kasami algorithm, prove the liveness property that any process requesting a token eventually receives the token. Also compute an upper bound on the number of messages exchanged in the system before the token is received.
7.5 In a network of processes, the local mutual exclusion problem guarantees that no two neighbors execute a critical action at the same time. Extend Ricart–Agrawala’s mutual exclusion algorithm to solve the local mutual exclusion problem.

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

7.1 в Ricart – Agrawala в распределенных взаимного исключения алгоритм, показывают процессы введите их CSs в порядке их отметки времени запроса, даже если каналы не FIFO.7.2 L-исключения проблема обобщенная версия взаимного исключения проблемы которой до L процессы (L ≥ 1) могут одновременно быть в CSs. Точно если меньше, чем L процессы в CS в любое время и еще один процесс хочет ввести его CS, то он должен иметь возможность сделать это. Измените алгоритм Ricart – Agrawala для решения проблемы L-исключения.7.3 рассмотрим работы алгоритма Маэкава в системе 13 процессов. Выяснить состав 13 подмножеств S0−S12, так что (1) каждое подмножество включает четыре процесса,(2) есть еще ровно четыре подмножества и (3) процесс я ∈ Si.7.4 в Suzuki-Касами алгоритм доказать свойство живучесть любой процесс с запросом маркера в конечном итоге получает токен. Также Вычислите верхнюю границу числа сообщений, передаваемых в системе до получения маркера.7.5 в сети процессов проблемы местного взаимного исключения гарантирует, что нет двух соседей выполнить критические действия одновременно. Расширение Ricart – Agrawala взаимного исключения алгоритм для решения проблемы местного взаимного исключения.

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

7.1 В распределенной алгоритма взаимного исключения Ricart-Агравала, в шоу , которое обрабатывает ввести их CSs в порядке их отметками времени запроса , даже если каналы не FIFO.
7.2 Проблема L-исключение представляет собой обобщенный вариант взаимной проблемы отчуждения , в котором до для L процессов (L ≥ 1) разрешается находиться в их сотовыми одновременно. Точно, если меньше , чем L процессы в CS в любое время и еще один процесс хочет , чтобы войти в CS, то оно должно быть позволено сделать это. Изменить алгоритм Ricart-Агравала для решения проблемы L-исключения.
7.3 Рассмотрим алгоритм работы Маекава по системе 13 процессов. Выяснить состав 13 подмножеств S0-S12, так что (1) каждое подмножество включает в себя четыре процесса,
(2) Есть ровно четыре подмножества, и (3) процесс I ∈ Si.
7.4 В алгоритме Сузуки-Касами, доказать живучести свойство , что любой процесс запрашивает маркер в конечном итоге получает маркер. Также вычислить верхнюю границу числа сообщений , передаваемых в системе до того , как маркер будет получен.
7.5 В сети процессов, локальная проблема взаимной изоляции гарантирует , что никакие два соседа не выполняют критически действие одновременно. Продлить алгоритм взаимного исключения Ricart-Агравала, чтобы решить локальную проблему взаимного исключения.