Scoped Synchronization Constraints for Large Scale Actor Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Scoped Synchronization Constraints for Large Scale Actor Systems

Peter Dinges
  • Fonction : Auteur
  • PersonId : 1009062
Gul Agha
  • Fonction : Auteur
  • PersonId : 1009002

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-30829-1_7_Chapter.pdf (331.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01529588 , version 1 (31-05-2017)

Licence

Identifiants

Citer

Peter Dinges, Gul Agha. Scoped Synchronization Constraints for Large Scale Actor Systems. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.89-103, ⟨10.1007/978-3-642-30829-1_7⟩. ⟨hal-01529588⟩
99 Consultations
82 Téléchargements

Altmetric

Partager

More