Symbolic consistency checking of OpenMp parallel programs

@inproceedings{Yu2012SymbolicCC,
  title={Symbolic consistency checking of OpenMp parallel programs},
  author={Fang Yu and Shun-Ching Yang and Farn Wang and Guan-Cheng Chen and Che-Chang Chan},
  booktitle={LCTES},
  year={2012}
}
We present a symbolic approach for checking consistency of OpenMP parallel programs. A parallel program is consistent if it yields the same result as its sequential version despite the execution order among threads. We find race conditions of an OpenMP parallel program, construct the formal model of its raced segments under relaxed memory models, and perform guided symbolic simulation to search consistency violations. The simulation terminates when (1) a witness has been found (the program is… CONTINUE READING
3 Citations
7 References
Similar Papers

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…