Chronos - A static race detector for the go language
Frama-C plugins for deadlock and data race detection
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
Setup the Faial static code analyzer for CUDA kernels
The User Concurrency Sanitizer (UCSAN)
A dynamic data race detector for CUDA programs
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Clone of OmpSCR v2.0 with modifications
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
sloved the diying philosopher problem with a multi-thread program on top
This project is themed around the famous "Dining Philosophers" problem.
Mechanised Reasoning about Array-Based Trees in Separation Logic
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Basics of threading a process. How to create threads and use mutexes.
Add a description, image, and links to the data-race-detection topic page so that developers can more easily learn about it.
To associate your repository with the data-race-detection topic, visit your repo's landing page and select "manage topics."