GitHub - rutgers-apl/PTRacer: A data race detector for C++ programs that use Intel TBB for task parallelism

rutgers-apl / PTRacer Public

Notifications You must be signed in to change notification settings
Fork 2
Star 6

A data race detector for C++ programs that use Intel TBB for task parallelism

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
PTRacer-solver		PTRacer-solver
spd3-lib		spd3-lib
tbb-lib		tbb-lib
tdebug-lib		tdebug-lib
tdebug-llvm		tdebug-llvm
test_suite		test_suite
README		README
build_PTRacer.sh		build_PTRacer.sh
build_SPD3.sh		build_SPD3.sh

Repository files navigation

Prerequsites
------------
1) CMake
   - Download and install CMake from https://cmake.org/download/.
   - On Ubuntu CMake can be installed using "sudo apt-get install cmake".

2) Z3 theorem prover
   - Download Z3 from the GitHub link https://github.com/Z3Prover/z3.
   - Install Z3.
      > cd <Z3_base_directory>
      > python scripts/mk_make.py
      > cd build; make
      > export PYTHONPATH=<path_to_Z3_base_directory>/build

PTRacer for TBB
---------------
1. Build a)Task Debug for LLVM+CLANG 3.7 b) PTRacer library c) TBB library d) PTRacer Solver
   > source build_PTRacer.sh

2. To run all test cases
   > cd test_suite
   > python run_tests.py -d ptracer > report_ptracer.txt

SPD3 for TBB
------------
1. Build a)Task Debug for LLVM+CLANG 3.7 b) SPD3 library c) TBB library
   > source build_SPD3.sh

2. To run all test cases
   > cd test_suite
   > python run_tests.py -d spd3 > report_spd3.txt