Reversibility with Holes - Sound Programming of Adaptive Dependable Embedded Systems
Communication Dans Un Congrès Année : 2024

Reversibility with Holes

Résumé

According to Landauer’s principle, any non-reversible system can be made reversible -that is, capable of undoing its actions- by keeping information about the past of the computation. In the area of concurrent and distributed systems, this often takes the form of memories. Memories are special devices that keep track of past states of a system execution. Memories can be looked up to restore past states, upon necessity. This paper investigates and lays down ideas on how to achieve reversibility in systems that are subject to events that, as a side effect, erase some memories, creating then holes in the structure of memories. The chosen application area is concurrent and distributed systems, where the events erasing memories are the failure of nodes.
Fichier principal
Vignette du fichier
published.pdf (328.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence
Copyright (Tous droits réservés)

Dates et versions

hal-04610283 , version 1 (12-06-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. Reversibility with Holes. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.69 - 74, ⟨10.1007/978-3-031-62076-8_5⟩. ⟨hal-04610283⟩
135 Consultations
20 Téléchargements

Altmetric

Partager

More