Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.

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.

Reciprocating Locks mutual exclusion algorithm

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.

Various mutual exclusion algorithms

Distributed and Pervasive systems university project