SIAAM: Simple Isolation for an Abstract Actor Machine

Résumé : Dans cette thèse nous étudions l'isolation mémoire et les mesures de communications efficaces par passage de message dans le contexte des environnements à mémoire partagée et la programmation orientée-objets. L'état de l'art en la matière se base presque exclusivement sur deux techniques complémentaires dites de propriété des objets (ownership) et d'unicité de références (reference uniqueness) afin d'adresser les problèmes de sécurité dans les programmes concurrents. Il est frappant de constater que la grande majorité des travaux existants emploient des méthodes de vérification statique des programmes, qui requirent soit un effort d'annotations soit l'introduction de fortes contraintes sur la forme et les références vers messages échangés. Notre contribution avec SIAAM est la démonstration d'une solution d'isolation réalisée uniquement à l'exécution et basée sur le modèle de programmation par acteurs. Cette solution purement dynamique ne nécessite ni annotations ni vérification statique des programmes. SIAAM permet la communication sans copie de messages de forme arbitraire. Nous présentons la sémantique formelle de SIAAM ainsi qu'une preuve d'isolation vérifiée avec l'assistant COQ. L'implantation du modèle de programmation pour le langage Java est réalisé dans la machine virtuelle JikesRVM. Enfin nous décrivons un ensemble d'analyses statiques qui réduit automatiquement le cout à l'exécution de notre approche.
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English


https://tel.archives-ouvertes.fr/tel-00933072
Contributeur : Quentin Sabah <>
Soumis le : dimanche 19 janvier 2014 - 18:03:43
Dernière modification le : vendredi 11 septembre 2015 - 01:47:30
Document(s) archivé(s) le : mardi 22 avril 2014 - 11:46:16

Identifiants

  • HAL Id : tel-00933072, version 1

Collections

Citation

Quentin Sabah. SIAAM: Simple Isolation for an Abstract Actor Machine. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. <tel-00933072>

Exporter

Partager

Métriques

Consultations de
la notice

344

Téléchargements du document

447