Rollback Recovery in Session-Based Programming - Coordination Models and Languages Access content directly
Conference Papers Year : 2023

Rollback Recovery in Session-Based Programming

Abstract

To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of “undoing” the interactions which led to an undesired state. To assist this task, session-based languages can be endowed with reversibility mechanisms. In this paper we propose a language enriched with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session. Rollbacks in our language always bring the system to previous visited states and a rollback cannot bring the system back to a point prior to the last commit. Programmers are relieved from the burden of ensuring that a rollback never restores a checkpoint imposed by a session participant different from the rollback requester. Such undesired situations are prevented at design-time (statically) by relying on a decidable compliance check at the type level, implemented in MAUDE. We show that the language satisfies error-freedom and progress of a session.
Embargoed file
Embargoed file
1 4 7
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04673812 , version 1 (20-08-2024)

Licence

Identifiers

Cite

Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida. Rollback Recovery in Session-Based Programming. 25th International Conference on Coordination Languages and Models (COORDINATION), Jun 2023, Lisbon, Portugal. pp.195-213, ⟨10.1007/978-3-031-35361-1_11⟩. ⟨hal-04673812⟩
0 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More