Method and apparatus for preserving precise exceptions in binary translated code

A binary translation system, comprising:

• a non-optimizing foreign code execution module configured to maintain dedicated foreign state for each foreign binary operation executed allowing for the exceptions arisen to be handled precisely;
• and
• an optimizing binary translator configured to translate foreign binary operations into optimized sequences of host operations in such a way as to improve the speed of execution of the sequences;
• and
• a host CPU configured to execute the host operations;
• and
• a documentation generator configured to generate a set of documentations for optimized sequences of host operations, wherein each documentation describes operations required to calculate a corresponding foreign state for an appointed point;
• a documentation tracker configured to record host operation addresses at appointed points of the host operation sequences being executed, wherein, for each host operation address, operations required to calculate a corresponding foreign state for the host operation address are added to documentation;
• and
• a recovery mechanism configured to select a documentation in the set of documentations using a host operation address corresponding to the selected documentation, wherein the recovery mechanism is configured to perform the operations saved in the documentation to calculate the corresponding foreign state for the host operation address and to continue foreign codes execution in case of the exception arisen during the execution of the corresponding optimized host codes.