ODR: Output-deterministic replay for multicore debugging

SOSP'09 - Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles

Volumn , Issue , 2009, Pages 193-206

  Altekar, Gautam ^a   Stoica, Ion ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Debugging; Deterministic replay; Inference; Multicore

Indexed keywords

DATA RACES; HIGH FIDELITY; JAVA VIRTUAL MACHINES; MULTI CORE; MULTI-PROCESSOR HARDWARE; MULTIPROCESSOR PROGRAMS; NON-DETERMINISM; STUMBLING BLOCKS;

COMPUTER OPERATING SYSTEMS; JAVA PROGRAMMING LANGUAGE; MULTIPROCESSING SYSTEMS;

PROGRAM DEBUGGING;

EID: 72249094336     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1629575.1629594     Document Type: Conference Paper

References (23)

1. G. Altekar and I. Stoica. Output-deterministic replay for multicore debugging. Technical Report UCB/EECS-2009-108, EECS Department, University of California, Berkeley, Aug 2009.
2. A. Ayers, R. Schooler, C. Metcalf, A. Agarwal, J. Rhee, and E. Witchel. Traceback: first fault diagnosis by reconstruction of distributed control flow. In V. Sarkar and M. W. Hall, editors, PLDI, pages 201-212. ACM, 2005.
3. S. Bhansali, W.-K. Chen, S. de Jong, A. Edwards, R. Murray, M. Driníc, D. Mihǒcka, and J. Chau. Framework for instruction-level tracing and analysis of program executions. In VEE '06, pages 154-163, New York, NY, USA, 2006. ACM.
4. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: automatically generating inputs of death. In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security, pages 322-335, New York, NY, USA, 2006. ACM Press.
5. G. W. Dunlap, D. G. Lucchetti, M. A. Fetterman, and P. M. Chen. Execution replay of multiprocessor virtual machines. In VEE '08, pages 121-130, New York, NY, USA, 2008. ACM.
6. V. Ganesh and D. L. Dill. A decision procedure for bit-vectors and arrays. In W. Damm and H. Hermanns, editors, CAV, volume 4590 of Lecture Notes in Computer Science, pages 519-531. Springer, 2007.
7. D. Geels, G. Altekar, S. Shenker, and I. Stoica. Replay debugging for distributed applications. In USENIX Annual Technical Conference, General Track, pages 289-300. USENIX, 2006.
8. Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In R. Draves and R. van Renesse, editors, OSDI, pages 193-208. USENIX Association, 2008.
9. J. L. Hennessy and D. A. Patterson. Computer Architecture, Fourth Edition: A Quantitative Approach. Morgan Kaufmann, September 2006.
10. D. R. Hower and M. D. Hill. Rerun: Exploiting episodes for lightweight memory race recording. In ISCA '08: Proceedings of the 35th International Symposium on Computer Architecture, pages 265-276, Washington, DC, USA, 2008. IEEE Computer Society.
11. Intel. Intel 64 and IA-32 Architectures Reference Manual, November 2008.
12. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
13. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX Annual Technical Conference, General Track, pages 1-15. USENIX, 2005.
14. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978.
15. C.-K. Luk, R. Cohn, R. Muth, H. Patil, A. Klauser, G. Lowney, S. Wallace, V. J. Reddi, and K. Hazelwood. Pin: building customized program analysis tools with dynamic instrumentation. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, volume 40, pages 190-200, New York, NY, USA, June 2005. ACM Press.
16. D. A. Molnar and D. Wagner. Catchconv: Symbolic execution and run-time type inference for integer conversion errors. Technical Report UCB/EECS-2007-23, EECS Department, University of California, Berkeley, 2007.
17. P. Montesinos, L. Ceze, and J. Torrellas. Delorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently. In ISCA '08: Proceedings of the 35th International Symposium on Computer Architecture, pages 289-300, Washington, DC, USA, 2008. IEEE Computer Society.
18. P. Montesinos, M. Hicks, S. T. King, and J. Torrellas. Capo: a software-hardware interface for practical deterministic multiprocessor replay. In M. L. Soffa and M. J. Irwin, editors, ASPLOS, pages 73-84. ACM, 2009.
19. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. SIGPLAN Not., 42(6):89-100, June 2007.
20. J. Pool, I. S. K. Wong, and D. Lie. Relaxed determinism: making redundant execution on multiprocessors practical. In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems, pages 1-6, Berkeley, CA, USA, 2007. USENIX Association.
21. M. Ronsse and K. De Bosschere. Recplay: a fully integrated practical record/replay system. ACM Trans. Comput. Syst., 17(2):133-152, 1999.
22. Y. Saito. Jockey: A user-space library for record-replay debugging. In In AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging, pages 69-76. ACM Press, 2005.
23. 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, New York, February 1995. ACM Press.