Rumyana Neykova ; Nobuko Yoshida - Multiparty Session Actors

lmcs:3227 - Logical Methods in Computer Science, March 29, 2017, Volume 13, Issue 1 - https://doi.org/10.23638/LMCS-13(1:17)2017
Multiparty Session Actors

Authors: Rumyana Neykova ORCID-iD; Nobuko Yoshida ORCID-iD

    Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guaranteeing communication safety of the participating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for cooperative inter-concurrency in a single actor. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism. Benchmark results demonstrate that the runtime checks induce negligible overhead. We evaluate the applicability of our verification framework to specify actor interactions by implementing twelve examples from an actor benchmark suit.


    Volume: Volume 13, Issue 1
    Published on: March 29, 2017
    Accepted on: March 29, 2017
    Submitted on: March 29, 2017
    Keywords: Computer Science - Programming Languages,D.1,D.2,D.3,F.1.2
    Fundings :
      Source : OpenAIRE Research Graph
    • From Inherent Concurrency to Massive Parallelism through Type-based Optimizations; Funder: European Commission; Code: 612985
    • From Data Types to Session Types---A Basis for Concurrency and Distribution; Funder: UK Research and Innovation; Code: EP/K034413/1
    • Conversation-Based Governance for Distributed Systems by Multiparty Session Types; Funder: UK Research and Innovation; Code: EP/K011715/1

    Linked data

    Source : ScholeXplorer IsCitedBy DOI 10.4230/lipics.ecoop.2021.10
    • 10.4230/lipics.ecoop.2021.10
    Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
    Harvey, Paul ; Fowler, Simon ; Dardha, Ornela ; Gay, Simon J. ;

    3 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 1170 times.
    This article's PDF has been downloaded 779 times.