Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 14:10 - 14:30 at Luzern - Work-in-progress Papers 1

The actor model prevents the traditional pitfalls of concurrent programming (deadlocks and data-races) by not allowing shared state between different processes. While shared state can be simulated through a set of message exchanges, this quickly becomes complex and renders the program inexpressive. In this paper we present a novel way of integrating shared state into the communicating event-loop model by introducing a new type of object called a repliq. When such object crosses actor boundaries it exhibits what we call pass-by-replication semantics. The object is deeply copied and the runtime keeps track of the owner of the original repliq, the actor that first created it. Actors can access and alter repliq objects locally, while the runtime makes sure they are eventually consistent with other replicas of the object. Consistency is guaranteed by eventually executing all the operations of the replicas in the same order, as determined by the original object. Synchronization happens in a background process and external updates become visible in between message processing. This makes sure that the programmer’s code is always executed in a consistent snapshot of the object states. We present the semantics, guarantees and restrictions exhibited by repliq objects using an implementation in the AmbientTalk actor language. This model maintains the easy and safe local-only execution model for the programmer that is key to the actor model, while providing integrated and expressive means to share state that is eventually consistent.

Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Work-in-progress Papers 1AGERE at Luzern
13:30
20m
Talk
Actor Monitors for Adaptive Behaviour
AGERE
A: Tony Clark Middlesex University, London, A: Vinay Kulkarni , A: Souvik Barat , A: Balbir Barn
File Attached
13:50
20m
Talk
Dynamic Path Contraction for Distributed Dataflow Languages
AGERE
A: Borja Arnau de Régil Basáñez IMDEA Software Institute, A: Christopher Meiklejohn Université catholique de Louvain
Pre-print File Attached
14:10
20m
Talk
Shared State for Actors: Pass-By-Replication Semantics
AGERE
A: Tim Coppieters Vrije Universiteit Brussel, Belgium, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel, Belgium
File Attached
14:30
20m
Talk
Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems
AGERE
A: Takuo Watanabe Tokyo Institute of Technology, A: Kensuke Sawada Tokyo Institute of Technology, Japan
File Attached
14:50
20m
Talk
Towards Advanced Debugging Support for Actor Languages
AGERE
A: Carmen Torres Lopez , A: Stefan Marr Johannes Kepler University Linz, A: Hanspeter Mössenböck JKU Linz, Austria, A: Elisa Gonzalez Boix Vrije Universiteit Brussel
Pre-print File Attached