Causal Consistency for Reversible Multiparty Protocols

In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org
Hauptverfasser: Claudio Antares Mezzina, Pérez, Jorge A
Format: Paper
Sprache:Englisch
Veröffentlicht: Ithaca Cornell University Library, arXiv.org 30.09.2021
Schlagworte:
Concurrency
Semantics
ISSN:2331-8422
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a class of behavioral types), covering binary (two-party) protocols with synchronous communication. The applicability and expressiveness of the binary setting, however, is limited. Here we extend our approach, and use it to define reversible semantics for an expressive process model that accounts for multiparty (n-party) protocols, asynchronous communication, decoupled rollbacks, and abstraction passing. As main result, we prove that our reversible semantics for multiparty protocols is causally-consistent. A key technical ingredient in our developments is an alternative reversible semantics with atomic rollbacks, which is conceptually simple and is shown to characterize decoupled rollbacks.
AbstractList In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a class of behavioral types), covering binary (two-party) protocols with synchronous communication. The applicability and expressiveness of the binary setting, however, is limited. Here we extend our approach, and use it to define reversible semantics for an expressive process model that accounts for multiparty (n-party) protocols, asynchronous communication, decoupled rollbacks, and abstraction passing. As main result, we prove that our reversible semantics for multiparty protocols is causally-consistent. A key technical ingredient in our developments is an alternative reversible semantics with atomic rollbacks, which is conceptually simple and is shown to characterize decoupled rollbacks.
Author Pérez, Jorge A
Claudio Antares Mezzina
Author_xml – sequence: 1
  fullname: Claudio Antares Mezzina
– sequence: 2
  givenname: Jorge
  surname: Pérez
  middlename: A
  fullname: Pérez, Jorge A
BookMark eNotzV1LwzAUgOEgCs65H-BdwOvWk3OSpr2U4hdMFNn9SLsT6CjJTNrh_r0DvXru3vdGXIYYWIg7BaWujYEHl36GY6ksUAkVoLoQCyRSRa0Rr8Uq5z0AYGXRGFqIqnVzdqNsY8hDnjj0J-ljkl985JSHbmT5Po_TcHBpOsnPFKfYxzHfiivvxsyrf5di8_y0aV-L9cfLW_u4LpxBW3R9jcAVselZUX2WSTWNN5obhMbt2Bvy1u_Aaa2h7hrsHLEySE5pYFqK-7_sIcXvmfO03cc5hfNxi2Ar0GCNpV8Sp0ke
ContentType Paper
Copyright 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2021. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.1703.06021
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection (subscription)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database (subscription)
ProQuest Central Premium
ProQuest One Academic
ProQuest Publicly Available Content
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a527-bc820e63e5ce1383e5e3199f54e9209adef53f7fd0a44408b92ba3e1523a140e3
IEDL.DBID PIMPY
IngestDate Mon Jun 30 09:40:33 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a527-bc820e63e5ce1383e5e3199f54e9209adef53f7fd0a44408b92ba3e1523a140e3
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/publiccontent/docview/2076040757?pq-origsite=%requestingapplication%
PQID 2076040757
PQPubID 2050157
ParticipantIDs proquest_journals_2076040757
PublicationCentury 2000
PublicationDate 20210930
PublicationDateYYYYMMDD 2021-09-30
PublicationDate_xml – month: 09
  year: 2021
  text: 20210930
  day: 30
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2021
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.7716343
SecondaryResourceType preprint
Snippet In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Concurrency
Semantics
Title Causal Consistency for Reversible Multiparty Protocols
URI https://www.proquest.com/docview/2076040757
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV07T8MwELagBYmJt3iUKgNraOLYcTwhUbWCgSoqHcpU-XGWKlVNSdqK_ntsN4UBiYnZy8k-3_O7-xC6j7XQUioSEsUhJNrwkGtGwzgzVBmWihS0J5tgg0E2HvO8Ho-ualjlziZ6Q73d9uxw29YId3ShXMXc1UVSq36MssfFR-g4pFyvtSbU2EdNP-LdQM385TV__6654JTZCDrZNjf9Kq-OKD-n64eYuUWnaYTjXybZ-5n-8f9KeGIlEwsoT9EezM_QoUd7quocpV2xqsQs8GydlYuaN4ENXoMheJCGnEHgB3MXVq82QV4Wy8LqS3WBRv3eqPsc1gQKoaCYhVJZ9w5pAlRBbDNRoGA_HDeUAMcRFxoMTQwzOhLEEU9LjqVIwHr0RNi8C5JL1JgXc7hCQQwmI4ZkkcQRgUTxCKuUG9BKMY2FvEat3Z1M6k9QTX6u4Obv41t0hB1UxMMwWqixLFdwhw7UejmtyjZqPvUG-bDtYJlv7fpNvwAEH7LC
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3LTgIxFL1B0OjKd3ygzkKXozOdzpQujImogYCEEBbsSKe9TUgI4AyofJT_aFtBFybuWLhu0jS3p_fV0x6Ay1AJlaaS-lRy9KnS3OeKxX5Y0bHULBEJKic2wVqtSq_H2wX4WL6FsbTKpU90jlqNpe2R205IYgDHYnY3efGtapS9XV1KaHzBooHzN1Oy5bf1B7O_V4Q8PXarNX-hKuCLmDA_lSbmYRJhLDE05RnGaFDIdUyRk4ALhTqONNMqENSqMaecpCJCE-YiYYoRjMy0a1Cikck8ilC6f2y1O99NHZIwk6JHX7en7q-wG5G9D16vQ2Z_Uk0CEv7y-S6QPW3_MxPsQKktJpjtQgFHe7Dh-Koy34ekKma5GHpObzS3ef_cM-m310FHM0mH6LmnxRNzMuZeOxtPxwbx-QF0V7HSQyiOxiM8Ai9EXaGaVoKUBBQjyQMiE65RSckUEekxlJdG7y-Ocd7_sfjJ38MXsFnrPjf7zXqrcQpbxBJfHKmkDMVpNsMzWJev00GenS8g40F_xTv0CXnO_7s
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=Causal+Consistency+for+Reversible+Multiparty+Protocols&rft.jtitle=arXiv.org&rft.au=Claudio+Antares+Mezzina&rft.au=P%C3%A9rez%2C+Jorge+A&rft.date=2021-09-30&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1703.06021