System and method for preserving instruction state-atomicity for translated program

摘要

A system or method is provided for translating a first program code to a second program code and for executing the second program code while preserving instruction state-atomicity of the first code. The first program code is executable on a computer having a first architecture adapted to a first instruction set and the second program code is executable on a computer having a memory and register state and a second architecture adapted to a second instruction set that is reduced relative to the first instruction set. A first computer translates the first code instructions to corresponding second code instructions in accordance with a pattern code that defines first code instructions in terms of second code instructions. The second code instructions for each first code instruction organized in a granular instruction sequence having in order at least two groups, a first group having a first subgroup including second code read instructions and a second subgroup including modify instructions and a second group having a third subgroup including state update instructions subject to exception, including any special write instruction required to implement the first code instruction being translated, and a fourth subgroup including state update instructions free of exception.