Compile method, exception handling method and computer

A method for executing a precise exception during execution of a program, said method comprising the steps of:

• (a) issuing an interrupt during the execution of said program in response to an occurrence of the exception for an instruction of the program;
• (b) determining from a processing state interrupted by said interrupt whether the instruction at the interrupt is within an interrupt inhibited section, the interrupt inhibited section defined as a result of an instruction that has a side effect or may cause an exception being moved ahead of one or more instructions that have side effects observable from outside at execution of the program, the defined interrupt inhibited section comprising said moved instruction through a predetermined instruction before said instruction has been moved, each instruction after the moved instruction through said predetermined instruction having a side effect;
• (c) generating a branch instruction for handling the exception after the execution of the interrupt inhibited section if the instruction at the interrupt is within the interrupt inhibited section;
• and
• (d) restarting the execution of instructions within the interrupt inhibited section following the instruction at the interrupt, wherein side effects of the instructions in the interrupt inhibited section are preserved by enabling execution of the instructions before the handling of the exception.

A computer comprising a compiler for compiling a program which is enabled for precise exception handling during execution of the program, said compiler comprising of:

• optimization processing means for re-ordering a plurality of instructions included in said program during optimization of said program;
• and
• interrupt inhibited section definition means for defining a plurality of interrupt inhibited sections in the program, each interrupt inhibited section being defined as a result of an instruction that has a side effect or may cause an exception being moved ahead of one or more instructions that have side effects observable from outside at execution of the program, each defined interrupt inhibited section comprising said moved instruction through a predetermined instruction before said instruction has been moved, each instruction after the moved instruction through said predetermined instruction having a side effect;
• and
• registration means for registering the plurality of interrupt inhibited sections with the program for enabling precise exception handling during execution of the program, wherein the side effects of the instructions in each interrupt inhibited section are preserved by enabling execution of the instructions before the handling of the side effect or the exception of the moved instruction during execution of the program.

A computer for executing a precise exception during execution of a program, said computer comprising:

• means for issuing an interrupt during execution of the program in response to an occurrence of an exception for an instruction of the program;
• and
• an interrupt handler comprising:
• (i) determining means for determining from a processing state interrupted by said interrupt whether the instruction at the interrupt is within an interrupt inhibited section the interrupt inhibited section defined as a result of an instruction that has a side effect or may cause an exception being moved ahead of one or more instructions that have side effects observable from outside at execution of the program, the defined interrupt inhibited section comprising said moved instruction through a predetermined instruction before said instruction has been moved, each instruction after the moved instruction through said predetermined instruction having a side effect;
• (ii) generating means for generating a branch instruction for handling the exception after execution of the interrupt inhibited section if the instruction at the interrupt is within the interrupt inhibited section;
• and
• (iii) means for restarting the execution of instructions within the interrupt inhibited section following the instruction at the interrupt, wherein side effects of the instructions in the interrupt inhibited section are preserved by enabling execution of the instructions before the handling of the exception.

A storage medium for storing a compiler for causing a computer to compile a program which is enabled for precise exception handling during execution of the program, said compiler comprising:

• (a) re-ordering a plurality of instructions included in said program during optimization of the program;
• and
• (b) defining a plurality of interrupt inhibited sections in the program, each interrupt inhibited section being defined as a result of an instruction that has a side effect or may cause an exception being moved ahead of one or more instructions that have side effects observable from outside at execution of the program, each defined interrupt inhibited section comprising said moved instruction through a predetermined instruction before said instruction has been moved, each instruction after the moved instruction through said predetermined instruction having a side effect;
• and
• (c) registering the plurality of interrupt inhibited sections with the program for enabling precise exception handling during execution of the program, wherein the side effects of the instructions in each interrupt inhibited section are preserved by enabling execution of the instructions before the handling of the side effect or the exception of the moved instruction during execution of the program.

A storage medium for storing a program which is enabled to execute a precise exception during execution of the program, said program comprising the steps of:

• (a) issuing an interrupt during execution of the program in response to an occurrence of an exception for an instruction of the program;
• (b) determining from a processing state interrupted by said interrupt whether the instruction at the interrupt is within the interrupt inhibited section, the interrupt inhibited section defined as a result of an instruction that has a side effect or may cause an exception being moved ahead of one or more instructions that have side effects observable from outside at execution of the program, the defined interrupt inhibited section comprising said moved instruction through a predetermined instruction before said instruction has been moved, each instruction after the moved instruction through said predetermined instruction having a side effect;
• (c) generating a branch instruction for handling the exception after execution of the interrupt inhibited section if said instruction at the interrupt is within said interrupt inhibited section;
• and
• (d) restarting execution of instructions within the interrupt inhibited section following the instruction at the interrupt, wherein side effects of the instructions in the interrupt inhibited section are preserved by enabling execution of the instructions before the handling of the exception.