Research On Design And Optimization Of Binary Translation System

Binary translation is an important technique to resolve the problem of code migration. The research on binary translation and the related optimization, have significant meanings in many fields, such as legacy code migration, hardware design, program performance improvement, network application, and system security, so this research becomes popular in compiler technique field.The research background, the related concepts, and some means of binary translation are introduced first. Then two binary translation systems, Bitran and DigitalBridge, which are both developed by us, are introduced, followed by deep research on several optimization techniques of system design. This dissertation also raises two techniques to improve the performance of binary translation system: condition code emulation optimization, and register allocation optimization. At last, this dissertation contrasts the performance of Bitran and DigitalBridge, and makes elementary study on binary translation framework combining static translation and dynamic translation methods.The main contributes of this dissertation are:1. We design and implement two binary translation systems: Bitran static binary translation system and DigitalBridge dynamic translation system, which have tried all the three means of binary translation;2. We propose several optimization techniques of binary translation system design, including the information transfer optimization, context switch, code connection, native code cache management, and so on. All the techniques have improved the performance of DigitalBridge system;3. We raise two condition codes emulation optimization algorithms, according to interpreting execution and dynamic translation execution respectively:(1) Instant Computing combined with Delayed Computing algorithm, which optimizes the condition codes process in interpreting execution;(2) Data Flow Analysis combined with Delayed Computing algorithm, which optimizes the condition codes process in dynamic translation execution; Both algorithms are proved by DigitalBridge system to be effectively reduced the number of the instructions emulating the condition codes.