lamport-mutual-exclusion

There are 0 repository under lamport-mutual-exclusion topic.

• qqzeng / distributed-mutual-exclusion

  several distributed mutual exclusion algorithms implementation

  distributed-locklamport-clocklamport-mutual-exclusionricart-agrawal
  Language:Go 2

• dbrcina / OS-FER-2018-19

  Lab solutions for Operating Systems ("Operacijski sustavi") course at FER 2018/19

  mutexthreadinglinux-signalslamport-mutual-exclusionforkshared-memory
  Language:C 1

• AndrezaNobrega / marketplaceDistribuido

  Marketplace distribuído, com sua sincronização baseada no algoritmo de lamport

  lamportlamport-mutual-exclusionrest-api
  Language:Python

• arsnazarenko / distributed-computing

  ITMO. Distributed computing 2022-2023

  distributed-computingdistributed-snapshotlamport-clocklamport-mutual-exclusionricart-agrawala
  Language:C

• CHAITANYA-IN / distributed-systems-assignments

  Contains all assignments in Distributed Systems course @COEP

  berkeley-algorithmconsistency-modelsdistributed-systemsfile-download-serverlamport-mutual-exclusionricart-agrawalarpc-clientrpc-serversuzuki-kasamilamport-logical-clock
  Language:Python

• vivek-bansal-VB / Lamport-Distributed-Mutual-Exclusion-Algorithm

  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.

  asynchronous-systemlamport-mutual-exclusionperformance-testingdistalgopython-3-6

• vivek-bansal-VB / Lamport-Mutual-Exclusion-algorithm-in-TLA

  Distributed Mutex : specifying and verifying safety and efficiency properties of Lamport mutual exclusion algorithm in TLA.

  distributed-computingasynchronous-systemlamport-mutual-exclusiontlaplus-lamport
  Language:TLA