Reversible languages and incremental state saving in optimistic parallel discrete event simulation

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

  • Fulltext

    Final published version, 414 KB, PDF document

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.
Original languageEnglish
Title of host publicationReversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
EditorsIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
PublisherSpringer VS
Publication date2020
Pages187-207
ISBN (Print)9783030473600
DOIs
Publication statusPublished - 2020
Event12th International Conference on Reversible Computation, RC 2020 - Oslo, Norway
Duration: 9 Jul 202010 Jul 2020

Conference

Conference12th International Conference on Reversible Computation, RC 2020
LandNorway
ByOslo
Periode09/07/202010/07/2020
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12070 LNCS
ISSN0302-9743

ID: 249395936