Implementation of Roucariol and Carvalho Distributed Mutual Exclusion Algorithm
Implementation of Ricart-Agrawala Distributed Mutual Exclusion algorithm with Roucairol-Carvalho Optimization. O.S.F. Carvalho and G. Roucairol. On Mutual Exclusion in Computer Networks (Technical Correspondence). Communications of the ACM, February 1983.
Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.
Repository for assignments for Distributed Algorithms class at TU Delft. Implemented casual ordering of point-to-point messages (Schiper-Eggli-Sandoz), tokken based mutual exclusion (Singhal’s algorithm) and minimum weight spanning tree in asynchronous networks (Gallager, Humblet, and Spira). All algorithms are written using Java RMI.
Distributed and Pervasive systems university project
This repo contains the implementation of Roucairol and Carvalho’s distributed mutual exclusion algorithm.
Add a description, image, and links to the mutual-exclusion-algorithm topic page so that developers can more easily learn about it.
To associate your repository with the mutual-exclusion-algorithm topic, visit your repo's landing page and select "manage topics."