Patent ID: 9027010
Filing Date: 2015-05-05
Classification: G06F

Abstract:
1. A machine-readable non-transitory storage medium having instructions therein, which when executed by a machine, cause the machine to perform a method, the method comprising: speculatively generating compiled code for portions of a source code associated with a key, wherein a code compiled from the source code includes the speculatively generated compiled code; executing the code during runtime with a runtime state, wherein the runtime state includes one or more hash data indexed with one or more keys including the key, wherein the key has meta data describing assertions of one or more global properties of the key related to the hash data in the runtime state; updating the meta data of the key to maintain consistency between the global properties of the key and the runtime state; determining if the speculatively generated compiled code associated with the key is invalidated by the updated meta data of the key to guard the speculatively generated compiled code for soundness without incurring lookup operations on the hash data; and if the speculatively generated compiled code is invalidated, updating the code for the portions of the source code associated with the key, wherein the updated code is executed without executing the speculatively generated compiled code.