[2013-PPT]Fast Dynamic Binary Translation for the Kernel.pptxVIP

Fast Dynamic Binary Translationfor the KernelPiyus Kedia and Sorav BansalIIT DelhiApplications of Dynamic Binary Translation (DBT) OS Virtualization Testing and Verification of Compiled Programs Profiling and Debugging Software Fault Isolation Dynamic Optimizations Program Shepherding … and moreA Short Introduction toDynamic Binary Translation (DBT)StartDispatcherBlock terminates with branch to dispatcher instructionNative codeTranslate BlockExecute BlockCode CacheStartNative codeDispatchercached?noTranslate BlockyesStore in code cacheExecute fromCode CacheDBT OverheadsUser-level DBT well understoodNear-native performance for application-level workloadsDBT for the Kernel requires more mechanismsEfficiently handling exceptions and interruptsCase studies:VMware’s Software VirtualizationDynamoRio-Kernel (DRK) [ASPLOS ’12]Interposition on Starting (Entry) PointsStartStartNative codeDispatchercached?noTranslate BlockyesStore in code cacheExecute fromCode CacheIDT now points to the dispatcherInterrupt Descriptor TableNative codeDispatchercached?noTranslate BlockyesStore in code cacheExecute fromCode CacheWhat does the dispatcher do?Before transferring control to the code cache, the dispatcher:Converts interrupt state on stack to native values (e.g., PC)What does the dispatcher do?CS registerCS registerNative PCPCFlagsFlagsSPSPBefore transferring control to the code cache, the dispatcher:Converts interrupt state on stack to native values (e.g., PC)Guest StackGuest StackWhat does the dispatcher do?Before transferring control to the code cache, the dispatcher:Converts interrupt state on stack to native values (e.g., PC)2. Emulates Precise ExceptionsWhat does the dispatcher do?Precise ExceptionsBefore the execution of an exception handler, all instructions up to the executing instruction should have executed, and everything afterwards must not have executed.Before transferring control to the code cache, the dispatcher:Converts interrupt state on stack to native values (e