DLS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Tue 19 Oct 2021 13:50 - 14:15 at Zurich C - DLS Talks 1 Chair(s): Arjun Guha
Tue 19 Oct 2021 21:50 - 22:15 at Zurich C - DLS Talks 1

Communicating Sequential Process~(CSP) is nowadays a popular concurrency model in which threads/processes communicate by exchanging data through channels.
Channels help in orchestrating concurrent processes but do not solve per-se \emph{data races}.
To prevent data races in the channel model, many programming languages rely on type systems to express ownership and behavioural restrictions such as immutability.
However, dynamically-typed languages require run-time mechanisms because
of the lack of type information at compile-time.

In this paper, we propose to augment channels with four different permission transfer semantics.
We explore two mechanisms to implement such permission transfers at run time: write barriers and partial-read barriers.
To validate our approach we implemented a channel framework in Pharo, and we extended it with different permission transfer semantics.
We report on performance measurements of both (a) the transfer overhead on a single object and on a graph of objects, and (b) the per-object access overhead incurred by ownership checks.
This work stands as a cornerstone of future work on adaptive optimizations for permission transfer channels.

Tue 19 Oct

Displayed time zone: Central Time (US & Canada) change

13:50 - 15:10
DLS Talks 1DLS 2021 at Zurich C +8h
Chair(s): Arjun Guha Northeastern University
13:50
25m
Talk
Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual
DLS 2021
Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
DOI
14:15
25m
Paper
On Design and Use of First-Class Environments in RResearch PaperVirtual
DLS 2021
Aviral Goel Northeastern University, Jan Vitek Northeastern University; Czech Technical University
14:40
25m
Paper
CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual
DLS 2021
Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI
21:50 - 23:10
DLS Talks 1DLS 2021 at Zurich C
21:50
25m
Talk
Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual
DLS 2021
Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
DOI
22:15
25m
Paper
On Design and Use of First-Class Environments in RResearch PaperVirtual
DLS 2021
Aviral Goel Northeastern University, Jan Vitek Northeastern University; Czech Technical University
22:40
25m
Paper
CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual
DLS 2021
Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz
DOI