Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. We develop the first theory of distributed multiparty session types (MPST) to support parameterised protocols with indexed roles—our framework statically infers the different kinds of participants induced by a protocol definition as role variants, and produces decoupled endpoint projections of the protocol onto each variant. This enables safe MPST-based programming of the parameterised endpoints in distributed settings: each endpoint can be implemented separately by different programmers, using different techniques (or languages). We prove the decidability of role variant inference and well-formedness checking, and the correctness of projection.

We implement our theory as a toolchain for programming such role-parametric MPST protocols in Go. Our approach is to generate API families of lightweight, protocol- and variant-specific type wrappers for I/O. The APIs ensure a well-typed Go endpoint program (by native Go type checking) will perform only compliant I/O actions w.r.t. the source protocol. We leverage the abstractions of MPST to support the specification and implementation of Go applications involving multiple channels, possibly over mixed transports (e.g., Go channels, TCP), and channel passing via a unified programming interface. We evaluate the applicability and run-time performance of our generated APIs using microbenchmarks and real-world applications.
Original languageEnglish
Title of host publicationProceedings of the ACM on Programming Languages
EditorsPhilip Wadler
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery (ACM)
Chapter29
Pages1-30
Number of pages30
Volume3
EditionPOPL
DOIs
Publication statusPublished - Jan 2019
Event46th ACM SIGPLAN Symposium on Principles of Programming Languages - Hotel Cascais Miragem, Cascais, Portugal
Duration: 13 Jan 201919 Jan 2019
Conference number: 46
https://popl19.sigplan.org/program/program-POPL-2019

Publication series

SeriesProceedings of the ACM on Programming Languages
ISSN2475-1421

Symposium

Symposium46th ACM SIGPLAN Symposium on Principles of Programming Languages
Abbreviated titlePOPL 19
CountryPortugal
CityCascais
Period13/01/1919/01/19
Internet address

Fingerprint Dive into the research topics of 'Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures'. Together they form a unique fingerprint.

  • Cite this

    Castro, D., Hu, R., Jongmans, S-S., Ng, N., & Yoshida, N. (2019). Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures . In P. Wadler (Ed.), Proceedings of the ACM on Programming Languages (POPL ed., Vol. 3, pp. 1-30). Association for Computing Machinery (ACM). Proceedings of the ACM on Programming Languages https://doi.org/10.1145/3290342