Here are
14 public repositories
matching this topic...
Chronos - A static race detector for the go language
Frama-C plugins for deadlock and data race detection
Updated
Nov 15, 2024
OCaml
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
Updated
Apr 23, 2024
JavaScript
A dynamic data race detector for CUDA programs
Updated
May 22, 2022
Python
Runtime Detection of Data Races in OCaml with ThreadSanitizer
The User Concurrency Sanitizer (UCSAN)
Clone of OmpSCR v2.0 with modifications
Updated
May 16, 2020
Fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Updated
May 28, 2020
Fortran
This project is themed around the famous "Dining Philosophers" problem.
Mechanised Reasoning about Array-Based Trees in Separation Logic
sloved the diying philosopher problem with a multi-thread program on top
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Updated
Oct 17, 2019
Fortran
Basics of threading a process. How to create threads and use mutexes.
Improve this page
Add a description, image, and links to the
data-race-detection
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
data-race-detection
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.