> Now the downside. What happens at an exception? You have to back all of this optimization out.

Just what always happens at an exception. You just replay everything up until the exception occurred.