Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation

Schordan, Markus; Oppelstrup, Tomas; Jefferson, David; Barnes, P. D.

doi:10.1007/s00354-018-0038-2

Cited by 32 publications

(16 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some reversibilisation techniques work without user interaction, while others require annotation of programs. Techniques have been developed in recent years that add tracing to term rewriting systems [150] and instrument C++ programs with incremental state saving [171]. Other investigations have focused on techniques for debugging concurrent programs [121,149] and on extending the operational semantics of an irreversible language with tracing [72], thereby defining the inverse semantics of the language.…”

Section: Reversibilisation Techniquesmentioning

confidence: 99%

Foundations of Reversible Computation

Aman

Ciobanu

Glück

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, covering areas as different as low-power computing, simulation, robotics and debugging, such applications need to be supported by a clear understanding of the foundations of reversible computation. We report below on many threads of research in the area of foundations of reversible computing, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled "Reversible Computation-Extending Horizons of Computing", which took place in the years 2015-2019.

show abstract

Section: Reversibilisation Techniquesmentioning

confidence: 99%

Foundations of Reversible Computation

Aman

Ciobanu

Glück

et al. 2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The Backstroke framework [48] is a further example, supporting the vast majority of the programming language C++. This framework has been used to provide reverse execution in the field of Parallel Discrete Event Simulation (PDES) [13], as described in more recent works by Schordan et al [40][41][42]. Similar approaches have been used for debugging, e.g., based on program instrumentation techniques [7].…”

Section: Related Workmentioning

confidence: 99%

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Hoey

Lanese

Nishida

et al. 2020

Reversible Computation: Extending Horizons of Computing

View full text Add to dashboard Cite

Reversible computing allows one to run programs not only in the usual forward direction, but also backward. A main application area for reversible computing is debugging, where one can use reversibility to go backward from a visible misbehaviour towards the bug causing it. While reversible debugging of sequential systems is well understood, reversible debugging of concurrent and distributed systems is less settled. We present here two approaches for debugging concurrent programs, one based on backtracking, which undoes actions in reverse order of execution, and one based on causal consistency, which allows one to undo any action provided that its consequences, if any, are undone beforehand. The first approach tackles an imperative language with shared memory, while the second one considers a core of the functional message-passing language Erlang. Both the approaches are based on solid formal foundations.

show abstract

“…Finally, our proposal is fully orthogonal to the solutions based on reverse computing, such as the proposal by Schordan et al (2018) or the one by Cingolani et al (2017). These proposals still rely on the usage of infrequent checkpoints to optimize the delivered performance.…”

Section: Related Workmentioning

confidence: 99%

Hardware-Assisted Incremental Checkpointing in Speculative Parallel Discrete Event Simulation

Stefano

Ferracci

Santis

et al. 2019

2019 Winter Simulation Conference (WSC)

View full text Add to dashboard Cite

Nowadays hardware platforms offer a plethora of innovative facities for profiling the execution of programs. Most of them have been exploited as tools for program characterization, thus being used as kind of programexternal observers. In this article we take the opposite perspective where hardware profiling facilities are exploited to execute core functional tasks for the correct and efficient execution of speculative Parallel Discrete Event Simulation (PDES) applications. In more detail we exploit them-specifically, the ones offered by Intel x86-64 processors-to build a hardware-supported incremental checkpointing solution that enables the reduction of the event-execution cost in speculative PDES compared to the software-based counterpart. We integrated our solution in the open source ROOT-Sim runtime environment, thus making it available for exploitation.

show abstract

Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation

Cited by 32 publications

References 19 publications

Foundations of Reversible Computation

Foundations of Reversible Computation

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Hardware-Assisted Incremental Checkpointing in Speculative Parallel Discrete Event Simulation

Contact Info

Product

Resources

About