Online data-race detection via coherency guarantees

2nd USENIX Symposium on Operating Systems Design and Implementation, OSDI 1996

Volumn , Issue , 1996, Pages

  Perković, Dejan ^a   Keleher, Peter J ^a  

^a University of Maryland ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE; SYSTEMS ANALYSIS;

BENCHMARK SUITES; DATA RACE DETECTION; DESIGN AND EVALUATIONS; DISTRIBUTED SHARED MEMORY SYSTEMS; EXPERIMENTAL EVALUATION; INSTRUMENTATION CODE; PROGRAM PERFORMANCE; SHARED MEMORY MODEL;

CODES (SYMBOLS);

EID: 85086057763     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/248155.238760     Document Type: Conference Paper

References (22)

1. S. Adve and M. Hill. Weak ordering: A new definition. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 2–14, May 1990.
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, pages 234–243, May 1991.
3. T. R. Allen and D. A. Padua. Debugging fortran on a shared memory machine. In International Conference on Parallel Processing, pages 721–727, August 1987.
4. J. Choi and S. L. Min. Race frontier: Reproducing data races in parallel program debugging. In Proceedings of the 1991 Conference on the Principles and Practice of Parallel Programming, April 1991.
5. A. Dinning and E. Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In Proceedings of the 1990 Conference on the Principles and Practice of Parallel Programming, pages 1–10, March 1990.
6. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the 17th Annual International Symposium on Computer Architecture, pages 15–26, May 1990.
7. Robert Hood, Ken Kennedy, and John Mellor-Crummey. Parallel program debugging with on-the-fly anomaly detection. In Proceedings Supercomputing ’90, pages 15–26, May 1990.
8. P. Keleher. Distributed Shared Memory Using Lazy Release Consistency. PhD thesis, Rice University, 1994.
9. P. Keleher, A. L. Cox, and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In Proceedings of the 19th Annual International Symposium on Computer Architecture, pages 13–21, May 1992.
10. P. Keleher, S. Dwarkadas, A. Cox, and W. Zwaenepoel. Treadmarks: Distributed shared memory on standard workstations and operating systems. In Proceedings of the 1994 Winter Usenix Conference, pages 115–131, January 1994.
11. Pete Keleher. The Coherent Virtual Machine. Technical Report Maryland TR93-215, Department of Computer Science, University of Maryland, September 1995.
12. Pete Keleher. The relative importance of concurrent writers and weak consistency models. To appear in The Proceedings of the 16th International Conference on Distributed Computing Systems, May 1996.
13. James R. Larus and Eric Schnarr. EEL: Machine-independent executable editing. In Proceedings of the SIGPLAN ‘95 Conference on Programming Language Design and Implementation, June 1995.
14. F. Mattern. Virtual time and global states of distributed systems. In Parallel & Distributed Algorithms, pages 215–226. Elsevier Science Publishers, Amsterdam, 1989.
15. John Mellor-Crummey. Compile-time support for efficient data race detection in shared-memory parallel programs. Technical Report CRPC-TR92232, Rice University, September 1992.
16. 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, April 1991.
17. Robert H. B. Netzer and Barton P. Miller. On the complexity of event ordering for shared-memory parallel program executions. In 1990 InternationalConference on Parallel Processing, pages 93–97, August 1990.
18. Robert H. B. Netzer and Barton P. Miller. What are race conditions? In ACM Letters on Programming Languages and Systems. ACM, March 1992.
19. M. A. Ronsse and W. Zwaenepoel. Execution replay for TreadMarks. Submitted for publication, 1996.
20. Daniel Scales and Kourosh Gharachorloo. Shasta: A low overhead, software-only approach for supporting fine-grain shared memory. In Proceedings of the 7th Symposium on Architectural Support for Programming Languages and Operating Systems, October 1996.
21. Amitabh Srivastava and Alan Eustace. ATOM: A system for building customized program analysis tools. In Proceedings of the SIGPLAN ‘94 Conference on Programming Language Design and Implementation, May 1994.
22. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In Proceedings of the 22nd Annual International Symposium on Computer Architecture, pages 24–37, June 1995.