Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.
-
Updated
Jul 22, 2019 - TLA
#
lamport-mutual-exclusion
Here are 8 public repositories matching this topic...
Lab solutions for Operating Systems ("Operacijski sustavi") course at FER 2018/19
-
Updated
Feb 9, 2022 - C
several distributed mutual exclusion algorithms implementation
-
Updated
Dec 10, 2018 - Go
Implementation of Lamport's Distributed Solution protocol for Mutual Exclusion / Locking (request, reply, release)
-
Updated
Feb 26, 2021 - Python
Implemented Lamport Distributed mutual exclusion algorithm sending and receiving requests in an interleaving fashion. Also tested the correctness and performance of the algorithm using Monitor Class.
-
Updated
Jul 22, 2019
Contains all assignments in Distributed Systems course @coep
distributed-systems rpc-server rpc-client berkeley-algorithm suzuki-kasami lamport-mutual-exclusion ricart-agrawala file-download-server consistency-models lamport-logical-clock
-
Updated
Apr 9, 2023 - Python
Marketplace distribuído, com sua sincronização baseada no algoritmo de lamport
-
Updated
Dec 9, 2022 - Python
ITMO. Distributed computing 2022-2023
-
Updated
Sep 8, 2023 - C
Improve this page
Add a description, image, and links to the lamport-mutual-exclusion topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lamport-mutual-exclusion topic, visit your repo's landing page and select "manage topics."