Precise Exceptions
- An exception in an out-of-order or multi-pipe
system presents a state inconsistent with sequential code execution
- Need extra state to roll back the pipe
to appear as if it's sequential up to the point of the exception
- Pick up at proper point afterwards