Pin (computer program): Difference between revisions
m fixed link to DAB page |
No edit summary |
||
Line 16: | Line 16: | ||
Pin was originally created as a tool for computer architecture analysis, but its flexible API and an active community (called "Pinheads") have created a diverse set of tools for security, emulation and parallel program analysis. |
Pin was originally created as a tool for computer architecture analysis, but its flexible API and an active community (called "Pinheads") have created a diverse set of tools for security, emulation and parallel program analysis. |
||
Pin is developed and supported by Intel, and is supplied free of charge for non-commercial use together with a kit of reference tools. |
Pin is proprietary software developed and supported by Intel, and is supplied free of charge for non-commercial use together with a kit of reference tools. |
||
==Overview== |
==Overview== |
Revision as of 17:22, 11 December 2010
Developer(s) | Intel |
---|---|
Stable release | 2.8
/ March 2010, 11 |
Operating system | Linux, Windows |
Platform | IA-32, x86-64, IA-64 |
Type | Instrumentation framework, Profiler |
License | Proprietary, free for non-commercial use |
Website | www.pintool.org |
Pin is a dynamic binary instrumentation framework for the IA-32, x86-64 and IA-64 instruction set architectures that enables the creation of dynamic program analysis tools. Some tools built with Pin are Intel Parallel Inspector, Intel Parallel Amplifier and Intel Parallel Advisor.
The tools created using Pin, called Pintools, can be used to perform program analysis on user space applications in Linux and Windows[1]. As a dynamic binary instrumentation tool, instrumentation is performed at run time on the compiled binary files. Thus, it requires no recompiling of source code and can support instrumenting programs that dynamically generate code.
Pin was originally created as a tool for computer architecture analysis, but its flexible API and an active community (called "Pinheads") have created a diverse set of tools for security, emulation and parallel program analysis.
Pin is proprietary software developed and supported by Intel, and is supplied free of charge for non-commercial use together with a kit of reference tools.
Overview
Pin performs instrumentation by taking control of the program just after it loads into memory. It then just-in-time recompiles (JIT) small sections of binary code just before they are run. New instructions, which perform the analysis, are added to the recompiled code. These new instructions come from the Pintool. A large array of optimization techniques are used to obtain the lowest possible running time and memory use overhead. As of June 2010, Pin's average base overhead is 30 percent (without running a pintool)[2].
Pin is a platform for creating analysis tools. A pin tool comprises instrumentation, analysis and callback routines. Instrumentation routines are called when code that has not yet been recompiled is about to be run, and enable the insertion of analysis routines. Analysis routines are called when the code they are associated with is run. Callback routines are called when specific conditions are met, or when a certain event has occurred. Pin provides an extensive application programming interface (API) for instrumentation at many abstraction levels, from one instruction to an entire binary module. It also supports callbacks for many events such as library loads, system calls, signals/exceptions and thread creation events.
Features
Instrumentation modes
Pin supports two modes of instrumentation called JIT mode and Probe mode. JIT mode supports all features of Pin, while Probe mode supports a limited feature set but is far faster, adding almost no overhead to program running time. JIT mode uses a just-in-time compiler to recompile all program code and insert instrumentation, while Probe mode uses code trampolines for instrumentation.
Platform independence
Pin was designed for tool portability, and despite JIT compiling from one ISA to the same ISA (and not using a single intermediate representation for all code), most of its APIs are architecture and operating system independent. It was also designed to be portable itself, carefully isolating platform-specific code from generic code, allowing the fast adaptation of Pin to new platforms. Approximately half of the code is generic and the rest is either architecture or OS dependent.[3]
Optimizations
Pin uses many techniques to optimize instrumentation and analysis code, using techniques such as inlining, liveness analysis and smart register spilling. Pin performs these optimizations automatically whenever possible, without needing users to insert any extra code to allow inlining. Naturally, some optimizations still require user hints, and some code structures are easier to inline than others. Direct linking of jitted code sections, a technique called trace linking, and register binding reconciliation, which minimizes register spilling and remapping, are also used.
Ease of use
Pin’s API and implementation are focused on making pin tools easy to write. Pin takes full responsibility for assuring that the instrumentation code from the pin tool does not affect the application state. Also, the API enables instrumentation code to request many pieces of information from Pin. For example, the instrumentation code in the pin tool can use the Pin API to get the memory address being accessed by an instruction, without having to examine the instruction in detail.
Tools
There are many Pintools that are used for varying tasks.
- Components of Intel Parallel Studio make heavy use of pintools for memory debugging, performance analysis, multithreading correctness analysis and parallelization preparation.
- Intel Software Development Emulator is a pintool that enables the development of applications using instruction set extensions that are not currently implemented in hardware.
- CMP$IM is a cache profiler built using pin. [4]
- PinPlay enables the capture and deterministic replay of the running of multithreaded programs under pin. Capturing the running of a program helps developers overcome the non-determinism inherent in multithreading.[5]
- Pin itself comes with many example tools that make use of its abilities. These tools are licensed under a BSD-like license.
See also
Notes
- ^ Dynamic Program Analysis of Microsoft Windows Applications
- ^ Analyzing Parallel Programs with Pin
- ^ Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation
- ^ CMP$im: A Pin-Based On-The-Fly Multi-Core Cache Simulator
- ^ PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs
References
- Moshe Bach, Mark Charney, Robert Cohn, Elena Demikhovsky, Tevi Devor, Kim Hazelwood, Aamer Jaleel, Chi-Keung Luk, Gail Lyons, Harish Patil, and Ady Tal (March 2010). "Analyzing Parallel Programs With Pin". Computer. 43 (3). IEEE: 34–41.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood (June 2005). "Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation" (PDF). Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation. Chicago, Illinois, USA: ACM. pp. 190–120.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help)CS1 maint: multiple names: authors list (link) - Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert Cohn, Kim Hazelwood, Vladimir Vladimirov, Moshe Bach (April 2010). "Dynamic Program Analysis of Microsoft Windows Applications" (PDF). International Symposium on Performance Analysis of Software and Systems (ISPASS). White Plains, NY. pp. 2–12.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help)CS1 maint: multiple names: authors list (link)
External Links
- Pin: a dynamic binary instrumentation tool home page
- Pinheads, a mailing list for the Pin users community