US9606924B2 - System and Method for Supporting Fast and Deterministic Execution and Simulation in Multi-Core Environments