Detecting unaffected race conditions before which no other races causally happened is important to debugging message-passing programs effectively, because such a message race can affect other races to occur or not. The previous techniques to detect efficiently unaffected races do not guarantee that all of the detected races are unaffected. This paper presents a novel technique that traces the states of the locally-first race to occur in every process, and then visualizes effectively the affect-relations of all the locally-first races to detect unaffected races. © Springer-Verlag 2004.
CITATION STYLE
Park, M. Y., & Jun, Y. K. (2004). Detecting unaffected race conditions in message-passing programs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3241, 268–276. https://doi.org/10.1007/978-3-540-30218-6_39
Mendeley helps you to discover research relevant for your work.