@inproceedings{8d6171032d9641a185c2ac8f7cbbc109,
title = "Reversible languages and incremental state saving in optimistic parallel discrete event simulation",
abstract = "Optimistic parallel discrete event simulation (PDES) requires to do a distributed rollback if conflicts are detected during a simulation due to the massively parallel optimistic execution approach. When a rollback of a simulation is performed each node that is determined to be in a wrong state must be restored to one of its previous states. This can be achieved through reverse computation or by restoring a previous checkpoint. In this paper we investigate and compare both approaches, reverse computation and a variant of checkpointing, incremental state saving (also called incremental checkpointing), to restore a previous program state as part of an optimistic parallel discrete event simulation. We present a benchmark model that is specifically designed for evaluating the performance of approaches to reversibility in PDES. Our benchmarking model has mathematical properties that allow to tune the amount of arithmetic operations relative to the amount of memory operations. These tuning opportunities are the basis for our systematic performance evaluation.",
author = "Markus Schordan and Tomas Oppelstrup and Thomsen, {Michael Kirkedal} and Robert Gl{\"u}ck",
year = "2020",
doi = "10.1007/978-3-030-47361-7_9",
language = "English",
isbn = "9783030473600",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer VS",
pages = "187--207",
editor = "Irek Ulidowski and Ivan Lanese and Schultz, {Ulrik Pagh} and Carla Ferreira",
booktitle = "Reversible Computation",
note = "12th International Conference on Reversible Computation, RC 2020 ; Conference date: 09-07-2020 Through 10-07-2020",
}