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

study promela spin dijkstra-algorithm mutual-exclusion-algorithm peterson-algorithm dekker-algorithm crossroad-controller-algorithm

• Updated Sep 4, 2024
• Promela

Dekker's Algorithm using Scilab

scilab operating-system process-synchronization dekker-algorithm

• Updated Apr 8, 2020
• Scilab

Repozitorij iz predmeta "Operacijski sustavi" koji sadrži laboratorijske vježbe iz akademske godine 2022./2023.

c threads laboratory-exercises lamport-algorithm semaphores missionaries-cannibals-problem dekker-algorithm sleeping-barber-problem

• Updated Aug 21, 2024
• C