MSI-SDL: A semantic description language for multi-source binary translation systems

Multi-source binary translation system (MBT) provides a multi-source platform code to a single target platform migration solution. Do not know the source code, you can achieve the multi-source platform, multi-compiled version of the executable file on another platform. In order to achieve the special semantic mapping function of the MBT system, the need for a unified, compatible with multiple target platform differences, atomic semantic description language. In this paper, we design an atomic semantic description language MSI-SDL (multi-source instruction semantic description language), the x86-32, x86-64, power platform code, to class alpha platform architecture code semantic mapping function in the migration process. MBT base on MSI-SDL are evaluated wholly and partIy across the SPEC 2006 under the Alpha multi-core environment, test results verify the MSI-SDL correctness and validity.