Scoped Synchronization Constraints for Large Scale Actor Systems

Abstract : Very large scale systems of autonomous concurrent objects (Actors) require coordination models to meet two competing goals. On the one hand, the coordination models must allow Actors to dynamically modify protocols in order to adapt to requirement changes over the, likely extensive, lifetime of the system. On the other hand, the coordination models must enforce protocols on potentially uncooperative Actors, while preventing deadlocks caused by malicious or faulty Actors. To meet these competing requirements, we introduce a novel, scoped semantics for Synchronizers [7,6]—a coordination model based on declarative synchronization constraints. The mechanism used to limit the scope of the synchronization constraints is based on capabilities and works without central authority. We show that the mechanism closes an attack vector in the original Synchronizer approach which allowed malicious Actors to intentionally deadlock other Actors.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.89-103, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_7〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01529588
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 09:59:53
Dernière modification le : jeudi 21 juin 2018 - 16:36:01
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 15:03:35

Fichier

978-3-642-30829-1_7_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Peter Dinges, Gul Agha. Scoped Synchronization Constraints for Large Scale Actor Systems. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.89-103, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_7〉. 〈hal-01529588〉

Partager

Métriques

Consultations de la notice

22

Téléchargements de fichiers

19