A race condition graph for concurrent program behavior

Yan Chen, Yann-Hang Lee, W. Eric Wong, Donghui Guo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

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 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.

Original languageEnglish (US)
Title of host publicationProceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008
Pages662-667
Number of pages6
DOIs
StatePublished - 2008
EventProceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008 - Xiamen, China
Duration: Nov 17 2008Nov 19 2008

Publication series

NameProceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008

Other

OtherProceedings of 2008 3rd International Conference on Intelligent System and Knowledge Engineering, ISKE 2008
CountryChina
CityXiamen
Period11/17/0811/19/08

ASJC Scopus subject areas

  • Hardware and Architecture
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'A race condition graph for concurrent program behavior'. Together they form a unique fingerprint.

Cite this