Web Locks API 🔒

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

Pure-Go race detector - No CGO required! Detect data races in Go programs running on AWS Lambda, Docker (FROM scratch), Alpine Linux. FastTrack algorithm, 85.7% coverage, production-ready

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.

Runtime Detection of Data Races in OCaml with ThreadSanitizer

A dynamic data race detector for CUDA programs

Atomic is a lightweight Swift property wrapper that provides thread-safe access to values. It ensures safe concurrent access to properties without the complexity of manual lock management.

Multi-threaded simulation solving the Dining Philosophers problem via POSIX synchronization metrics

🎯 Detect race conditions in your Go applications with this pure Go race detector, compatible with `CGO_ENABLED=0`. Ensure safer, more reliable code easily.

Implementation of the Dining Philosophers Problem

Java Concurrency Demos

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

Swift Package of a property wrapper to make a property thread-safe without boilerplate code. Just add `@ThreadSafe` to your property.

solving the dining philosophers problem using threads and mutexes

Philosophers project from 42 Network

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