A Race Condition Graph for Concurrent Program Behavior

摘要：

There are race conditions in concurrent programsif the accesses to a sharing resource are not properlysynchronized Because the races can cause theprogram to behave in unexpected ways,detectingthem is an important aspect of debugging andprogram verificatiorn.Many approaches have beenused to detect race conditions,but there still is noeffective formal model to visualize the race conditionsand program interactions.In this paper,we present aformal graph,named Race Condition Graph(RCG),to represent race conditions in concurrent programs.Some characteristics of RCG are presented and thepotential RCG(PRCG)as well as the data structure isdiscussed Finally,a dining philosopher program isused as a case study.

作者: Yan Chen Yann-Hang Lee W.Eric Wong Donghui Guo

作者单位: The School of Information Science and Technology,Xiamen University,China. The School of Computing and Informatics,Arizona State University,U.S.A. The School of Engineering and Computer Science,University of Texas at Dallas,U.S.A.

会议类型: 国际会议

会议名称: 2008 3rd International Conference on Intelligent System and Knowledge Engineering(第三届智能系统与知识工程国际会议)(ISKE 2008)

会议地点: 厦门

会议语种:英文

页码: 662-667

在线出版日期: 2008-11-17（万方平台首次上网日期，不代表论文的发表时间）