Skip to main content

Dynamically Updatable Multiparty Session Protocols

Castro-Perez, David, Yoshida, Nobuko (2023) Dynamically Updatable Multiparty Session Protocols. In: 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs) , 263. Dagstuhl, Saarbrücken ISBN 978-3-95977-281-5. (doi:10.4230/LIPIcs.ECOOP.2023.6) (KAR id:100746)

Abstract

Multiparty Session Types (MPST) are a typing disciplines that guarantee the absence of deadlocks and communication errors in concurrent and distributed systems. However, existing MPST frameworks do not support protocols with dynamic unbounded participants, and cannot express many common programming patterns that require the introduction of new participants into a protocol. This poses a barrier for the adoption of MPST in languages that favour the creation of new participants (processes, lightweight threads, etc) that communicate via message passing, such as Go or Erlang. This paper proposes Dynamically Updatable Multiparty Session Protocols, a new MPST theory (DMst) that supports protocols with an unbounded number of fresh participants, whose communication topologies are dynamically updatable. We prove that DMst guarantees deadlock-freedom and liveness. We implement a toolchain, GoScr (Go-Scribble), which generates Go implementations from DMst, ensuring by construction, that the different participants will only perform I/O actions that comply with a given protocol specification. We evaluate our toolchain by (1) implementing representative parallel and concurrent algorithms from existing benchmarks, textbooks and literature

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.4230/LIPIcs.ECOOP.2023.6
Uncontrolled keywords: Multiparty Session Types, Correctness-by-construction, Concurrency, Golang
Subjects: Q Science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Susan Grimer
Date Deposited: 04 Apr 2023 14:56 UTC
Last Modified: 21 Sep 2023 09:05 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/100746 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.