Safety net paradigm for managing two computer execution modes

   
   

A method and computer for executing the method. A source program is translated into an object program, in a manner in which the translated object program has a different execution behavior than the source program. The translated object program is executed under a monitor capable of detecting any deviation from fully-correct interpretation before any side-effect of the different execution behavior is irreversibly committed. When the monitor detects the deviation, or when an interrupt occurs during execution of the object program, a state of the program is established corresponding to a state that would have occurred during an execution of the source program, and from which execution can continue. Execution of the source program continues primarily in a hardware emulator designed to execute instructions of an instruction set non-native to the computer.

Метод и компьютер для исполнять метод. Программа источника переведена в программу предмета, in a manner в переведенная программа предмета имеет по-разному поведение исполнения чем программа источника. Переведенная программа предмета исполнена под монитором способным обнаруживать любое отступление от полн-pravil6no толкования прежде чем любой side-effect по-разному поведения исполнения irreversibly поручен. Когда монитор обнаруживает отступление, или когда interrupt происходит во время исполнения программы предмета, положение программы установленный соответствовать к положению которое произошли бы во время исполнения программы источника, и от которое исполнение может продолжать. Исполнение программы источника продолжается главным образом в эмуляторе оборудования конструированном для того чтобы исполнить инструкции комплекта инструкции не местного к компьютеру.

 
Web www.patentalert.com

< Method of administering software components using asynchronous messaging in a multi-platform, multi-programming language environment

< Method and system for accurately forecasting prices and other attributes of agricultural commodities

> Data storage medium with stepped winding core

> Method and apparatus for content repository with versioning and data modeling

~ 00130