This repository contains the PRacer race detection tools. PRacer is a provably-good race detector for Cilk-P programs. PRacer uses a modified version of the Cilk-P runtime system, so that code is also included.
The Cilk-P runtime system and our modifications to it are distributed under the terms of the BSD-3-Clause license. The x264 and ferret benchmark are from PARSEC benchmark suite and are distributed under the terms of the GNU General Public License. All other code in this repository is distributed under the MIT license, unless otherwise specified.
A relatively recent version of Linux is recommended, with a C++11 version of the C++ standard library. PRACER was tested on Linux kernel version 3.10.
Run "./setup.sh" to install modified compiler and Cilk-P runtime system.
Use python script "run_benchmark.py" to run benchmarks with certain configuration:
python run_benchmark.py bench_name cofiguration
bench_name should be one of the following: lz77, ferret, x264. configuration should be one of the following: base, sp, full.
Please use the following citiation when using this software in your work:
Yifan Xu, I-Ting Angelina Lee, and Kunal Agrawal, "Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags", Proceedings of the 23rd Symposium on Principles and Practice of Parallel Programming (PPoPP), 2018. Available: https://dl.acm.org/citation.cfm?id=3178515.
This research was supported in part by National Science Foundation under grants number CCF-1527692, CCF-1439062, CCF-1150036, and CCF-1733873.
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.