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

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Pozniansky, Eli ^a   Schuster, Assaf ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CHEMICAL DETECTION; COMPUTER SOFTWARE; DISTRIBUTED PARAMETER NETWORKS; MULTITASKING; OPTIMIZATION; PROGRAM DEBUGGING;

DATA RACE DETECTION; DETECTION PROCESS; DYNAMIC DETECTION; FALSE DETECTIONS; GLOBAL SYNCHRONIZATION; MULTI-THREADED PROGRAMS; ON-THE-FLY ALGORITHMS; ORDERS OF MAGNITUDE;

C++ (PROGRAMMING LANGUAGE);

EID: 84947295130     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213513     Document Type: Conference Paper

References (16)

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. Detecting access anomalies in programs with critical sections. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 26(12), pages 85-96, Dec. 1991.
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. 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.
9. A. Itzkovitz, 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.
10. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7), pages 558-565, July 1978.
11. F. Mattern. Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, Elsevier Science Publishers, Amsterdam, pages 215-226, 1989.
12. J. Mellor-Crummey. Compile-time support for efficient data race detection in shared-memory parallel programs. In ACM/ONR Workshop on Parallel and Distributed Debugging, pages 129-139, May 1993.
13. R. H. B. Netzer and B. P. Miller. Detecting data races in parallel program executions. Technical report, University of Wisconsin, Aug. 1990.
14. 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.
15. 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.
16. 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.