Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Fri 22 Jul 2016 11:20 - 11:45 at Auditorium Loyola - Session 7 Chair(s): Julian Dolby

The proliferation of shared mutable state in object-oriented programming complicates software development as two seemingly unrelated operations may interact via an alias and produce unexpected results. In concurrent programming this manifests itself as data-races. Concurrent object-oriented programming suffers from the fact that code that warrants synchronisation cannot easily be distinguished from code that does not. The burden is placed solely on the programmer to reason about alias freedom, sharing across threads and side-effects to deduce where and when to apply concurrency control, without inadvertently blocking parallelism. This paper presents a reference capability approach to concurrent and parallel object-oriented programming where all uses of aliases are guaranteed to be data-race free. Locations’ static types describe their possible sharing. Type information can express non-interfering deterministic parallelism without dynamic concurrency control, thread-locality, lock-based schemes, and guarded-by relations giving multi-object atomicity to nested data structures. Unification of capabilities and traits allows trait-reuse across multiple concurrency scenarios with minimal code duplication. The resulting system brings together features from a wide range of prior work in a unified way.

Fri 22 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:45: Research Track - Session 7 at Auditorium Loyola
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
ecoop-2016-papers10:30 - 10:55
Johannes SpäthFraunhofer SIT, Lisa Nguyen Quang DoFraunhofer IEM, Karim AliTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI Pre-print Media Attached
ecoop-2016-papers10:55 - 11:20
Daco HarkesDelft University of Technology, Danny GroenewegenDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
ecoop-2016-papers11:20 - 11:45
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print Media Attached