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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Dokumenter

  • Fulltext

    Forlagets udgivne version, 414 KB, PDF-dokument

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.
OriginalsprogEngelsk
TitelReversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
RedaktørerIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
ForlagSpringer VS
Publikationsdato2020
Sider187-207
ISBN (Trykt)9783030473600
DOI
StatusUdgivet - 2020
Begivenhed12th International Conference on Reversible Computation, RC 2020 - Oslo, Norge
Varighed: 9 jul. 202010 jul. 2020

Konference

Konference12th International Conference on Reversible Computation, RC 2020
LandNorge
ByOslo
Periode09/07/202010/07/2020
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12070 LNCS
ISSN0302-9743

ID: 249395936