Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with deadlock-avoidance
A curated list of projects in awesome lists tagged with deadlock-avoidance .
https://github.com/mehmoodulhaq570/philosophers-dining-hall-problem
This Python repository solves the Dining Philosophers problem using threading and synchronization. It ensures smooth resource sharing among philosophers, preventing conflicts like deadlock. The implementation manages philosopher states efficiently, balancing thinking, hunger, and eating without issues.
concurrency deadlock-avoidance deadlocks dining-philosophers-problem operating-system philosophers-dinner-problem
Last synced: 05 Nov 2024
https://github.com/anhmiuhv/fx10-coq
coq coq-formalization deadlock-avoidance fx10
Last synced: 29 Oct 2024