🎯 Detect race conditions in your Go applications with this pure Go race detector, compatible with `CGO_ENABLED=0`. Ensure safer, more reliable code easily.
-
Updated
Mar 24, 2026 - Go
🎯 Detect race conditions in your Go applications with this pure Go race detector, compatible with `CGO_ENABLED=0`. Ensure safer, more reliable code easily.
Web Locks API 🔒
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.
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
Swift Package of a property wrapper to make a property thread-safe without boilerplate code. Just add `@ThreadSafe` to your property.
🍝 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.
Java Concurrency Demos
Serious game for learning about concurrency - thread interleavings, data races and deadlocks.
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.
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.
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Implementation of the Dining Philosophers Problem
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
🤔 In this project, you will learn the basics of threading a process. You will see how to create threads and you will discover mutexes.
solving the dining philosophers problem using threads and mutexes
A dynamic data race detector for CUDA programs
A server-client implementation where multiple threads are concurrently handling mock requests.
Add a description, image, and links to the data-race topic page so that developers can more easily learn about it.
To associate your repository with the data-race topic, visit your repo's landing page and select "manage topics."