Simple Isolation for an Actor Abstract Machine

Abstract : The actor model is an old but compelling concurrent programming model in this age of multicore architectures and distributed services. In this paper we study an as yet unexplored region of the actor design space in the context of concurrent object-oriented programming. Specifically, we show that a purely run-time, annotation-free approach to actor state isolation with reference passing of arbitrary object graphs is perfectly viable. In addition, we show, via a formal proof using the Coq proof assistant, that our approach indeed enforces actor isolation.
Type de document :
Communication dans un congrès
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Jun 2015, Montbonnot, France. Springer, 9039, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-19195-9_14>
Liste complète des métadonnées


https://hal.inria.fr/hal-01219656
Contributeur : Jean-Bernard Stefani <>
Soumis le : vendredi 23 octobre 2015 - 08:27:29
Dernière modification le : jeudi 10 décembre 2015 - 23:06:33
Document(s) archivé(s) le : jeudi 27 avril 2017 - 14:43:00

Fichier

SIAAM-FORTE.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani. Simple Isolation for an Actor Abstract Machine. 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Jun 2015, Montbonnot, France. Springer, 9039, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-19195-9_14>. <hal-01219656>

Partager

Métriques

Consultations de
la notice

80

Téléchargements du document

72