JIT instrumentation: A novel approach to dynamically instrument operating systems

Operating Systems Review (ACM)

Volumn , Issue , 2007, Pages 3-16

  Olszewski, Marek ^a   Mierle, Keir ^a   Czajkowski, Adam ^a   Brown, Angela Demke ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

Binary rewriting; Dynamic instrumentation; JIT compiler; Kernel analysis tools

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; DYNAMIC PROGRAMMING; SET THEORY; SOFTWARE PROTOTYPING; COMPUTER OPERATING SYSTEMS; JUST IN TIME PRODUCTION; NETWORK SECURITY; PROBES; PROGRAM COMPILERS; SHAPE MEMORY EFFECT;

BINARY REWRITING; DYNAMIC INSTRUMENTATION; JIT COMPILERS; JUST-IN-TIME (JIT) INSTRUMENTATION; KERNEL ANALYSIS TOOLS;

COMPUTER OPERATING SYSTEMS; INSTRUMENTS;

ANALYSIS TOOLS; DYNAMIC INSTRUMENTATION; INSTRUCTION SET ARCHITECTURE; INSTRUMENTATION TOOLS; JIT COMPILER; JUST-IN-TIME; KERNEL INSTRUMENTATION; KERNEL SPACE; LINUX KERNEL; MICRO AND MACRO; OPERATING SYSTEMS; ORDERS OF MAGNITUDE; PROBE-BASED;

EID: 34548033967     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1272996.1273000     Document Type: Conference Paper

References (26)

1. B. Alpern, D. Attanasio, J. Barton, M. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, T. Ngo, M. Mergen, V. Sarkar, M. Serrano, J. Shepherd, S. Smith, V. Sreedhar, H. Srinivasan, and J. Whaley. The Jalapeno virtual machine. 39(1), 2000.
2. J. Appavoo, K. Hui, C. A. N. Soules, R. W. W. D. D. Silva, O. Krieger, M. Auslander, D. Edelsohn, B. Gamsa, G. R. Ganger, P. McKenney, M. Ostrowski, B. Rosenburg, M. Stumm, and J. Xenidis. Enabling autonomic system software with hot-swapping. IBM Systems Journal, 42(1):60-76, 2003.
3. V. Bala, E. Duesterwald, and S. Banerjia. Dynamo: A transparent dynamic optimization system. In SIGPLAN '00 Conference on Programming Language Design and Implementation, pages 1-12, 2000.
4. F. Bellard. QEMU: a fast and portable dynamic translator. In Proc. of USENIX 2005 Annual Technical Conference, FREENIX Track, pages 41-46, 2005.
5. L. Benini, A. Bogliolo, S. Cavallucci, and B. Ricco. Monitoring system activity for OS-directed dynamic power management. In Proc. of Intl. Symp. on Low Power Electronics and Design, pages 185-190, Aug. 1998.
6. D. Bruening, T. Garnett, and S. Amarasinghe. An infrastructure for adaptive dynamic optimization. In 1st Intl. Symposium on Code Generation and Optimization (CGO-03), Mar. 2003.
7. B. M. Cantrill, M. W. Shapiro, and A. H. Leventhal. Dynamic instrumentation of production systems. In Proc. of the USENIX 2004 Annual Technical Conference, pages 15-28, Jun. 2004.
8. C. Cifuentes, B. Lewis, and D. Ungar. Walkabout - a retargetable dynamic binary translation framework. In Proc. of the Fourth Workshop on Binary Translation, Sep. 2002.
9. I. Cohen, J. S. Chase, M. Goldszmidt, T. Kelly, and J. Symons. Correlating instrumentation data to system states: A building block for automated diagnosis and control. In Proc. of the 6th Symp. on Operating Systems Design and Implementation (OSDI'04), pages 231-244, Dec. 2004.
10. G. W. Dunlap, S. T. King, S. Cinar, M. Basrai, and P. M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proc. of the 5th Symp. on Operating Systems Design and Implementation (OSDI'02), pages 211-224, Dec. 2002.
11. R. Flower, C. Luk, R. Muth, H. Patil, J. Shakshober, R. Cohn, and G. Lowney. Kernel optimizations and prefetch with the Spike executable optimizer. In Proc. of the 4th Workshop on Feedback-Directed and Dynamic Optimization (FDDO-4), 2001.
12. R. Hastings and B. Joyce. Purify: A tool for detecting memory leaks and access errors in C and C++ programs. In Proc. of the 1992 USENIX Winter Technical Conference, pages 125-138, Jan. 1992.
13. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In Proc. of the 2005 Annual USENIX Technical Conference, pages 1-15, Apr. 2005.
14. J. R. Larus and E. Schnarr. EEL: machine-independent executable editing. In PLDI '95: Proc. of the ACM SIGPLAN 1995 Conf. on Programming language design and implementation, pages 291-300, 1995.
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: Proc. of the 2005 ACM SIGPLAN Conf. on Programming language design and implementation, pages 190-200, 2005.
16. L. McVoy and C. Staelin. LMbench: Portable tools for performance analysis. In Proc. of the 1996 USENIX Technical Conference, pages 279-295, Jan. 1996.
17. J. C. Mogul. Emergent (mis)behavior vs. complex systems. In Proc. of EuroSys 2006, pages 293-304, Apr. 2006.
18. N. Nethercote and J. Seward. Valgrind: A program supervision framework. Electronic Notes in Theoretical Computer Science, 89(2):1-23, Oct. 2003.
19. M. Paleczny, C. Vick, and C. Click. The Java HotSpot™ server compiler. In USENIX Java Virtual Machine Research and Technology Symposium, pages 1-12, Apr. 2001.
20. P. S. Panchamukhi. Kernel debugging with kprobes: Insert printk's into the Linux kernel on the fly, Aug 2004. http://www-106.ibm.com/developerworks/ library/l-kprobes.html?ca=dgr-lnx%w07kprobe.
21. D. J. Pearce, P. H. J. Kelly, T. Field, and U. Harder. GILK: A dynamic instrumentation tool for the Linux kernel. In TOOLS '02: Proc. of the 12th Intl. Conf. on Computer Performance Evaluation, Modelling Techniques and Tools, pages 220-226, 2002.
22. V. Prasad, W. Cohen, F. Eigler, M. Hunt, J. Keniston, and B. Chen. Locating system problems using dynamic instrumentation. In Proc. of the 2005 Ottawa Linux Symposium, pages 49-64, Jul. 2005.
23. B. Schwarz, S. Debray, G. Andrews, and M. Legendre. PLTO: A link-time optimizer for the Intel IA-32 architecture. In Proc. of the 2001 Workshop on Binary Rewriting (WBT-2001), Sep. 2001.
24. A. Srivastava and A. Eustace. ATOM: a system for building customized program analysis tools (with retrospective). In K. S. McKinley, editor, Best of PLDI, pages 528-539. ACM, 1994.
25. A. Tamches and B. P. Miller. Fine-grained dynamic instrumentation of commodity operating system kernels. In Proc. of the 3rd Symposium on Operating Systems Design and Implementation (OSDI'99), pages 117-130, Feb. 1999.
26. K. Yaghmour and M. Dagenais. The Linux Trace Toolkit. Linux Journal, Issue no. 73, May 2000. http://www.linuxjournal.com/article/3829.