Checkpoint-based rollback recovery in session programming

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 pa...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Logical methods in computer science Ročník 21, Issue 1
Hlavní autoři: Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko
Médium: Journal Article
Jazyk:angličtina
Vydáno: Logical Methods in Computer Science e.V 10.01.2025
Témata:
computer science - logic in computer science
computer science - programming languages
ISSN:1860-5974, 1860-5974
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
AbstractList 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.
Author Tiezzi, Francesco
Mezzina, Claudio Antares
Yoshida, Nobuko
Author_xml – sequence: 1
  givenname: Claudio Antares
  surname: Mezzina
  fullname: Mezzina, Claudio Antares
– sequence: 2
  givenname: Francesco
  surname: Tiezzi
  fullname: Tiezzi, Francesco
– sequence: 3
  givenname: Nobuko
  surname: Yoshida
  fullname: Yoshida, Nobuko
BookMark eNpNkE1LAzEQhoNUsNb-AG971MNqMtlks96k-FEoeNFzmHxsTbu7KUkR-u_dVhHnMsM7zAPzXJLJEAdPyDWjd5WERt13vc0lsBv2ALdAQZyRKVOSlqKpq8m_-YLMc97QsThnCuSUNItPb7e7GIZ9aTB7V6TYdQbttkjexi-fDkUYiuxzDnEodimuE_Z9GNZX5LzFLvv5b5-Rj-en98VruXp7WS4eV6VlgokSjeHgK6VQKMqZdcJWxlUGhEcjvIUKHK8ZbQEdlwzBUEXHXV1L1ViDfEaWP1wXcaN3KfSYDjpi0KcgprXGtA-28xrGc-lFzV3djmIYSjW-aYAK2jZe1SOL_bBsijkn3_7xGNUnlfqocgRppkEfVfJvpEFo8w
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.46298/lmcs-21(1:2)2025
DatabaseName CrossRef
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList CrossRef
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1860-5974
ExternalDocumentID oai_doaj_org_article_21a26e573d7f4621a68318b2050f9e87
10_46298_lmcs_21_1_2_2025
GroupedDBID .4S
.DC
29L
2WC
5GY
5VS
AAFWJ
AAYXX
ADBBV
ADMLS
ADQAK
AENEX
AFPKN
ALMA_UNASSIGNED_HOLDINGS
ARCSS
BCNDV
CITATION
EBS
EJD
FRP
GROUPED_DOAJ
J9A
KQ8
MK~
ML~
M~E
OK1
OVT
P2P
TR2
TUS
XSB
ID FETCH-LOGICAL-c1515-abb32e488a58031cd5c4bd4b25eab5ec242d3710f2ad361a2b0805ea77689cba3
IEDL.DBID DOA
ISSN 1860-5974
IngestDate Fri Oct 03 12:53:36 EDT 2025
Sat Nov 29 06:21:52 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1515-abb32e488a58031cd5c4bd4b25eab5ec242d3710f2ad361a2b0805ea77689cba3
OpenAccessLink https://doaj.org/article/21a26e573d7f4621a68318b2050f9e87
ParticipantIDs doaj_primary_oai_doaj_org_article_21a26e573d7f4621a68318b2050f9e87
crossref_primary_10_46298_lmcs_21_1_2_2025
PublicationCentury 2000
PublicationDate 2025-01-10
PublicationDateYYYYMMDD 2025-01-10
PublicationDate_xml – month: 01
  year: 2025
  text: 2025-01-10
  day: 10
PublicationDecade 2020
PublicationTitle Logical methods in computer science
PublicationYear 2025
Publisher Logical Methods in Computer Science e.V
Publisher_xml – name: Logical Methods in Computer Science e.V
SSID ssj0000331826
Score 2.3272133
Snippet To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions...
SourceID doaj
crossref
SourceType Open Website
Index Database
SubjectTerms computer science - logic in computer science
computer science - programming languages
Title Checkpoint-based rollback recovery in session programming
URI https://doaj.org/article/21a26e573d7f4621a68318b2050f9e87
Volume 21, Issue 1
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 1860-5974
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000331826
  issn: 1860-5974
  databaseCode: DOA
  dateStart: 20040101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 1860-5974
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000331826
  issn: 1860-5974
  databaseCode: M~E
  dateStart: 20040101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELZQxcDCG1Fe8sAASFbrV5ywQdWKASoGQN0svyKq0rRqCxILv51zkqIysbBEyutkfXeXu8927hA654lIvPQpiWtARCjuiaVMEZVb7y33XJallF7uVb-fDgbZ40qrr7gnrCoPXAHXYtSwJEgQonKRwFmSghla1pbtPAtp-R85ZD0rZKr8BnMeE-dqGRNey9LW29jNCaMX9JpdAuOXvwLRSr3-MrD0ttFmnRHim2okO2gtFLtoa9ltAdfOt4eyzmtwo-lkWCxIjD0ez0CH1rgRjqwWTPITDws8rwpt4Hrj1RhC0z567nWfOnekbnxAXMwviLGWswCuZWQKTue8dMJ6YZkMxsrgIKx6DqlBzoznCQBkAQG4p4A7ZM4afoAaxaQIhwgzoAPSCq6spcI7ZRhIkwI0ARgmzjTR1RIFPa3qW2jgBSVkOkKmGdVUMx0ha6LbiNPPg7E0dXkBFKZrhem_FHb0H0KO0UYcUJwLoe0T1FjM3sMpWncfi-F8dlbaAhwfvrrfcQC4Rw
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Checkpoint-based+rollback+recovery+in+session+programming&rft.jtitle=Logical+methods+in+computer+science&rft.au=Mezzina%2C+Claudio+Antares&rft.au=Tiezzi%2C+Francesco&rft.au=Yoshida%2C+Nobuko&rft.date=2025-01-10&rft.issn=1860-5974&rft.eissn=1860-5974&rft.volume=21%2C+Issue+1&rft_id=info:doi/10.46298%2Flmcs-21%281%3A2%292025&rft.externalDBID=n%2Fa&rft.externalDocID=10_46298_lmcs_21_1_2_2025
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1860-5974&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1860-5974&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1860-5974&client=summon