PinOS: A programmable framework for whole-system dynamic instrumentation

VEE'07: Proceedings of the 3rd International Conference on Virtual Execution Environments

Volumn , Issue , 2007, Pages 137-147

  Bungale, Prashanth P ^a,b   Luk, Chi Keung ^b  

^a HARVARD UNIVERSITY   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

Binary translation; Dynamic instrumentation; Program analysis tools; Virtualization; Whole system

Indexed keywords

COMPUTER MONITORS; COMPUTER OPERATING SYSTEMS; PROCESS MONITORING; PROGRAM INTERPRETERS; SOFTWARE DESIGN; USER INTERFACES;

BINARY TRANSLATION; DYNAMIC INSTRUMENTATION; PROGRAM ANALYSIS TOOLS;

VIRTUAL REALITY;

EID: 35448973319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1254810.1254830     Document Type: Conference Paper

References (31)

1. BALA, V., DUESTERWALD, E., AND BANERJIA, S. Dynamo: A transparent dynamic optimization system. In Proc. 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (June 2000), pp. 1-12.
2. BELLARD, F. QEMU, a Fast and Portable Dynamic Translator. In Proc. 2005 USENIX Annual Technical Conference - FREENIX Track (2005), pp. 41-46.
3. BHANSALI, S., CHEN, W.-K., D. JONG, S., EDWARDS, A., MURRAY, R., DRINIC, M., MIHOCKA, D., AND CHAU, J. Framework for Instruction-level Tracing and Analysis of Program Execution. In Proceedins of the Second International Conference on Virtual Execution Environments (June 2006), pp. 154-163.
4. BRUENING, D., GARNETT, T., AND AMARASINGHE, S. An Infrastructure for Adaptive Dynamic Optimizations. In Proc. International Symposium on Code Generation and Optimization (2003), pp. 265-275.
5. BUCK, B., AND HOLLINGSWORTH, J. K. An API for Runtime Code Patching. In International Journal of High Performance Computing Applications (2000), vol. 14, pp. 317-329.
6. BUNGALE, P. P., SRIDHAR, S., AND SHAPIRO, J. S. Supervisor-Mode Virtualization for x86 in VDebug. Tech. Rep. SRL2004-01, Johns Hopkins University Systems Research Laboratory, May 2004.
7. CANTRILL, B. M., SHAPIRO, M. W., AND LEVENTHAL, A. H. Dynamic Instrumentation of Production Systems. In Proc. 2004 USENIX Annual Technical Conference.
8. CENTER, L. T. KProbes. http://sourceware.org/systemtap/kprobes/.
9. CHEN, W. K., LERNER, S., CHAIKEN, R., AND GILLIES, D. M. Mojo: A Dynamic Optimization System. In Proc. ACM Workshop on Feedback-directed and Dynamic Optimization (FDDO-3) (Dec 2000).
10. CIFUENTES, C., LEWIS, B., AND UNG, D. Walkabout-A Retargetable Dynamic Binary Translation Framework. In Proc. 2002 Workshop on Binary Translation (September 2002).
11. CMELIK, B., AND KEPPEL, D. Shade: A fast instruction- set simulator for execution profiling. In ACM SIGMETRICS Conf. on the Measurement and Modeling of Computer Systems (1994), pp. 128-137.
12. DEVINE, S., BUGNION, E., AND ROSENBLUM, M. Virtualization System Including a Virtual Machine Monitor for a Computer with a Segmented Architecture. In United States Patent 6,397,242 (May 2002).
13. DONG, Y., LI, S., MALLICK, A., NAKAJIMA, J., TIAN, K., XU, X., YANG, F., AND YU, W. Extending Xen with Intel Virtualization Technology. In Intel Technology Journal (August 2006), vol. 10.
14. DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., PRATT, I., WARFIELD, A., BARHAM, P., AND NEUGEBAUER, R. Xen and the Art of Virtualization. In Proc. 2003 ACM Symposium on Operating Systems Principles (Oct. 2003), pp. 164-177.
15. INTEL. Pin User Manual. http://rogue.colorado.edu/Pin.
16. KEVIN LAWTON. Bochs IA-32 Emulator Project. http://bochs.sourceforge.net.
17. KIRIANSKY, V., BRUENING, D., AND AMARASINGHE, S. Secure Execution via Program Shepherding. In 11th USENIX Security Symposium (August 2002).
18. KUMAR, N., CHILDERS, B. R., AND SOFFA, M. L. LOW overhead program monitoring and profiling. In PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (New York, NY, USA, 2005), ACM Press, pp. 28-34.
19. LUK, C. K., COHN, R. S., MUTH, R., PATIL, H., KLAUSER, A., P. G. LOWNEY, WALLACE, S., REDDI, V. J., AND HAZELWOOD, K. Pin: Building Customized Program Analysis Tools With Dynamic Instrumentation. In Programming Languages Design and Implementation 2005 (June 2005), pp. 190-200.
20. MAGNUSSON, P. S., CHRISTENSSON, M., ESKILSON, J., FORSGREN, D., HLLBERG, G., HGBERG, J., LARSSON.F., MOESTEDT, A., AND WERNER, B. Simics: A Full System Simulation Platform. In IEEE Computer (Feb 2002), pp. 50-58.
21. MOORE, R. A Universal Dynamic Trace for Linux and other Operating Systems. In Proc. 2001 USENIX Annual Technical Conference - Freenix Track.
22. NEIGER, G., SANTONI, A., LEUNG, F., RODGERS, D., AND UHLIG, R. Intel Virtualization Technology: Hardware Support for Efficient Processor Virtualization. In Intel Technology Journal (August 2006), vol. 10.
23. NETHERCOTE, N. Dynamic Binary Analysis and Instrumentation. PhD thesis, University of Cambridge, November 2004.
24. PRASAD, V., COHEN, W., EIGLER, F. C., HUNT, M., KENISTON, J., AND CHEN, B. Locating System Problems Using Dynamic Instrumentation. In Proc. 2005 Ottawa Linux Symposium (OLS) (Jul 2005).
25. SCOTT, K., KUMAR, N., VELUSAMY, S., CHILDERS, B., DAVIDSON, J., AND SOFFA, M. Retargetable and Reconfigurable Software Dynamic Translation. In ACM SIGMICRO Int'l. Conf. on Code Generation and Optimization (March 2003).
26. SRIDHAR, S., SHAPIRO, J. S., BUNGALE, P. P., AND NORTHUP, E. HDTrans: An Open Source, Low-Level Dynamic Instrumentation System. In Proc. 2006 International Conference on Virtual Execution Environments (VEE) (June 2006).
27. SRIVASTAVA, A., AND EUSTACE, A. ATOM: A system for building customized program analysis tools. In Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design and Implementation (1994), pp. 196-205.
28. TAMCHES, A., AND MILLER, B. P. Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels. In Proc. 1999 Symposium on Operating Systems Design and Implementation (OSDI).
29. WHITAKER, A., SHAW, M., AND GRIBBLE, S. D. Scale and Performance in the Denali Isolation Kernel. In Proc. 2002 ACM Symposium on Operating System Design and Implementation (OSDI) (Dec. 2002).
30. WITCHEL, E., AND ROSENBLUM, M. Embra: Fast and exible machine simulation. In Measurement and Modeling of Computer Systems (1996), pp. 68-79.
31. YAGHMOUR, K., AND DAGENAIS, M. R. Measuring and Characterizing System Behavior Using Kernel-Level Event Logging. In Proc. 2000 USENIX Annual Technical Conference.