TY - GEN
T1 - A race condition graph for concurrent program behavior
AU - Chen, Yan
AU - Lee, Yann-Hang
AU - Wong, W. Eric
AU - Guo, Donghui
N1 - Copyright:
Copyright 2009 Elsevier B.V., All rights reserved.
PY - 2008
Y1 - 2008
N2 - 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 formal model to visualize the race conditions and program interactions. In this paper, we present a formal graph, named Race Condition Graph (RCG), to represent race conditions in concurrent programs. Some characteristics of RCG are presented and the potential RCG (PRCG) as well as the data structure is discussed. Finally, a dining philosopher program is used as a case study.
AB - 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 formal model to visualize the race conditions and program interactions. In this paper, we present a formal graph, named Race Condition Graph (RCG), to represent race conditions in concurrent programs. Some characteristics of RCG are presented and the potential RCG (PRCG) as well as the data structure is discussed. Finally, a dining philosopher program is used as a case study.
UR - http://www.scopus.com/inward/record.url?scp=60349102686&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=60349102686&partnerID=8YFLogxK
U2 - 10.1109/ISKE.2008.4731013
DO - 10.1109/ISKE.2008.4731013
M3 - Conference contribution
AN - SCOPUS:60349102686
SN - 9781424421978
T3 - Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008
SP - 662
EP - 667
BT - Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008
T2 - Proceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008
Y2 - 17 November 2008 through 19 November 2008
ER -