Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Developers often require different concurrency models to fit the various concurrency needs of the different parts of their applications. Many programming languages, such as Clojure, Scala, and Haskell, cater to this need by incorporating different concurrency models. It has been shown that, in practice, developers often combine these concurrency models. However, they are often combined in an ad hoc way and the semantics of the combination is not always well-defined. The starting hypothesis of this paper is that different concurrency models need to be carefully integrated such that the properties of each individual model are still maintained.

This paper proposes one such combination, namely the combination of the actor model and software transactional memory. In this paper, we show that, while both individual models offer strong safety guarantees, these guarantees are no longer valid when they are combined. The main contribution of this paper is a novel hybrid concurrency model called transactional actors that combines both models while preserving their guarantees. This paper also presents an implementation in Clojure and an experimental evaluation of the performance of the transactional actor model.

Mon 23 Oct

seps-2017
13:30 - 15:00: SEPS 2017 - Session 3: Software concurrency and heterogeneity at Brighton
Chair(s): Sébastien ValatCERN
seps-2017150875820000013:30 - 14:00
Talk
Janwillem SwalensVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print
seps-2017150876000000014:00 - 14:20
Talk
seps-2017150876120000014:20 - 14:40
Talk
Paulo MottaMotta & SantAnna Pesquisa e Desenvolvimento
seps-2017150876240000014:40 - 15:00
Talk
Matthias BookUniversity of Iceland, Morris RiedelJülich Supercomputing Centre, Helmut NeukirchenUniversity of Iceland, Markus GötzJülich Supercomputing Centre