Towards Composable Concurrency Abstractions

Swalens, Janwillem and Marr, Stefan and De Koster, Joeri and Van Cutsem, Tom (2014) Towards Composable Concurrency Abstractions. In: Proceedings of the Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES). (doi:https://doi.org/10.4204/EPTCS.155.8) (Full text available)

PDF - Author's Accepted Manuscript
Download (130kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.4204/EPTCS.155.8

Abstract

In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors has made harnessing concurrency even more important. We observe that modern languages, such as Scala, Clojure, or F#, provide not one, but \emphmultiple concurrency models that help developers manage concurrency. Large end-user applications are rarely built using just a single concurrency model. Programmers need to manage a responsive UI, deal with file or network I/O, asynchronous workflows, and shared resources. Different concurrency models facilitate different requirements. This raises the issue of how these concurrency models interact, and whether they are \emphcomposable. After all, combining different concurrency models may lead to subtle bugs or inconsistencies. In this paper, we perform an in-depth study of the concurrency abstractions provided by the Clojure language. We study all pairwise combinations of the abstractions, noting which ones compose without issues, and which do not. We make an attempt to abstract from the specifics of Clojure, identifying the general properties of concurrency models that facilitate or hinder composition.

Item Type: Conference or workshop item (Paper)
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Stefan Marr
Date Deposited: 26 Dec 2017 17:53 UTC
Last Modified: 03 Jan 2018 12:11 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/63832 (The current URI for this page, for reference purposes)
Marr, Stefan: https://orcid.org/0000-0001-9059-5180
  • Depositors only (login required):

Downloads

Downloads per month over past year