Deterministic Serialization of Access to Shared Resources In A Multi-processor System For Code Instructions Accessing Resources In a Non-Deterministic Order

摘要

Managing access to resources shared among multiple processes within a computer system. Multiple program instances of an application are almost simultaneously executed on multiple processors for fault tolerance. The replication solution supports the recording and subsequent replay of reservation events granting the shared resources exclusive access rights to the processes, when one program code instruction may request access to a set of shared resources in a non-deterministic order.