公开(公告)号：US09606924B2

公开(公告)日：2017-03-28

申请号：US13530802

申请日：2012-06-22

申请人： Hakan Zeffer

发明人： Hakan Zeffer

IPC分类号： G06F9/30 ,  G06F12/08 ,  G06F11/36

CPC分类号： G06F12/0842 ,  G06F11/3612

摘要： The exemplary embodiments described herein relate to supporting fast and deterministic execution and simulation in multi-core environments. Specifically, the exemplary embodiments relate to systems and methods for implementing determinism in a memory system of a multithreaded computer. A exemplary system comprises a plurality of processors within a multi-processor environment, a cache memory within the processor and including metadata, and a hardware check unit performing one of a load check and a store check on the metadata to detect a respective one of a load metadata mismatch and a store metadata mismatch, and invoking a runtime software routine to order memory references upon a detection of one of the load metadata mismatch and the store metadata mismatch.