Detecting access anomalies in programs with critical sections

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.

[1]  Barton P. Miller,et al.  Detecting Data Races in Parallel Program Executions , 1989 .

[2]  David Padua,et al.  Debugging Fortran on a shared memory machine , 1987 .

[3]  Edith Schonberg,et al.  An empirical comparison of monitoring algorithms for access anomaly detection , 2011, PPOPP '90.

[4]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984, SDE 1.

[5]  Charles E. McDowell,et al.  Detecting data races from sequential traces , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[6]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[7]  B. Appelbe,et al.  Developing multitasking applications programs , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[8]  Ken Kennedy,et al.  Analysis of event synchronization in a parallel programming tool , 1990, PPOPP '90.

[9]  Jong-Deok Choi,et al.  A mechanism for efficient debugging of parallel programs , 1988, PADD '88.

[10]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1984, TOPL.

[11]  Thomas J. LeBlanc,et al.  Debugging Parallel Programs with Instant Replay , 1987, IEEE Transactions on Computers.

[12]  Jong-Deok Choi,et al.  Race Frontier: reproducing data races in parallel-program debugging , 1991, PPOPP '91.

[13]  N. S. Barnett,et al.  Private communication , 1969 .

[14]  Barton P. Miller,et al.  Improving the accuracy of data race detection , 1991, PPOPP '91.

[15]  Jong-Deok Choi,et al.  Parallel program debugging with flowback analysis , 1989 .

[16]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[17]  Ken Kennedy,et al.  Parallel program debugging with on-the-fly anomaly detection , 1990, Proceedings SUPERCOMPUTING '90.

[18]  David A. Padua,et al.  Automatic detection of nondeterminacy in parallel programs , 1988, PADD '88.

[19]  Edith Schonberg,et al.  On-the-fly detection of access anomalies , 2018, PLDI '89.