#

data-race

Here are 15 public repositories matching this topic...

LLNL / dataracebench

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

benchmark openmp microbenchmarks data-race

Updated Sep 19, 2023
C

metarhia / web-locks

Web Locks API 🔒

Updated Mar 20, 2024
JavaScript

utpalbora / LLOV

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-github-action

coderrect-inc / coderrect-github-action

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

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

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

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

Updated Aug 16, 2024
C#

bdmendes / feup-sope-server-client

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

concurrency data-race

Updated Dec 21, 2021
C

arsenbadalyan / philosophers

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.

deadlock semaphore processes threads mutexes data-race

Updated Dec 29, 2023
C

amine-za / Philosophers-1337

The dining philosophers problem using threads, mutexes

c threads mutexes data-race

Updated Sep 27, 2024
C

waelzahir / philosophers

solving the dining philosophers problem using threads and mutexes

c multithreading resource-sharing data-race

Updated Jun 9, 2022
C

yinengy / CUDA-Data-Race-Detector

A dynamic data race detector for CUDA programs

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

Updated May 22, 2022
Python

Orpheus-3145 / Philosophers

Implementation of the Dining Philosophers Problem

c deadlock multithreading concurrent-programming mutexes dining-philosophers-problem semaphores data-race

Updated Oct 28, 2023
C

badreddinkaztaoui / fq_philos

Philosophers project from 42 Network

c mutex threads data-race philosophers42

Updated Nov 5, 2023
C

willianlim / philosophers

🤔 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

fabbing / ocaml_tsan_icfp

Runtime Detection of Data Races in OCaml with ThreadSanitizer

ocaml slides abstract data-race thread-sanitizer data-race-detection icfp2023

Updated Dec 3, 2023
TeX

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."