Systems and methods for providing deterministic execution

摘要

Devices and methods for providing deterministic execution of multithreaded applications are provided. In some embodiments, each thread is provided access to an isolated memory region, such as a private cache. In some embodiments, more than one private cache are synchronized via a modified MOESI coherence protocol. The modified coherence protocol may be configured to refrain from synchronizing the isolated memory regions until the end of an execution quantum. The execution quantum may end when all threads experience a quantum end event such as reaching a threshold instruction count, overflowing the isolated memory region, and/or attempting to access a lock released by a different thread in the same quantum.

主权项

1. A computer-implemented method of deterministic multithreaded execution, the method comprising:
executing one or more threads via one or more execution pipelines, wherein each thread is configured to access an isolated memory region; and in response to determining that all of the one or more threads have detected end of execution quantum events, synchronizing the isolated memory regions; wherein the end of execution quantum events include an instruction count event, wherein the instruction count event indicates execution of a predetermined number of machine instructions by a thread, and wherein the number of machine instructions includes memory instructions and arithmetic instructions.