2026-07-20T11:57:09Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6099 2024-03-06T10:37:59Z ddc:004 open_access

Reference Capabilities for Concurrency Control Castegren, Elias Wrigstad, Tobias Type systems Capabilities Traits Concurrency Object-Oriented 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 further 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. The static type of an alias describes its possible sharing without using explicit ownership or effect annotations. 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-based 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Elias Castegren and Tobias Wrigstad 2016 Is Part Of LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2016.5 urn:nbn:de:0030-drops-60998 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.5 eng https://creativecommons.org/licenses/by/3.0/legalcode