Optimizing intermediate representation of script code for atomic execution

A method, comprising:

• storing a first state of execution of a script code in a memory of a computer, the first state being a state of execution of the script code prior to beginning the execution of a transaction, the transaction being a unit of intermediate code in an intermediate representation of the script code, the unit of intermediate code including (i) a checkpoint that evaluates to a first value or a second value and (ii) the intermediate code associated with the checkpoint, the intermediate code associated with the checkpoint including:
• a first set of code associated with a variable on which the checkpoint is operating, the first set of code causing the variable to evaluate to the first value or the second value and executing prior to execution of the checkpoint, and
• a second set of code that is dependent on a value of the variable;
• executing, at the computer, the transaction;
• determining, at the computer, whether the checkpoint evaluated to the second value;
• responsive to a determination that the checkpoint evaluated to the second value,
• aborting the execution of the transaction, and
• reverting a current state of execution of the script code to the first state.

A system, comprising:

• a processor;
• an intermediate representation generation module working in cooperation with the processor to generate an intermediate representation of a script code, the intermediate representation including intermediate code representing the script code;
• an intermediate representation analysis module working in cooperation with the processor to identify a unit of intermediate code in the intermediate representation, the unit of intermediate code including (i) a checkpoint that evaluates to a first value or a second value and (ii) the intermediate code associated with the checkpoint, the intermediate code associated with the checkpoint including:
• a first set of code associated with a variable on which the checkpoint is operating, the first set of code causing the variable to evaluate to the first value or the second value and executing prior to execution of the checkpoint, and
• a second set of code that is dependent on a value of the variable;
• a transaction generation module that works in cooperation with the processor to regenerate the unit of intermediate code as a transaction;
• and
• a transactional memory that works in cooperation with the processor, to execute the transaction, the executing the transaction including
• causing, upon execution of the intermediate representation, to abort execution of the unit of intermediate code when the checkpoint evaluates to the second value, and
• causing, upon abortion of the execution of the unit of intermediate code, a current state of execution of the intermediate representation to revert to a state that existed before the beginning of execution of the unit of intermediate code.