Execution guards in dynamic programming

摘要

A method for executing a machine code based on a dynamic language is disclosed. An execution guard is created as a value stored in a data structure. The value is representative of an expected condition or a set of conditions for a reusable portion of the machine code. The value representative of the expected condition(s) is compared to an actual value encountered later during execution of a portion of the machine code. The reusable machine code is executed if the actual value corresponds with the value representative of the expected condition(s). The execution guard is invalidated if any of the expected conditions changes.

主权项

1. A processor-implemented method for executing a machine code based on a dynamic language, including:
creating a guard as a value stored in a data structure and representative of an expected condition for a reusable portion of the machine code with the processor; comparing the value representative of the expected condition to an actual value encountered later during execution of a portion of the machine code; executing the machine code if the actual value corresponds with the value representative of the expected condition; and invalidating the guard if the expected condition changes as a result of executing the machine code.