Skip to content
Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.
C++ LLVM C Assembly HTML Objective-C Other
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
av_tests
tbb-lib
tdebug-lib
tdebug-llvm
trace_tests
LICENSE
README.md
build.sh

README.md

Atomicity-Violation-Detector

Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.

  1. Build a)Task Debug for LLVM+CLANG 3.7 b) Task Debug library c) TBB library

         source build.sh
    
  2. To run all 36 test programs.

         cd av_tests
         python run_tests.py
    
  3. To execute atomicity violation detection tool on traces that capture all possible interleavings that can lead to an atomicity violation

         cd trace_tests
         python trace_generator.py
    
You can’t perform that action at this time.