A race condition graph for concurrent program behavior

Abstract

There are race conditions in concurrent programs if the accesses to a sharing resource are not properly synchronized. Because the races can cause the program to behave in unexpected ways, detecting them is an important aspect of debugging and program verification. Many approaches have been used to detect race conditions, but there still is no effective… (More)

Topics

1 Figure or Table

Cite this paper

@article{Chen2008ARC, title={A race condition graph for concurrent program behavior}, author={Yan Chen and Yann-Hang Lee and W. E. Wong and Donghui Guo}, journal={2008 3rd International Conference on Intelligent System and Knowledge Engineering}, year={2008}, volume={1}, pages={662-667} }