Skip to main content

Efficient and Thread-Safe Objects for Dynamically-Typed Languages

Daloze, Benoit and Marr, Stefan and Bonetta, Daniele and Mössenböck, Hanspeter (2016) Efficient and Thread-Safe Objects for Dynamically-Typed Languages. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM, New York, USA, pp. 642-659. ISBN 978-1-4503-4444-9. (doi:10.1145/2983990.2984001) (KAR id:63818)

PDF Author's Accepted Manuscript
Language: English
Download (427kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1145/2983990.2984001

Abstract

We are in the multi-core era. Dynamically-typed languages are in widespread use, but their support for multithreading still lags behind. One of the reasons is that the sophisticated techniques they use to efficiently represent their dynamic object models are often unsafe in multithreaded environments. This paper defines safety requirements for dynamic object models in multithreaded environments. Based on these requirements, a language-agnostic and thread-safe object model is designed that maintains the efficiency of sequential approaches. This is achieved by ensuring that field reads do not require synchronization and field updates only need to synchronize on objects shared between threads. Basing our work on JRuby+Truffle, we show that our safe object model has zero overhead on peak performance for thread-local objects and only 3% average overhead on parallel benchmarks where field updates require synchronization. Thus, it can be a foundation for safe and efficient multithreaded VMs for a wide range of dynamic languages.

Item Type: Book section
DOI/Identification number: 10.1145/2983990.2984001
Uncontrolled keywords: Dynamically-sized objects, Dynamic languages, Concurrency, Virtual Machine, Java, Truffle, Graal, Ruby
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Faculties > Sciences > School of Computing
Depositing User: Stefan Marr
Date Deposited: 06 Oct 2017 12:48 UTC
Last Modified: 28 Jan 2020 16:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/63818 (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