Published February 24, 2018
| Version v1
Conference paper
Open
Efficient Parallel Determinacy Race Detection for Two-Dimensional Dags
Description
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.
Files
pracer.zip
Files
(1.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b2aea4cd99143c82cf88298c55390550
|
1.5 GB | Preview Download |