|
DataraceChecker
Running Datarace Checker and Experimental Results
Toy ExampleSee the example in directory chord/examples/datarace_test/ of the Chord 2.0 distribution. The README file in that directory explains how to run the datarace checker on the example. The datarace checker upon successful completion should produce files:
Case StudiesDetails of the experimental results reported in our PLDI'06 paper are available here. |
Sign in to add a comment