SPLASH 2016 (series) / AGERE 2016 (series) / AGERE 2016 /
Pluggable Scheduling for the Reactor Programming Model
Sun 30 Oct 2016 09:00 - 09:30 at Luzern - Proceeding Papers 1
The reactor model is a foundational programming model for distributed computing,
whose focus is modularizing and composing computations and message protocols.
Previous work on reactors dealt mainly with
the programming model and its composability properties,
but did not show how to schedule computations in reactor-based programs.
In this paper, we propose a pluggable scheduling algorithm for the reactor model.
The algorithm is customizable with user-defined scheduling policies.
We define and prove safety and progress properties.
We compare our implementation against the Akka actor framework,
and show up to $3\times$ performance improvements
on standard actor benchmarks.
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:25 5mDay opening | Welcome AGERE | ||
08:30 30mTalk | 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties AGERE Joeri De Koster Vrije Universiteit Brussel, Belgium, Tom Van Cutsem Nokia Bell Labs, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium DOI File Attached | ||
09:00 30mTalk | Pluggable Scheduling for the Reactor Programming Model AGERE Aleksandar Prokopec Oracle Labs, Switzerland DOI | ||
09:30 30mTalk | An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development AGERE DOI File Attached |