Dthreads: Efficient deterministic multithreading

SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles

Volumn , Issue , 2011, Pages 327-336

  Liu, Tongping ^a   Curtsinger, Charlie ^a   Berger, Emery D ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA RACES; DETERMINISTIC EXECUTION; DETERMINISTIC SYSTEMS; FALSE SHARING; MULTI-THREADED APPLICATION; MULTI-THREADED PROGRAMS; MULTI-THREADING; MULTIPLE PROCESS; MULTITHREADED PROGRAMMING; NON-DETERMINISM; PROGRAM MODIFICATIONS; PTHREADS; RUNTIME SYSTEMS; SHARED MEMORIES; VIRTUAL MEMORY;

BENCHMARKING;

MULTITASKING;

EID: 82655162766     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2043556.2043587     Document Type: Conference Paper

References (25)

1. A. Aviram, S.-C. Weng, S. Hu, and B. Ford. Efficient systemenforced deterministic parallelism. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 193-206, Berkeley, CA, USA, 2010. USENIX Association.
2. T. Ball, S. Burckhardt, J. de Halleux, M. Musuvathi, and S. Qadeer. Deconstructing concurrency heisenbugs. In ICSE Companion, pages 403-404. IEEE, 2009.
3. T. Bergan, O. Anderson, J. Devietti, L. Ceze, and D. Grossman. CoreDet: a compiler and runtime system for deterministic multithreaded execution. In Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems, ASPLOS '10, pages 53-64, New York, NY, USA, 2010. ACM.
4. T. Bergan, N. Hunt, L. Ceze, and S. D. Gribble. Deterministic process groups in dOS. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 177-192, Berkeley, CA, USA, 2010. USENIX Association.
5. E. D. Berger, K. S. McKinley, R. D. Blumofe, and P. R. Wilson. Hoard: A scalable memory allocator for multithreaded applications. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX), pages 117-128, Cambridge, MA, Nov. 2000.
6. E. D. Berger, T. Yang, T. Liu, and G. Novark. Grace: safe multithreaded programming for C/C++. In OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, pages 81-96, New York, NY, USA, 2009. ACM.
7. E. D. Berger and B. G. Zorn. DieHard: Probabilistic memory safety for unsafe languages. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 158-168, New York, NY, USA, 2006. ACM Press.
8. E. D. Berger, B. G. Zorn, and K. S. McKinley. Composing highperformance memory allocators. In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, June 2001.
9. C. Bienia and K. Li. Parsec 2.0: A new benchmark suite for chipmultiprocessors. In Proceedings of the 5th Annual Workshop on Modeling, Benchmarking and Simulation, June 2009.
10. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, pages 1-11, New York, NY, USA, 1995. ACM Press.
11. S. Burckhardt, P. Kothari, M. Musuvathi, and S. Nagarakatte. A randomized scheduler with probabilistic guarantees of finding bugs. In J. C. Hoe and V. S. Adve, editors, ASPLOS, ASPLOS '10, pages 167-178, New York, NY, USA, 2010. ACM.
12. J. B. Carter, J. K. Bennett, and W. Zwaenepoel. Implementation and performance of Munin. In SOSP '91: Proceedings of the thirteenth ACM symposium on Operating systems principles, pages 152-164, New York, NY, USA, 1991. ACM.
13. R. H. Carver and K.-C. Tai. Replay and testing for concurrent programs. IEEE Softw., 8:66-74, March 1991.
14. J.-D. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, SPDT '98, pages 48-59, New York, NY, USA, 1998. ACM.
15. H. Cui, J.Wu, C. Tsa, and J. Yang. Stable deterministic multithreaded through schedule memoization. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 207-222, Berkeley, CA, USA, 2010. USENIX Association.
16. J. W. Havender. Avoiding deadlock in multitasking systems. IBM Systems Journal, 7(2):74-84, 1968.
17. P. Keleher, A. L. Cox, S. Dwarkadas, and W. Zwaenepoel. Treadmarks: distributed shared memory on standard workstations and operating systems. In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, pages 10-10, Berkeley, CA, USA, 1994. USENIX Association.
18. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04), Palo Alto, California, Mar 2004.
19. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Trans. Comput., 36:471-482, April 1987.
20. C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Comput. Surv., 21(4):593-622, 1989.
21. R. H. B. Netzer and B. P. Miller. What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst., 1(1):74-88, 1992.
22. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: efficient deterministic multithreading in software. In ASPLOS '09: Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 97-108, New York, NY, USA, 2009. ACM.
23. J. Pool, I. Sin, and D. Lie. Relaxed determinism: Making redundant execution on multiprocessors practical. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS 2007), May 2007.
24. C. Ranger, R. Raghuraman, A. Penmetsa, G. Bradski, and C. Kozyrakis. Evaluating MapReduce for multi-core and multiprocessor systems. In HPCA '07: Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture, pages 13-24, Washington, DC, USA, 2007. IEEE Computer Society.
25. W. Xiong, S. Park, J. Zhang, Y. Zhou, and Z. Ma. Ad hoc synchronization considered harmful. In OSDI'10: Proceedings of the 9th Conference on Symposium on Opearting Systems Design & Implementation, pages 163-176, Berkeley, CA, USA, 2010. USENIX Association.