Unified compiler framework for control and data speculation with recovery code

摘要

A method and system for scheduling computer instructions for execution as part of a compilation process in which an original computer program that defines a set of operations is compiled to produce an executable program. The method may schedule instructions in a different execution order from the order defined by the original computer program. When certain instructions are scheduled to execute before other instructions which they followed in the original computer program, the executable program that results may produce a different operational behavior than the operational behavior defined by the original computer program. The method inserts additional instructions so that an executable program that includes instructions scheduled to execute before other instructions which they followed in the original computer program produces the same set of operations as defined by the original computer program.