Framework for instruction-level tracing and analysis of program executions

VEE 2006 - Proceedings of the Second International Conference on Virtual Execution Environments

Volumn 2006, Issue , 2006, Pages 154-163

  Bhansali, Sanjay ^a   Chen, Wen Ke ^a   De Jong, Stuart ^a   Edwards, Andrew ^a   Murray, Ron ^a   Drinić, Milenko ^a   Mihočka, Darek ^a   Chau, Joe ^a  

^a MICROSOFT   (United States)

Author keywords

Callback; Code emulation; Code replay; Time travel debugging; Tracing

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; DATA COMPRESSION; OPTIMIZATION; PROGRAM DEBUGGING;

CALLBACK; CODE EMULATION; CODE REPLAY; TIME-TRAVEL DEBUGGING; TRACING;

COMPUTER PROGRAMMING;

EID: 33745956039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134760.1220164     Document Type: Conference Paper

References (24)

1. Andrew Ayers, Richard Schooler, Chris Metcalf, Anant Agarwal, Junghwan Rhee, and Emmett Witchel, TraceBack: first fault diagnosis by reconstruction of distributed control flow. Programming Language Design and Implementation (PLDI '05) (2005), 201-12.
2. Vasanth Bala, Evelyn Duesterwald, and Sanjeev Banerjia, Dynamo: a transparent dynamic optimization system. Programming Language Design and Implementation (PLDI '00) (2000), 1-12.
3. Thomas C. Bressoud and Fred B. Schneider, Hypervisor based fault-tolerance. Symposium on Operating Systems Principles (SOSP '95) (1995), 1-11.
4. Derek Bruening, Timothy Garnet, and Saman Amarasinghe, An infrastructure for adaptive dynamic optimization. International Symposium on Code Generation and Optimization (CGO '03) (2003), 265-75.
5. Martin Burtscher, Ilya Ganusov, Sandra J. Jackson, Jian Ke, Paruj Ratanaworabhan, and Nana B. Sam, The vpc trace compression algorithms, IEEE Transactions on Computers 54 (2005), no. 11, 1329-44.
6. Wen-Ke Chen, Sorin Lerner, Ronnie Chaiken, and David Gillies, Mojo: a dynamic optimization system, ACM Workshop on Feedback-Directed and Dynamic Optimization (2000), 81-90.
7. Trishul Chilimbi and James R. Larus, Cache-conscious structure layout, Programming Languages Design and Implementation (PLDI '99) (1999), 13-24.
8. Bob Cmelik and David Keppel, Shade: a fast instruction-set simulator for execution profiling, ACM SIGMETRICS (1994), 128-37.
9. Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, Vigilante: End-to-end containment of internet worms, ACM Symposium on Operating Systems Principles (SOSP '05) (2005), 133-147.
10. Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, and Joseph A. Fisher, DELI: a new run-time control point, ACM/IEEE International Symposium on Microarchitecture (MICRO '02) (2002), 257-68.
11. George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen, Revirt: enabling intrusion analysis through virtual machine logging and replay, Symposium on Operating Systems Design and Implementation (OSDI '02) (2002), 211-224.
12. E.N. (Mootaz) Elnozahy, Lorenzo Alvisi, Yi-Min Wang, and David B.Johnson, A survey of rollback recovery protocols in messagepassing systems, ACM Computing Survey 34 (2002), no. 3, 375-408.
13. Kim Hazelwood and James E. Smith, Exploring code cache eviction granularities in dynamic optimization systems, International Symposium on Code Generation and Optimization (CGO '04) (2004), 89.
14. Samuel T. King, George W. Dunlap, and Peter M. Chen, Debugging operating systems with time-traveling virtual machines, USENIX Annual Technical Conference (2005), 1-15.
15. James R. Larus, Whole program paths, Programming Language Design and Implementation (PLDI '99) (1999), 259-69.
16. James R. Larus and Eric Schnarr, EEL: machine-independent executable editing, Programming Language Design and Implementation (PLDI'95) (1995), 291-300.
17. Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood, Pin: building customized program analysis tools with dynamic instrumentation, Programming Language Design and Implementation (PLDI '05) (2005), 190-200.
18. Satish Narayanaswamy, Gilles Pokam, and Brad Calder, Bugnet: Continuously recording program execution fro deterministic replay debugging, International Symposium on Computer Architecture (ISCA '05) (2005), 284-95.
19. Nicholas Nethercote and Julian Seward, Valgrind: a program supervision framework, Electronic Notes in Theoretical Computer Science 89 (2003), no. 2.
20. James E. Smith and Ravi Nair, Virtual machines, first ed., Morgan Kaufman, San Francisco, Ca., 2005.
21. Amitabh Srivastava and Alan Eustace, ATOM: a system for building, customized program analysis tools. Programming Language Design and Implementation (1994), 196-205.
22. Amitabh Srivastava, Hoi Vo, and Andrew Edwards, Vulcan: binary transformation in distributed environment, Tech. Report MSR-TR-2001-50, Micorosft Research, April 2001.
23. Min Xu, Rastislav Bodik, and Mark D. Hill, A 'flight data recorder' for enabling full-system multiprocessor deterministic replay, International Symposium on Computer Architecture (ISCA '03) (2003), 122-35.
24. Xiangyu Zhang and Rajiv Gupta, Whole execution traces and their applications, ACM Transactions on Architecture and Code Optimization 2 (2005), no. 3, 301-334.