Jockey: A user-space library for record-replay debugging

Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging, AADEBUG 2005

Volumn , Issue , 2005, Pages 69-76

  Saito, Yasushi ^a,b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b GOOGLE INC   (United States)

Author keywords

Checkpointing; Debugging; Execution record and replay; Jockey; Linux; x86

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; DIGITAL LIBRARIES; STORAGE ALLOCATION (COMPUTER);

CHECKPOINTING; EXECUTION RECORD AND DISPLAY; X86;

PROGRAM DEBUGGING;

EID: 29844452903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085130.1085139     Document Type: Conference Paper

References (33)

1. DAT collaborative. User-level direct access transport APIs (uDAPL), 2004. http://www.datcollaborative.org/udapl.html.
2. George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza Basrai, and Peter M. Chen. Revirt: Enabling intrusion analysis through virtual-machine logging and replay. In 5th Symp. on Op. Sys. Design and Impl. (OSDI), Boston, MA, USA, December 2002.
3. Timothy L. Harris. Dependable software needs pervasive debugging. In 10th ACM SIGOPS European Workshop, Saint Emilion, France, September 2002.
4. Joel Huselius. Debugging parallel systems: A state of the art report. Technical Report 63, Dept. of CSE, Malardalen University, September 2002.
5. Samuel T. King, George W. Dunlap, and Peter M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX Annual Tech. Conf., Anaheim, CA, USA, April 2005.
6. Lap Chung Lam. A survey of data breakpoint and reverse execution. SUNY Stony Brook RPE report, http://www.ecsl.cs.sunysb.edu/tr/rpe12.ps.gz, September 2001.
7. Bill Lewis. Debugging backwards in time. In 5th Workshop on Automated and Algorithmic Debugging (AADEBUG), Ghent, Belgium, September 2003.
8. libdisasm. Libdisasm: x86 disassembler library, 2004. http://bastard.sourceforge.net/libdisasm.html.
9. David E. Lowell and Peter M. Chen. Discount checking: Transparent, low-overhead recovery for general applications. Technical Report CSE-TR-410-99, University of Michigan, November 1998.
10. Charles E. McDowell and David P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, December 1989.
11. Michael S. Meier, Kevan L. Miller, Donald P. Pazel, Josyula R. Rao, and James R. Russell. Experiences with building distributed debuggers. In SIGMETRICS Symposium on Parallel and Distributed Tools (SPOT), pages 70-79, Philadelphia, PA, USA, May 1996.
12. Ingo Molner. Exec shield, new Linux security feature. http://people.redhat.com/mingo/exec-shield/ANNOUNCEexec-shield, 2004.
13. Robert H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In ACM workshop on parallel and distributed debugging, San Diego, CA, USA, May 1993.
14. Robert H. B. Netzer and Barton P. Miller. Optimal tracing and replay for debugging message-passing parallel programs. In Supercomputing, Mineapolis, MN, USA, November 1992.
15. Robert H. B. Netzer, Sairam Subramanian, and Jian Xu. Critical-path-based message logging for incremental replay of message-passing programs. In 14th Int. Conf. on Dist. Comp. Sys. (ICDCS), pages 404-413, Poznan, Poland, June 1994.
16. Robert H. B. Netzer and Mark H. Weaver. Optimal tracing and incremental reexecution for debugging long-running programs. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Orlando, FL, USA, June 1994.
17. Also available as Brown University Technical Report CS-94-11.
18. Oliver Oppitz. A particular bug trap: Execution replay using virtual machines. In 5th Workshop on Automated and Algorithmic Debugging (AADEBUG), Ghent, Belgium, September 2003.
19. John K. Ousterhout, Herv Da Costa, David Harrison, John A. Kunze, Michael D. Kupfer, and James G. Thompson. A trace-driven analysis of the UNIX 4.2 BSD file system. In 10th Symp. on Op. Sys. Principles (SOSP), pages 15-24, Orcas Island, WA, USA, December 1985.
20. Douglas Z. Pan and Mark A. Linton. Supporting reverse execution of parallel programs. In ACM workshop on parallel and distributed debugging, Madison, WI, USA, May 1988.
21. James S. Plank, Micah Beck, Gerry Kingsley, and Kai Li. Libckpt: Transparent checkpointing under UNIX. In USENIX Winter Tech. Conf., New Orleans, LA, USA, January 1995.
22. Michiel Ronsse, Koen De Bosschere, Mark Christiaens, Jacques Chassin de Kergommeaux, and Dieter Kranzlmuller. Record/replay for non-determinsitic program executions. Comm. of the ACM (CACM), 46(9), September 2003.
23. Michiel Ronsse, Koen De Bosschere, and Jacques Chassin de Kergommeaux. Execution replay and debugging. In 4th Workshop on Automated and Algorithmic Debugging (AADEBUG), Munich, Germany, August 2000.
24. Yasushi Saito, Svend Frølund, Alistair Veitch, Arif Merchant, and Susan Spence. FAB: Building distributed enterprise disk arrays from commodity components. In 11th Int. Conf. on Arch. Support for Prog. Lang, and Op. Sys. (ASPLOS-XI), Boston, MA, USA, October 2004.
25. Julian Seward et al. Valgrind: A GPL'd system for debugging and profiling x86-linux programs. http://valgrind.kde.org/, 2004.
26. Michael W. Shapiro. RDB: A system for incremental replay debugging. Master's thesis, Dept of. Computer Science, Brown University, 1997.
27. Sudarshan M. Srinivasan, Srikanth Kandula, Christopher R. Andrews, and Yuanyuan Zhou. Flashback: A lightweight extension for rollback and determinsitic replay for software debugging. In USENIX Annual Tech. Conf., Boston, MA, USA, June 2004.
28. Amitabh Srivastaba and Alan Eustace. ATOM: a system for building customized program analysis tools. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 196-205, Orlando, FL, USA, June 1994.
29. Daniel Stodolsky, Brian N. Bershad, and J. Bradley Chen. Fast Interrupt Priority Management in Operating System Kernels. Usenix Workshop on Microkernels, pages 105-110, September 1993.
30. Werner Vogels. File system usage in Windows NT 4.0. In 17th Symp. on Op. Sys. Principles (SOSP), pages 93-109, Kiawah Island, SC, USA, December 1999.
31. Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer. Cappriccio: Scalable threads for Internet services. In 19th Symp. on Op. Sys. Principles (SOSP), Bolton Landing, NY, USA, October 2003.
32. Andrew Whitaker, Richard S. Cox, and Steven D. Gribble. Configuration debugging as search: Finding the needle in the haystack. In 6th Symp. on Op. Sys. Design and Impl. (OSDI), San Francisco, CA, USA, December 2004.
33. Larry D. Wittie. Debugging distributed C programs by real time replay. In ACM workshop on parallel and distributed debugging, pages 57-67, Madison, WI, USA, May 1988.