`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.
-
Updated
Jul 13, 2026 - Haskell
#
deadlockprevention
Here are 17 public repositories matching this topic...
-
Updated
Oct 16, 2025 - TypeScript
A small Ada project simulating a restaurant, solving concurrency challenges like deadlock prevention and buffer balancing in a Producer-Consumer model using selective rendezvous and asynchronous transfer of control.
-
Updated
Oct 19, 2025 - Ada
Multi-threaded simulation solving the Dining Philosophers problem via POSIX synchronization metrics
c makefile multithreading valgrind threads mutex-synchronisation paralelism data-race 42cursus 42network philosophers42 deadlockprevention
-
Updated
Jun 1, 2026 - C
Trabalho Discente Efetivo da disciplina de Performance em Sistemas Ciberfísicos - 4° Período
-
Updated
Nov 16, 2025
Dining Philosophers reimagined. Concurrency simulation in C (42 project), multiple coders compete for shared USB dongles using pthreads, mutexes, condition variables, and a priority queue. Supports FIFO and EDF scheduling with burnout detection under 10 ms.
-
Updated
May 8, 2026 - C
Interactive OS Learning Platform for simulating deadlocks and it's avoidance
-
Updated
Apr 19, 2026 - TypeScript
Dining Philosophers Problem solution to explore multithreading, synchronization, and resource management in C using POSIX threads (pthreads)
-
Updated
Mar 9, 2026 - C
A mini file system that delivers the power and functionality you expect from a real command-line shell.
python shell cli crud terminal filesystem os file operating-system operating-systems deadlockprevention
-
Updated
May 24, 2026 - Python
A C++ URL Shortener integrated with Operating System concepts including Process Scheduling, Memory Management, Deadlock Prevention, Multithreading, Analytics Dashboard, and Concurrent Request Simulation.
concurrency url-shortener round-robin mutex fcfs operating-systems fifo lru-cache sjf process-scheduling os-simulator deadlockprevention
-
Updated
Jun 16, 2026 - C++
python lambda os python3 holmes operating-systems palestine bankers-algorithm birzeit-university deadlockprevention
-
Updated
Apr 24, 2026 - Python
Multi-process tactical RPG demonstrating shared memory IPC, multithreading, signals, and deadlock detection/prevention — built in C++17 for an Operating Systems course.
c-plus-plus ipc sfml game-development multithreading signals pthreads shared-memory operating-systems deadlockprevention
-
Updated
Jun 25, 2026 - C++
Implemented solutions for core OS concepts, including Multithreading, CPU Scheduling algorithms (e.g., FCFS, SJF, Round Robin), and Synchronization techniques. Addressed and provided solutions for common concurrency problems such as Deadlock and Starvation.
java cpp multiprocessing multithreading round-robin syncronization reentrantlock starvation-free deadlockprevention
-
Updated
Jul 6, 2026 - Java
Deadlock Avoidance in Operating Systems in two method: 1)
-
Updated
Jan 3, 2025 - Python
Traffic Concurrency Controller is an operating systems-inspired simulation tool that manages high-throughput request handling. It implements core OS concepts—including Priority Scheduling, Round Robin Scheduling, Concurrency Control, and a Deadlock Avoider—to ensure safe, efficient, and starvation-free resource allocation.
-
Updated
Jul 30, 2026 - Python
A Python simulation of the Banker's Algorithm for deadlock avoidance in Operating Systems with visualizations for resource allocation, safe sequence, and resource progression using Matplotlib.
python numpy operating-system matplotlib algorithms-implemented resource-allocation bankers-algorithm deadlockprevention
-
Updated
Apr 24, 2026 - Python
Improve this page
Add a description, image, and links to the deadlockprevention topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deadlockprevention topic, visit your repo's landing page and select "manage topics."