Path-sensitive analysis for reducing rollback overheads

A computer program product comprising a non-transitory computer readable storage medium having a computer readable program stored therein, wherein the computer readable program, when executed on a computing device, causes the computing device to:

• receive, in a compiler running in the computing device, program code to be compiled to form compiled code;
• divide, by the compiler, the program code into a plurality of basic blocks;
• determine, by the compiler, a restore register set for each of the plurality of basic blocks to form a plurality of restore register sets;
• store, by the compiler, the plurality of register sets;
• insert, by the compiler, one or more variables indicating rollback points into the compiled code;
• generate, by the compiler, a rollback routine;
• insert the rollback routine into the compiled code to form modified code such that responsive to a rollback during execution of the compiled code, the rollback routine identities a restore register set from the plurality of restore register sets based on the one or more variables and restores registers identified in the identified restore register set;
• and
• provide the modified code and the stored plurality of restore register sets to a processor for execution.

An apparatus, comprising:

• a processor;
• and
• a memory coupled to the processor, wherein the memory comprises instructions which, when executed by the processor, cause the processor to
• receive, in a compiler, program code to be compiled to for compiled code;
• divide, by the compiler, the program code into a plurality of basic blocks;
• determine, by the compiler, a restore register set for each of the plurality of basic blocks to for a plurality of restore register sets;
• store, by the compiler, the plurality of register sets;
• insert, by the compiler, one or more variables indicating rollback points into the compiled code;
• generate, by the compiler, a rollback routine;
• insert the rollback routine into the compiled code to form modified code such that responsive to a rollback during execution of the compiled code, the rollback routine identifies a restore register set from the plurality of restore register sets based on the one or more variables and restores registers identified in the identified restore register set;
• and
• provide the modified code and the stored plurality of restore register sets to a processor for execution.

A compiler apparatus having a processor and a memory storing executable instructions comprising:

• means for receiving program code to be compiled to form compiled code;
• means for dividing the program code into a plurality of basic blocks;
• means for determining a restore register set for each of the plurality of basic blocks to form a plurality of restore register sets;
• means for storing the plurality of register sets;
• means for inserting one or more variables indicating rollback points into the compiled code;
• means for generating a rollback routine;
• and
• means for inserting the rollback routine into the compiled code such that responsive to a rollback during execution of the compiled code, the rollback routine identities a restore register set from the plurality of restore register sets based on the one or more variables and restores registers identified in the identified restore register set.