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

Displayed time zone: Tijuana, Baja California change

13:30 - 15:00
Session 3: Software concurrency and heterogeneitySEPS at Brighton
Chair(s): Sébastien Valat CERN
13:30
30m
Talk
Transactional Actors: Communication in Transactions
SEPS
Janwillem Swalens Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print
14:00
20m
Talk
[Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
SEPS
14:20
20m
Talk
[Position paper] Declaring Lua Data Types for GPU Code Generation
SEPS
Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento
14:40
20m
Talk
[Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
SEPS
Matthias Book University of Iceland, Morris Riedel Jülich Supercomputing Centre, Helmut Neukirchen University of Iceland, Markus Götz Jülich Supercomputing Centre