Detecting access anomalies in programs with critical sections
Anne Dinning, Edith Schonberg
WPADD 1991
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.
Anne Dinning, Edith Schonberg
WPADD 1991
Julian Dolby, Achille Fokoue, et al.
Journal of Web Semantics
Guoqing Xu, Nick Mitchell, et al.
ACM TOSEM
Nick Mitchell, Gary Sevitsky, et al.
WODA 2007