SIAAM: Simple Isolation for an Abstract Actor Machine
type: Dataset
contact point: Organization
  fn: CCSD
keyword: programming-model
keyword: theses
keyword: concurrence
keyword: machine-virtuelle
keyword: infoeu-reposemanticsdoctoralthesis
keyword: modele-de-programmation
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: actors
keyword: isolation
keyword: virtual-machine
keyword: concurrency
keyword: ownership
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: passage-de-messages
keyword: infoinfo-dccomputer-science-csdistributed-parallel-and-cluster-computing-csdc
keyword: acteurs
keyword: message-passing
landing page: https://theses.hal.science/tel-00933072
description: 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.
issued: 2026-05-07T08:43:35.849097
language: en
modified: 2026-05-07T08:43:35.849101

SIAAM: Simple Isolation for an Abstract Actor Machine
type: Distribution
access URL: https://theses.hal.science/tel-00933072
format: HTML
issued: 2026-05-07T08:43:35.857686
modified: 2026-05-07T08:43:35.830893

test_moissonnage_selune
type: Agent