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žené v:
Podrobná bibliografia
Vydané v:Logical methods in computer science Ročník 21, Issue 1
Hlavní autori: Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Logical Methods in Computer Science e.V 10.01.2025
Predmet:
computer science - logic in computer science
computer science - programming languages
ISSN:1860-5974, 1860-5974
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.327267
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/eLvHCXMwrV07T8MwELZQxcDCG1FeysAASFZjO45jNqhasVAxgNTN8lNUpWnVFiQWfjvnJEVlYmGJlKes7-5y9znOdwhdGmYE9zLFWWA5zmyRYim4wKEInHmdZdzZqtmEGAyK4VA-rbX6imvCanngGrgOJZrmngvmRMhy2MsLcENDU54G6YvqP3KoetbIVPUOZiwWzvVnTLhNFp23iV1gSq7ILb0Gxs9_JaI1vf4qsfR30XZTESZ39Uj20IYv99HOqttC0gTfAZLdV2_Hs-moXOKYe1wyBxsabcdJZLXgkp_JqEwWtdBG0iy8mkBqOkQv_d5z9wE3jQ-wjfUF1sYw6iG0NC8g6KzjNjMuM5R7bbi3kFYdg9IgUO1YDgAZQADOCeAO0hrNjlCrnJb-GCU-OGK5JEZonTGXS-IdkZqlPidBSNdGNysU1KzWt1DACyrIVIRMUaKIoipC1kb3EaefC6M0dXUADKYag6m_DHbyHw85RVtxQHEuhKRnqLWcv_tztGk_lqPF_KLyBdg-fvW-ARWwuIo
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=Claudio+Antares+Mezzina&rft.au=Francesco+Tiezzi&rft.au=Nobuko+Yoshida&rft.date=2025-01-10&rft.pub=Logical+Methods+in+Computer+Science+e.V&rft.eissn=1860-5974&rft.volume=21%2C+Issue+1&rft_id=info:doi/10.46298%2Flmcs-21%281%3A2%292025&rft.externalDBID=DOA&rft.externalDocID=oai_doaj_org_article_21a26e573d7f4621a68318b2050f9e87
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