Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
Actor-based programming is a well-established programming model for the development of concurrent and parallel systems. However, due to the asynchronous nature of its communication mechanism, it is often difficult to express coordination between multiple groups of actors. As a result, complex synchronization patterns are often difficult to express from within the actor model. The goal of this paper is to introduce a novel coordination model for actor-based programs. The model proposes advanced join-patterns over messages that improve the state of the art with four additional features: aggregation, sequencing, timing constraints, and transformations of sequences of messages. This paper also presents a prototype implementation of our model through a domain-specific language in Elixir.
(AGERE!-2017-Slides-1-1.pdf) | 5.42MiB |
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
10:30 - 12:00 | Session 1: Verification and Language ModelsAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
10:30 30mTalk | Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors AGERE Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
11:00 30mTalk | Tree Topologies for Causal Message Delivery AGERE Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou | ||
11:30 30mTalk | Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency AGERE File Attached |