Specification-driven dynamic binary translation

摘要: Machine emulation allows for the simulation of a real or virtual machine, source on various host computers. A machine emulator interprets programs that are compiled emulated but normally at much reduced speed. Therefore, in order to increase executions peed such interpreted programs, may apply different dynamic optimization techniques. In our research we focus emulators machines, i.e. existing computer architectures, and particular binary translation as technique. With translation, instructions program translated during interpretation program. Both, its translator resource specific, respectively, therefore traditionally hand-written. In this thesis introduce Walkabout/Yirr-Ma framework. Walkabout, initially developed by Sun Micro systems, among other things generation instrumented from certain type specification files. We extended Walkabout with generic framework ‘Yirr-Ma’ which defines an interface implementation optimizers: instrumenting emulator’s instruction functions, Yirr-Ma observes intercepts program, applies optimizations selected traces demand. One instance Yirr-Ma’s optimizers implements specification-driven translator, major contribution thesis. At first establish two things: formal describes process abstracting classes applicable optimizations. define set functions over abstracted one function. Using formalism, then derive upper bound quality dynamically instructions. modules either generated from, parameterized by, They thus allow adaptation machines without hand-writing dependent code.