Guoqing Xu, Nick Mitchell, et al.
ACM TOSEM
ThE paper presents an efficient on-the-fly method for detecting access anomalies in programs that contain critical section coordinw tion. For a large class of programs, a single execution instance is sufficient to determine theexistence of an acceeaanomaly for a given input when the proposed method is used. In contrast, for the same class of programs, previous on-the-fly methods for handling critical sections can fail to detect anomalies for a given input, and can require N! execution instances to find an anomaly, where N is the degree of parallelism. An algorithm for statically determining which programs are in this class is described. © 1991, ACM. All rights reserved.
Guoqing Xu, Nick Mitchell, et al.
ACM TOSEM
Nick Mitchell, Gary Sevitsky, et al.
WODA 2007
Achille Fokoue, Aaron Kershenbaum, et al.
WDL 2006
Darrell Reimer, Edith Schonberg, et al.
OOPSLA 2004