Implementation of Roucariol and Carvalho Distributed Mutual Exclusion Algorithm
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.
Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.
This repo contains the implementation of Roucairol and Carvalho’s 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.
Distributed and Pervasive systems university project
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."