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

agere2016
13:30 - 15:10: AGERE 2016 - Work-in-progress Papers 1 at Luzern
agere2016147783060000013:30 - 13:50
Talk
Tony Clark Middlesex University, London, Vinay Kulkarni, Souvik Barat, Balbir Barn
File Attached
agere2016147783180000013:50 - 14:10
Talk
Borja Arnau de Régil BasáñezIMDEA Software Institute, Christopher MeiklejohnUniversité catholique de Louvain
Pre-print File Attached
agere2016147783300000014:10 - 14:30
Talk
Tim CoppietersVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
File Attached
agere2016147783420000014:30 - 14:50
Talk
Takuo WatanabeTokyo Institute of Technology, Kensuke SawadaTokyo Institute of Technology, Japan
File Attached
agere2016147783540000014:50 - 15:10
Talk
Carmen Torres Lopez, Stefan MarrJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria, Elisa Gonzalez BoixVrije Universiteit Brussel
Pre-print File Attached