Efficient on-the-fly data race detection in multithreaded C++ programs

ACM SIGPLAN Notices

Volumn 38, Issue 10, 2003, Pages 178-189

  Pozniansky, Eli ^a   Schuster, Assaf ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Concurrency; Data race; Instrumentation; Multithreading; Synchronization

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERROR CORRECTION; HEURISTIC PROGRAMMING; OPTIMIZATION; PROGRAM DEBUGGING;

DATA RACE DETECTION; MULTITHREADED PROGRAMS;

C (PROGRAMMING LANGUAGE);

EID: 1442264131     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/966049.781529     Document Type: Article

References (17)

1. S. V. Adve and M. D. Hill. A unified formalization of four shared-memory models. Technical report, University of Wisconsin, Sept. 1992.
2. S. V. Adve, M. D. Hill, B. P. Miller, and R. H. B. Netzer. Detecting data races on weak memory systems. In Proceedings of the 18th Annual International Symposium on Computer Architecture (ISCA '91), pages 234-243, May 1991.
3. V. Balasundaram and K. Kennedy. Compile-time detection of race conditions in a parallel program. In Proceedings of the 3rd International Conference on Supercomputing, pages 175-185, June 1989.
4. T. Brecht and H. Sandhu. The Region Trap Library: Handling traps on application-defined regions of memory. In USENIX Annual Technical Conference, Monterey, CA, June 1999.
5. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1-10, Mar. 1990.
6. P. Emrath and D. Padua. Automatic detection of nondeterminacy in parallel programs. In Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pages 89-99, May 1988.
7. C. Flanagan and S. Freund. Detecting race conditions in large programs. In Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), pages 90-96, June 2001.
8. R. Hood, K. Kennedy, and J. Mellor-Crummey. Parallel programming debugging with on-the-fly anomaly detection. In Proceedings of the 1990 Conference on Supercomputing, Nov. 1990.
9. A. Itzkovitz and A. Schuster. Multiview and Millipage-fine-grain sharing in page-based DSMs. In Proceedings of the Third Symposium on Operating Systems Design and Implementation (OSDI), pages 215-228, Feb. 1999.
10. A. Itzkovits, A. Schuster, and O. Zeev-Ben-Mordechai. Towards integration of data race detection in DSM systems. Journal of Parallel and Distributed Computing (JPDC), 59(2), pages 180-203, Nov. 1999.
11. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), pages 558-565, July 1978.
12. F. Mattern. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, Elsevier Science Publishers, Amsterdam, pages 215-226, 1989.
13. R. H. B. Netzer and B. P. Miller. On the complexity of event ordering for shared-memory parallel program executions. In 1990 International Conference on Parallel Processing, 2, pages 93-97, Jan. 1990.
14. R. H. B. Netzer and B. P. Miller. Improving the accuracy of data race detection. In Proceedings of the 1991 Conference on the Principles and Practice of Parallel Programming, pages 133-144, Apr. 1991.
15. R. H. B. Netzer and B. P. Miller. What are race conditions Some issues and formalizations. ACM Letters on Programming Languages and Systems, 1, pages 74-88, Mar. 1992.
16. M. Ronsse and K. D. Bosschere. RecPlay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2), pages 133-152, 1999.
17. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4), pages 391-411, Oct. 1997.