A protocol-centric approach to on-the-fly race detection

IEEE Transactions on Parallel and Distributed Systems

Volumn 11, Issue 10, 2000, Pages 1058-1072

  Perkovic, Dejan ^a,b   Keleher, Peter J ^a,b  

^a IEEE   (United States)

^b University of Maryland ^*  (United States)

Author keywords

Data races; DSM; On the fly; Shared memory

Indexed keywords

BINARY CODE REWRITER; COHERENT VIRTUAL MEMORY; DATA RACE DETECTION TECHNIQUE; INSTRUMENTATION BATCHING; ON-THE-FLY RACE DETECTION; RUNTIME CODE MODIFICATION; SHARED MEMORY;

BINARY CODES; COMPUTER DEBUGGING; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; DATA STORAGE EQUIPMENT; INFORMATION USE; NETWORK PROTOCOLS; OPTIMIZATION; PARALLEL PROCESSING SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0034291748     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.888645     Document Type: Article

References (27)

1. S.V. Adve and M.D. Hill, "A Unified Formalization of Four Shared-Memory Models," Trans. Parallel and Distributed Systems, vol. 4, no. 6, pp. 613-624, June 1993.
2. S.V. Adve, M.D. Hill, B.P. Miller, and R.H.B. Netzer, "Detecting Data Races on Weak Memory Systems," Proc. 18th Ann. Int'l Symp. Computer Architecture, pp. 234-243, May 1991.
3. T.R. Allen and D.A. Padua, "Debugging Fortran on a Shared Memory Machine," Int'l Conf. Parallel Processing, pp. 721-727, Aug. 1987.
4. J. Choi and S.L. Min, "Race Frontier: Reproducing Data Races in Parallel Program Debugging," Proc. 1991 Conf. Principles and Practice of Parallel Programming, Apr. 1991.
5. R.F. Cmelik and D. Keppel, "Shade: A Fast Instruction-Set Simulator for Execution Profiling" Technical Report TR-93-12, Sun Microsystems Lab, July 1993.
6. K. Cooper, M.W. Hall, and K. Kennedy, "A Methodology for Procedure Cloning," Computer Languages, vol. 19, no. 2, pp. 105-117, Feb. 1993.
7. A. Dinning and E. Schonberg, "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection," Proc. 1990 Conf. Principles and Practice of Parallel Programming, pp. 1-10, Mar. 1990.
8. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. Hennessy, "Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors," Proc. 17th Ann. Int'l Symp. Computer Architecture, pp. 15-26, May 1990.
9. R. Hood, K. Kennedy, and J. Mellor-Crummey, "Parallel Program Debugging with on-the-Fly Anomaly Detection," Proc. Supercomputing '90, pp. 15-26, May 1990.
10. P. Keleher, "Distributed Shared Memory Using Lazy Release Consistency," PhD thesis, Rice Univ., 1994.
11. P. Keleher, A.L. Cox, and W. Zwaenepoel, "Lazy Release Consistency for Software Distributed Shared Memory," Proc. 19th Ann. Int'l Symp. Computer Architecture, pp. 13-21, May 1992.
12. P. Keleher, S. Dwarkadas, A. Cox, and W. Zwaenepoel, "Treadmarks: Distributed Shared Memory on Standard Workstations and Operating Systems," Proc. 1994 Winter Usenix Conf., pp. 115-131, Jan. 1994.
13. P. Keleher, "The Coherent Virtual Machine," Technical Report TR93-215, Dept. of Computer Science, Univ. of Maryland, Sept. 1995.
14. P. Keleher, "The Relative Importance of Concurrent Writers and Weak Consistency Models," Proc. 16th Int'l Conf. Distributed Computing Systems, May 1996.
15. L. Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs," IEEE Trans. Computers, vol. 28, no. 9, pp. 690-691, Sept. 1979.
16. J.R. Larus and E. Schnarr, "EEL: Machine-Independent Executable Editing," Proc. SIGPLAN '95 Conf. Programming Language Design and Implementation, June 1995.
17. J. Mellor-Crummey, "Compile-Time Support for Efficient Data Race Detection in Shared-Memory Parallel Programs," Technical Report CRPC-TR92232, Rice Univ., Sept. 1992.
18. R.H.B. Netzer and B.P. Miller, "Improving the Accuracy of Data Race Detection," Proc. 1991 Conf. Principles and Practice of Parallel Programming, Apr. 1991.
19. R.H.B. Netzer and B.P. Miller, "On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions," Proc. 1990 Int'l Conf. Parallel Processing, pp. 93-97, Aug. 1990.
20. R.H.B. Netzer and B.P. Miller, "What are Race Conditions?" ACM Letters on Programming Languages and Systems, Mar. 1992.
21. D. Perkovic and P.J. Keleher, "Online Data-Race Detection via Coherency Guarantees," Proc. Second USENIX Symp. Operating System Design and Implementation (OSDI '96), pp. 47-58, Oct. 1996.
22. T. Romer, G. Voelker, D. Lee, A. Wolman, W. Wong, H. Levy, and B. Bershad, "Instrumentation and Optimization of Win32/Intel Executables Using Etch," USENIX Windows NT Workshop, 1997.
23. M.A. Ronsse and W. Zwaenepoel, "Execution Replay for TreadMarks," submitted for publication, 1996.
24. M. Ronsse and K. De Bosschere, "Work in Progress: An on-the-Fly Data Race Detector for Recplay, a Record/Replay System for Parallel Programs" Proc. 16th ACM Symp. Operating Systems Principles, (work in progress), Oct. 1997.
25. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," Proc. 16th ACM Symp. Operating Systems Principles, Oct. 1997.
26. A. Srivastava and A. Eustace, "ATOM: A System for Building Customized Program Analysis Tools," Proc. SIGPLAN'94 Conf. Programming Language Design and Implementation, May 1994.
27. S.C. Woo, M. Ohara, E. Torrie, J.P. Singh, and A. Gupta, "The SPLASH-2 Programs: Characterization and Methodological Considerations," Proc. 22nd Ann. Int'l Symp. Computer Architecture, pp. 24-37, June 1995.