Web Locks API 🔒

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

Code samples demonstrating multi-threading concepts in C++

Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.

Serious game for learning about concurrency - thread interleavings, data races and deadlocks.

A dynamic data race detector for CUDA programs

Runtime Detection of Data Races in OCaml with ThreadSanitizer

A server-client implementation where multiple threads are concurrently handling mock requests.

This project is about creating a dinning table of n philosophers with n/2 forks. The challenge is to implement an efficent process, that enable all philosophers get to think-eat-sleep within given amount of time. No one should die if the amount of time if adequate.

Implementation of the Dining Philosophers Problem

Java Concurrency Demos

🤔 In this project, you will learn the basics of threading a process. You will see how to create threads and you will discover mutexes.

Philosophers project from 42 Network

solving the dining philosophers problem using threads and mutexes

Concurrent Solutions to the Dining Philosophers Problem using Threads (Mutexes) and Processes (Semaphores). Explore synchronized approaches to address the classic challenge of coordinating philosophers' dining interactions efficiently and prevent deadlocks.

The dining philosophers problem using threads, mutexes

🍝 A concurrent solution to the classic Dining Philosophers problem using threads and mutexes in C. Includes a bonus version using processes and semaphores for advanced synchronization. Built as part of the 42 school curriculum to explore multithreading, inter-process communication, race conditions, and deadlock prevention.