Simple Isolation for an Actor Abstract Machine

Benoit Claudel 1 Quentin Sabah 2 Jean-Bernard Stefani 3
3 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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
Susanne Graf; Mahesh Viswanathan. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9039, pp.213-227, 2015, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-19195-9_14 〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01767336
Contributeur : Hal Ifip <>
Soumis le : lundi 16 avril 2018 - 10:19:12
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Fichier

978-3-319-19195-9_14_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani. Simple Isolation for an Actor Abstract Machine. Susanne Graf; Mahesh Viswanathan. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9039, pp.213-227, 2015, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-19195-9_14 〉. 〈hal-01767336〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

34