Scoped synchronization constraints for large scale actor systems

Peter Dinges, Gul Agha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationCoordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings
Pages89-103
Number of pages15
DOIs
StatePublished - Jun 29 2012
Event14th International Conference on Coordination Models and Languages, COORDINATION 2012 - Stockholm, Sweden
Duration: Jun 14 2012Jun 15 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7274 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other14th International Conference on Coordination Models and Languages, COORDINATION 2012
CountrySweden
CityStockholm
Period6/14/126/15/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Scoped synchronization constraints for large scale actor systems'. Together they form a unique fingerprint.

  • Cite this

    Dinges, P., & Agha, G. (2012). Scoped synchronization constraints for large scale actor systems. In Coordination Models and Languages - 14th International Conference, COORDINATION 2012, Proceedings (pp. 89-103). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7274 LNCS). https://doi.org/10.1007/978-3-642-30829-1_7