First Race Detection in Parallel Program with Random Synchronization using Trace Information

@inproceedings{Park2013FirstRD,
  title={First Race Detection in Parallel Program with Random Synchronization using Trace Information},
  author={Hee-Dong Park and Yong-Kee Jun},
  year={2013}
}
Detecting data races in multi-threaded programs is a challenging problem in debugging, because the races could reveal nondeterministic program behavior in execution of such programs. Nondeterministic runtime effects of a race are hard to identify and it is difficult to decide whether the reported data races can appear or not in the actual program executions. Previous techniques for detecting races cannot provide method to locate first races in parallel programs with random synchronization… CONTINUE READING