Tue 17 Nov 2020 05:20 - 05:40 at SPLASH-I - M-6 Chair(s): Ifaz Kabir, David Grove
A major challenge in writing applications that execute across hosts, such as distributed online services, is to reconcile (a) parallelism (i.e., allowing components to execute independently on disjoint tasks), and (b)cooperation (i.e., allowing components to work together on common tasks). A good compromise between the two is vital to scalability, a core concern in distributed networked applications.
The actor model of computation is a widely promoted programming model for distributed applications, as actors can execute in individual threads (parallelism) across different hosts and interact via asynchronous message passing (collaboration). However, this makes it hard for programmers to reason about combinations of messages as opposed to individual messages, which is essential in many scenarios.
This paper presents a pragmatic variant of the actor model in which messages can be grouped into units that are executed in a serializable manner, whilst still retaining a high degree of parallelism. In short, our model is based on an orchestration of actors along a directed acyclic graph that supports efficient decentralized synchronization among actors based on their actual interaction. We present the implementation of this model, based on a dynamic DAG-inducing referencing discipline, in the actor-based programming language AEON. We argue serializability and the absence of deadlocks in our model, and demonstrate its scalability and usability through extensive evaluation and case studies of wide-ranging applications.
Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change
17:00 - 18:20: M-6OOPSLA at SPLASH-I +12h Chair(s): Patrick LamUniversity of Waterloo, Konstantinos MamourasRice University | |||
17:00 - 17:20 Talk | Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian OOPSLA Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University Link to publication DOI Media Attached | ||
17:20 - 17:40 Talk | Scalable and Serializable Networked Multi-actor Programming OOPSLA Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano Link to publication DOI Media Attached | ||
17:40 - 18:00 Talk | Designing Types for R, Empirically OOPSLA Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University Link to publication DOI Media Attached | ||
18:00 - 18:20 Talk | Geometry Types for Graphics Programming OOPSLA Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University Link to publication DOI Pre-print Media Attached |
Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change
05:00 - 06:20: M-6OOPSLA at SPLASH-I Chair(s): Ifaz KabirUniversity of Alberta, David GroveIBM Research | |||
05:00 - 05:20 Talk | Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian OOPSLA Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University Link to publication DOI Media Attached | ||
05:20 - 05:40 Talk | Scalable and Serializable Networked Multi-actor Programming OOPSLA Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano Link to publication DOI Media Attached | ||
05:40 - 06:00 Talk | Designing Types for R, Empirically OOPSLA Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University Link to publication DOI Media Attached | ||
06:00 - 06:20 Talk | Geometry Types for Graphics Programming OOPSLA Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University Link to publication DOI Pre-print Media Attached |