uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Reference Capabilities for Concurrency Control
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2016 (English)In: ECOOP 2016 — Object-Oriented Programming, 2016Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2016.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-287587OAI: oai:DiVA.org:uu-287587DiVA: diva2:922959
Conference
ECOOP 2016, July 17–22, Rome, Italy
Projects
Structured AliasingUPSCALEUPMARC
Funder
Swedish Research CouncilEU, FP7, Seventh Framework Programme
Available from: 2016-04-25 Created: 2016-04-25 Last updated: 2016-06-08

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Castegren, EliasWrigstad, Tobias
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 176 hits
ReferencesLink to record
Permanent link

Direct link