Patent ID: 7120572
Filing Date: 2006-10-10
Classification: G06F

Abstract:
1. A method of operating a computer system, comprising: (A) storing a program in a memory, the program including a sequence of instructions, where each of a multiplicity of the instructions represents an operation on data of a specific data type; said each instruction having associated data type restrictions on the data type of data to be manipulated by said each instruction; (B) processing the program to determine whether execution of any instruction in the program would violate the data type restrictions for that instruction and generating a first fault signal when execution of any instruction in the program would violate the data type restrictions for that instruction; the program processing including: (C) when the first fault signal is not generated, storing in the memory a modified version of the program having the array of supplemental information that includes the data type snapshot generated for at least one of the target instructions of the program; wherein the supplemental information includes data type snapshots only for instructions determined to be target instructions.