Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Analyzing Permission Transfer Channels for Dynamically Typed Languages

Abstract : 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 perse 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03347573
Contributor : Lse Lse Connect in order to contact the contributor
Submitted on : Friday, September 17, 2021 - 12:23:25 PM
Last modification on : Monday, June 27, 2022 - 3:07:02 AM
Long-term archiving on: : Saturday, December 18, 2021 - 6:40:52 PM

File

hal-version.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03347573, version 1

Citation

Théo Rogliano, Guillermo Polito, Luc Fabresse, Stéphane Ducasse. Analyzing Permission Transfer Channels for Dynamically Typed Languages. DLS 2021 - 17th ACM SIGPLAN International Symposium on Dynamic Languages, Oct 2021, Chicago, France. ⟨hal-03347573⟩

Share

Metrics

Record views

44

Files downloads

17