Изменения

'''Алгоритм Рикарта-Агравалы''' является — алгоритм взаимного исключения, являющийся оптимизацией [[Алгоритм Лампорта взаимного исключения|алгоритма Лампорта]]. Мы объединяем запросы rel и ok в один:вместо отправки ok сразу посылаем только если не хотим входить в критическую секцию или сразу как только выйдем из секции. # Когда процесс <tex>P_i</tex> хочет войти в критический участок, то рассылает всем сообщение &quot;запрос&quot; req с текущей временной меткой.

StarvationВ отличие от алгоритма Лапрота, нам не требуется ни третьего сообщения, ни хранить очередь запросов в каждом процессе. [[Файл:mutex-distributed-ricart.png|400px]] Алгоритм является starvation-free. Суммарно на каждую критическую секцию приходится <tex>2 \cdot (N-1)</tex> messagesсообщений.