1Dyninst: An API for Runtime Code Patchingpresented bySkylar Byrd Rampersaudhttp://www.cs.umd.edu/~byrd/dyninst.pptThe First Slide• Goal: change a program while it is executing– Without recompiling, relinking or restarting• Applications– Dynamic performance measurement– Performance steering in large-scale simulations2Process Model• A program can attach to a running program• Create a new bit of code• Insert it into the program• Can augment or change subroutinesDyninst is Not• An instrumenting compiler• Adding binary code to an executable before it is run• Machine code (assembly language)3Terminology• Point - a location where code can be inserted• Snippet – representation of executable code to be inserted• Thread – thread of execution• Image – the static on-disk programAbstractions43 Main Interface Components• Classes to manipulate executing code– BPatch, BPatch_thread• Classes to access the original image and data structures– BPatch_module, BPatch_function• Classes to construct and insert new code snippets– BPatch_point, BPatch_snippetStatements to be Added• A collection of BPatch_snippet instances (and subclasses representing specific types of code)– Collection forms a direct acyclic graph– Abstract Syntax Tree created from leaf to root5Types• The API includes a simple type system– Integers, strings, floats– Support for aggregate typesEvents• API provides notification of application events• Also provides a way to query for specific events6How Does It Work?• Mutator process uses debugger-style OS functions to access memory and events of running process• Translate snippets into machine code• Copy code into an array in the running process• Uses “trampolines” to for transferring execution to inserted codeTrampolines• Replace some instructions with a branch to a base trampoline• Base trampoline branches to a mini-trampoline• Base trampoline executes the original instructions once execution returns from the mini7Mini-trampoline• Saves registers and other state• Contains code for one snippet• Can chain these together to include multiple snippets at one point• Branches back to the base trampoline at the end of the final snippetTrampolines Illustrated8Three Example Programs• Procedure call counting• RETEE• Conditional breakpointsProcedure Call Counting• Mutator creates an instance of the BPatchclass• Identifies process (running or not)– Creates new thread or new process• Defines snippets and points– Instrumenting a single function may require multiple points• Creates a new variable in the target space9Counting Procedure CallsRETEE• Uses the one-time code feature of the API10Conditional Breakpoints• Very slow in a traditional debugger• Results averaged over 20 runs of the programOther Applications• Online critical path analysis in SMPs•Harmony– Use runtime observations to automatically tune programs• Eliminate redundant synchronization in parallel programs• Other debugging and performance monitoring tools11Related Work• Binary editing tools•‘C– Allows a program to define a set of C-like statements and call them• Instrumenting compilers• Los Alamos DebuggerConclusion• Dyninst is a simple runtime API to allow creation and patching of programs• Ability to create portable tools by providing machine-independent abstractions• Implemented Platforms– Intel x86, Sun Sparc, Compaq Alpha, MIPS, IBM Power•
View Full Document