Projects in Awesome Lists tagged with mutual-exclusion
A curated list of projects in awesome lists tagged with mutual-exclusion .
https://github.com/distributedcomponents/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
coq distributed-systems mutual-exclusion proof verdi
Last synced: 01 Dec 2024
https://github.com/younes-charfaoui/library-simulator
This is a project for the practical work of the Operating system module in The University of Ibn Khaldoun - Algeria in which we had used the notion of threads and parallelism to make a library simulator.
animation java javafx multithreading mutex-synchronisation mutual-exclusion semaphore simulator
Last synced: 11 Feb 2025
https://github.com/pedromfedricci/mcslock
An implementation of Mellor-Crummey and Scott lock for mutual exclusion, referred to as MCS lock.
concurrency multithreading mutex mutual-exclusion rust-lang spinlock synchronization
Last synced: 14 Apr 2025
https://github.com/infinisil/arvy
Bachelor thesis on Arvy Heuristics for Distributed Mutual Exclusion
bachelor-thesis distributed-computing haskell mutual-exclusion nix
Last synced: 16 May 2025
https://github.com/sph3ricalpeter/me-riag-sharedvar
Implementation of the Ricart-Agrawala mutual exclusion algorithm with Java RMI
java mutual-exclusion ricart-agrawala rmi
Last synced: 09 Apr 2025
https://github.com/azjezz/mutex
Mutex Locking for hack projects
hack hacklang hhvm mutex mutex-lock mutual-exclusion
Last synced: 06 Apr 2025
https://github.com/billgewrgoulas/multithreaded-server
Implementation of a multithreaded server that allows multiple users to make requests at the same time. Built for the course Operating Systems @CS.UOI.
database mutex-synchronisation mutual-exclusion reader tcp writter
Last synced: 06 Mar 2025
https://github.com/rpytel1/distributed-algorithms
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.
distributed-algorithms java-rmi minimum-spanning-trees mutual-exclusion mutual-exclusion-algorithm
Last synced: 11 Mar 2025
https://github.com/furkankayar/multithreadedprogrammingexamples
Popular problems and solutions of multithreaded programming.
bridge-problem c critical-section dining-philosophers-problem multithreaded multithreading mutex mutual-exclusion pthread pthreads-api semafor sleeping-barber thread-synchronization
Last synced: 02 Mar 2025
https://github.com/wangwilly/osu-cse-6431
Labs for operating systems
database java monitor multithreading mutual-exclusion semaphore transaction
Last synced: 04 Apr 2025
https://github.com/satyammittal/multithreaded-sequential-print
Print strings sequentially among threads
c-plus-plus-11 mutual-exclusion operating-system threading
Last synced: 05 Apr 2025
https://github.com/rihib/lamport-clock-simulator
Simulate Lamport Clock with CLI
c cli-app concurrent-programming distributed-systems golang happens-before lamport-clock logical-clocks multiprocessing multithreading mutual-exclusion simulator socket-programming
Last synced: 06 Feb 2025
https://github.com/pedromfedricci/clhlock
An implementation of Craig and, indenpendently, Magnussen, Landin, and Hagersten queue lock for mutual exclusion, referred to as CLH lock.
concurrency multithreading mutex mutual-exclusion rust-lang spinlock synchronization
Last synced: 09 Apr 2025
https://github.com/thetardigrade/golang-namespacedmutex
This Go package enables mutexes to be accessed based on namespaces.
go golang mutex mutex-synchronisation mutual-exclusion namespace
Last synced: 20 Feb 2025
https://github.com/ranimeshehata/caltrain
A simulation to a train station as an application on Synchronization and Mutual Exclusion.
c concurrency cpp linux mutual-exclusion operating-system ubuntu
Last synced: 03 Apr 2025
https://github.com/pedromfedricci/malthlock
An implementation of Dave Dice's scalable, concurrency restrictive and eventually fair lock for mutual exclusion, referred to as Malthusian lock (WIP).
concurrency multithreading mutex mutual-exclusion rust-lang spinlock synchronization
Last synced: 04 Apr 2025