Forced Replicable Execution for a Subset of Piecewise Deterministic Applications with Deterministic Message Passing

Ensuring replicable execution of distributed computation has many possible applications in areas of fault-tolerance, debugging, and state-machine based replication. We design a message-passing algorithm which forces a deterministic behavior for a subset of piecewise-deterministic applications. The main principle of the algorithm is to affix each message with a predetermined tag, prescribing a total order for messages.