CoreDet: A compiler and runtime system for deterministic multithreaded execution

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2010, Pages 53-64

  Bergan, Tom ^a   Anderson, Owen ^a   Devietti, Joseph ^a   Ceze, Luis ^a   Grossman, Dan ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Compilers; Determinism; Multicore; Multithreading

Indexed keywords

EMPIRICAL EVALUATIONS; LLVM COMPILERS; MEMORY REGION; MULTI CORE; MULTI-THREADED PROGRAMS; MULTI-THREADING; MULTITHREADED; NON-DETERMINISM; POSIX THREADS; ROOT CAUSE; RUN-TIME INFRASTRUCTURE; RUNTIME SYSTEMS; SINGLE-THREADED; SPECIAL HARDWARE; STATIC COMPILER;

COMPUTER OPERATING SYSTEMS; HYBRID SYSTEMS; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; PROGRAM COMPILERS;

MULTITASKING;

EID: 77952244542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1736020.1736029     Document Type: Conference Paper

References (34)

1. A. Adl-Tabatabai, B. Lewis, V. Menon, B. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI, 2006.
2. S. Adve and M. Hill. Weak Ordering - A New Definition. In ISCA, 1990.
3. E. Berger, K. McKinley, R. Blumofe, and P.Wilson. Hoard: A Scalable Memory Allocator for Multithreaded Applications. In ASPLOS, 2000.
4. E. Berger, T. Yang, T. Liu, , and G. Novark. Grace: Safe and Efficient Concurrent Programming. In OOPSLA, 2009.
5. C. Bienia, S. Kumar, J. P. Singh, and K. Li. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In PACT, 2008.
6. G. Blelloch. NESL: A Nested Data-Parallel Language (Version 3.1). Technical report, Carnegie Mellon University, Pittsburgh, PA.
7. R. Bocchino, V. Adve, D. Dig, S. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian. A Type and Effect System for Deterministic Parallel Java. In OOPSLA, 2009.
8. H.-J. Boehm. Threads Cannot be Implemented as a Library. In PLDI, 2005.
9. H.-J. Boehm and S. Adve. Foundations of the C++ Concurrency Memory Model. In PLDI, 2008.
10. M. M. T. Chakravarty, R. Leshchinskiy, S. P. Jones, G. Keller, and S. Marlow. Data Parallel Haskell: A Status Report. In Workshop on Declarative Aspects of Multicore Programming (DAMP), 2007.
11. J. Devietti, B. Lucia, L. Ceze, and M. Oskin. DMP: Deterministic Shared Memory Multiprocessing. In ASPLOS, 2009.
12. M. Dubois, C. Scheurich, and F. Briggs. Memory Access Buffering in Multiprocessors. In ISCA, 1986.
13. M. Dubois, J. Wang, L. Barroso, K. Lee, and Y.S. Chen. Delayed Consistency and Its Effects on the Miss Rate of Parallel Programs. In Supercomputing, 1991.
14. S. A. Edwards and O. Tardieu. SHIM: A Deterministic Model for Heterogeneous Embedded Systems. In EMSOFT, 2005.
15. M. Hill and M. Xu. Racey: A Stress Test for Deterministic Execution. http://www.cs.wisc.edu/~markhill/racey.html.
16. D. Hower and M. Hill. ReRun: Exploiting Episodes for Lightweight Memory Race Recording. In ISCA, 2008.
17. J. Choi and H. Srinivasan. Deterministic Replay of Java Multithreaded Applications. In SIGMETRICS SPDT, 1998.
18. C. Lattner. Macroscopic Data Structure Analysis and Optimization. PhD thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Urbana, IL, May 2005.
19. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO, 2004.
20. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging Parallel Programs with Instant Replay. IEEE TOC, 36(4), 1987.
21. J. Manson,W. Pugh, and S. Adve. The Java Memory Model. In POPL, 2005.
22. J. Mellor-Crummey and T. J. LeBlanc. A software instruction counter. In SIGARCH Computer Architecture Notes, 1989.
23. J. Mellor-Crummey and M. Scott. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM TOCS, 9(1), 1991.
24. P. Montesinos, L. Ceze, and J. Torrellas. DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Efficiently. In ISCA, 2008.
25. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In OSDI, 2008.
26. S. Narayanasamy, C. Pereira, and B. Calder. Recording Shared Memory Dependencies Using Strata. In ASPLOS, 2006.
27. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Efficient Deterministic Multithreading in Software. In ASPLOS, 2009.
28. S. Reinhardt, M. Hill, J. Larus, A. Lebeck, J. Lewis, and D.Wood. The Wisconsin Wind Tunnel: Virtual Prototyping of Parallel Computers. SIGMETRICS, 21(1), 1993.
29. M. Rinard and M. Lam. The Design, Implementation, and Evaluation of Jade. ACM TOPLAS, 20(3), 1988.
30. M. Ronsse and K. De Bosschere. RecPlay: A Fully Integrated Practical Record/Replay System. ACM TOCS, 17(2), 1999.
31. D. Scales, K. Gharachorloo, and C. Thekkath. Shasta: A Low Overhead, Software-only Approach for Supporting Fine-grain Shared Memory. In ASPLOS, 1996.
32. W. Thies, M. Karczmarek, and S. Amarasinghe. StreamIt: A Language for Streaming Applications. In CC, 2002.
33. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In ISCA, 1995.
34. M. Xu, R. Bodik, and M. Hill. A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. In ISCA, 2003.