Mon 5 Nov 2018 14:30 - 15:00 at Cabot - Parallel Systems

Expressive actor models combine aspects of functional programming into the pure actor model enriched with futures. Such functional features include first-class closures which can be passed between actors and chained on futures. Combined with mutable objects, this opens the door to race conditions. In some situations, closures may not be evaluated by the actor that created them yet may access fields or objects owned by that actor. In other situations, closures may be safely fired off to run as a separate task.

This paper discusses the problem of who can safely evaluate a closure and how to avoid race conditions, and presents the current solution to the problem adopted in the Encore programming language. The solution appeals to Encore’s capability type system, which is used to influence whether a closure is attached and must be evaluated by the creating actor, or whether it can be detached and evaluated independently of its creator.

Encore’s solution is not the final answer. We conclude the paper with a number of open problems related to dealing with closures in the actor model.

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

13:30 - 15:00: Parallel SystemsAGERE at Cabot
13:30 - 14:00
Talk
AGERE
Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print
14:00 - 14:30
Talk
AGERE
Dan Plyukhin, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
14:30 - 15:00
Talk
AGERE
Elias CastegrenUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-ReyesUppsala University, Tobias WrigstadUppsala University, Albert Mingkun YangUppsala University