Siaam : Simple Isolation for an Actor-based Abstract Machine

Abstract : In this thesis we study state isolation and efficient message-passing in the context of concurrent object-oriented programming. The ’ownership’ and ’reference uniqueness’ techniques have been extensively employed to address concurrency safety in the past. Strikingly the vast majority of the previous works rely on a set of statically checkable typing rules, either requiring an annotation overhead or introducing strong restrictions on the shape and the aliasing of the exchanged messages.Our contribution with SIAAM is the demonstration of a purely runtime, actor-based, annotation-free, aliasing-proof approach to concurrent state isolation allowing efficient communication of arbitrary objects graphs. We present the formal semantic of SIAAM, along with a machine-checked proof of isolation. An implementation of the model has been realized in a state-of-the-art Java virtual-machine and a set of custom static analyses automatically reduce the runtime overhead.
Complete list of metadatas

Cited literature [92 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01560981
Contributor : Abes Star <>
Submitted on : Wednesday, July 12, 2017 - 11:15:06 AM
Last modification on : Thursday, June 21, 2018 - 10:56:03 PM
Long-term archiving on : Wednesday, January 24, 2018 - 10:31:53 PM

File

SABAH_2013_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01560981, version 1

Collections

Citation

Quentin Sabah. Siaam : Simple Isolation for an Actor-based Abstract Machine. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM082⟩. ⟨tel-01560981⟩

Share

Metrics

Record views

135

Files downloads

125