论文信息 - Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization - 字舞流文

Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization

Robert H. B. Netzer | Sanjoy Ghosh | Sanjoy Ghosh

[1] Barton P. Miller,et al. What are race conditions?: Some issues and formalizations , 1992, LOPL.

[2] John M. Mellor-Crummey,et al. On-the-fly detection of data races for programs with nested fork-join parallelism , 1991, Proceedings of the 1991 ACM/IEEE Conference on Supercomputing (Supercomputing '91).

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

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

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

[6] Charles E. McDowell,et al. Analyzing Traces with Anonymous Synchronization , 1989, ICPP.

[7] Barton P. Miller,et al. On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions , 1990, ICPP.

[8] David A. Padua,et al. Event synchronization analysis for debugging parallel programs , 1989, Proceedings of the 1989 ACM/IEEE Conference on Supercomputing (Supercomputing '89).