data-race

There are 0 repository under data-race topic.

• metarhia / web-locks

  Web Locks API 🔒

  web-lockssemaphoremutexnodejsparallellockingdata-racedeadlockrace-detectionasyncawaitlocklockssynchronizationsynchronizethreadsmultithreadingatomicsshared-memorysharedarraybuffer
  Language:JavaScript 83

• LLNL / dataracebench

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

  benchmarkdata-raceopenmpmicrobenchmarks
  Language:C 67

• utpalbora / LLOV

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

  openmp-verificationopenmpllvmpollyclangflangprogram-verificationrace-detectiondata-racedataracebench-fortranstatic-analysisrace-detectoropenmp-programsllvm-openmp-verifierrace-conditionsrace-checkerfortranllvm-ir
  Language:C++ 20
• 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.

  fortranccppgithub-actionsstatic-analysisracedata-racedata-race-detectionrace-conditionsmultithreadingopenmp
  9

• wasimusu / cpp_multithreading

  Code samples demonstrating multi-threading concepts in C++

  cppdata-racethread-safe-countersthreadmultithreading
  Language:C++ 8

• seer-lab / Threaded-Paws

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

  computer-scienceconcurrencyconcurrent-programmingcs-educationdata-racedeadlockeducationlearningserious-game
  Language:C# 5

• fabbing / ocaml_tsan_icfp

  Runtime Detection of Data Races in OCaml with ThreadSanitizer

  ocamlthread-sanitizericfp2023abstractslidesdata-racedata-race-detection
  Language:TeX 3

• yinengy / CUDA-Data-Race-Detector

  A dynamic data race detector for CUDA programs

  cudadata-race-detectiondata-racecuda-supportrace-conditions
  Language:Python 2

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

  data-racedeadlockmutexesprocessessemaphorethreads
  Language:C 0

• badreddinkaztaoui / philosophers

  Philosophers project from 42 Network

  cdata-racemutexphilosophers42threads
  Language:C 0

• bdmendes / feup-sope-server-client

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

  concurrencydata-race
  Language:C 0

• Orpheus-3145 / Philosophers

  Implementation of the Dining Philosophers Problem

  cconcurrent-programmingdata-racedeadlockdining-philosophers-problemmultithreadingmutexessemaphores
  Language:C 0

• waelzahir / philosophers

  solving the dining philosophers problem using threads and mutexes

  cdata-racemultithreadingresource-sharing
  Language: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.

  tredingdata-racemultithreadingmutexsemaphoressolid
  Language:C