Research On Several Key Technologies In Binary Translation For X86₆4

With the manufacture technology of electronic component progressing rapidly and the changing of people's demands on computer application, more and more new processor architectures emerged. However,owing to the restrict of software,new processors cannot use the new technology and discard the old architecture when designing. Binary translation plays an important role in migrating software between different architectures, and has vital significance on popularizing our processor, which is designed independent innovation. Compared with the dynamic binary translation, static binary translation has the incomparable efficiency, but it cannot deal with the indirect transfer. Therefore, the mode of combining static translation and dynamic translation becomes the hot spot gradually.This thesis aims at migrating software from x86₆4 platforms to a certain Chinese-made CPU, and investigates several key techniques in binary translation. Firstly, to implement decoding code by hand is a burdensome task and error-prone, this thesis introduces a Specification Language for Encoding and Decoding (SLED), and reduces the workload of decoding x86₆4 instructions by specifying the x86₆4 instructions and generating an instruction decoder automatically. Then, through analyzing the characteristics and procedure call conventions of different processor platform, a method of datareconstruction is proposed based on the semantic mapping and stack frame balancing. This method used the technologies of register and data segment mapping and stack frame balancing to guarantee the user defined procedure in the generated target machine program accessing data correctly. An algorithm designed to recover the library function parameters and realized the passing of parameters correctly in library function call, and solved the difficult problem on parameters recover of library function, which uses a format parameter generated temporarily. Lastly, in order to deal with the indirect transfer problems which cannot be processed by the Static Binary Translation, a Dynamic supported based on many times feedback framework is designed. The Static Translation module can use the indirect transfer records produced by the Dynamic Support module to make additional translation of the source binary program, and this can form a more complete and highly performance target binary program after many times executed. This framework is extended to translation the core code of a Windows object-oriented program, which have a graphical interface.Through the tests on the related modules and the whole performance of the system using the"Ctypical"Test Set and part of SPEC2006, proved that the implementation of related key technique in this thesis is feasible, correct and effective.