Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Thu 3 Nov 2016 13:30 - 13:55 at Matterhorn 1 - Runtime Support Chair(s): Laurence Tratt

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.

Thu 3 Nov

splash-2016-oopsla
13:30 - 15:10: OOPSLA - Runtime Support at Matterhorn 1
Chair(s): Laurence TrattKing's College London
splash-2016-oopsla147817620000013:30 - 13:55
Talk
Benoit DalozeJKU Linz, Austria, Stefan MarrJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print Media Attached
splash-2016-oopsla147817770000013:55 - 14:20
Talk
Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
splash-2016-oopsla147817920000014:20 - 14:45
Talk
Kumud BhandariRice University, USA, Dhruva Chakrabarti, Hans-J. BoehmGoogle
DOI Pre-print Media Attached
splash-2016-oopsla147818070000014:45 - 15:10
Talk
Diogenes NunezTufts University, Sam GuyerTufts University, Emery BergerUniversity of Massachusetts, Amherst
DOI Pre-print Media Attached