EP2294512B1 - Efficient Recording and Replaying of Non-Deterministic Instructions in a Virtual Machine and Cpu Therefor