Precise Interrupt (Precise Exception)
An interrupt or exception is called precise if the saved processor state corresponds with the sequential model of program execution where one instruction execution ends before the next begins.
Precise exception means that all instructions before the faulting instruction are committed and those after it can be restarted from scratch.
If an interrupt occurred, all instructions that are in program order before the interrupt signaling instruction are committed, and all later instructions are removed.
Depending on the architecture and the type of exception, the faulting instruction should be committed or removed without any lasting effect.