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. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ISKE.2008.4731013 | 2008 3RD INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM AND KNOWLEDGE ENGINEERING, VOLS 1 AND 2 |
Keywords | DocType | Volume |
data structures,symmetric matrices,data visualization,synchronization,intelligent systems,knowledge engineering,data structure,graph theory,race condition | Conference | null |
Issue | ISSN | Citations |
null | null | 2 |
PageRank | References | Authors |
0.36 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yan Chen | 1 | 3 | 1.08 |
Yann-hang Lee | 2 | 844 | 235.22 |
Weichen Eric Wong | 3 | 2 | 0.36 |
Donghui Guo | 4 | 107 | 21.93 |