Forced Replicable Execution for a Subset of Piecewise Deterministic Applications with Deterministic Message Passing
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
2014
referat
angielski
- determinism
- message passing
- replicable execution
EN 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.
186 - 192
WoS (15)