data-race

Star

Here are 9 public repositories matching this topic...

metarhia / web-locks

Star

Web Locks API 🔒

Updated Mar 14, 2023
JavaScript

LLNL / dataracebench

Star

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

benchmark openmp microbenchmarks data-race

Updated Aug 30, 2022
C

utpalbora / LLOV

Star

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

fortran llvm static-analysis openmp clang program-verification polly llvm-ir race-detection race-conditions flang data-race race-detector openmp-verification dataracebench-fortran openmp-programs llvm-openmp-verifier race-checker

Updated Oct 5, 2022
C++

coderrect-inc / coderrect-github-action

Star

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

c cpp fortran static-analysis openmp multithreading race race-conditions github-actions data-race data-race-detection

Updated Jan 28, 2021

wasimusu / cpp_multithreading

Star

Code samples demonstrating multi-threading concepts in C++

cpp thread multithreading data-race thread-safe-counters

Updated Oct 15, 2020
C++

seer-lab / Threaded-Paws

Star

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

learning computer-science education concurrency deadlock concurrent-programming serious-game data-race

Updated Sep 1, 2022
C#

yinengy / CUDA-Data-Race-Detector

Star

A dynamic data race detector for CUDA programs

cuda cuda-support race-conditions data-race data-race-detection

Updated May 22, 2022
Python

bdmendes / feup-sope-server-client

Star

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

concurrency data-race

Updated Dec 21, 2021
C

willianlim / philosophers

Star

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

solid multithreading mutex semaphores data-race treding

Updated Sep 23, 2022
C

Improve this page

Add a description, image, and links to the data-race 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 topic, visit your repo's landing page and select "manage topics."

Learn more