Domains: Safe Sharing among Actors

Joeri De Koster, Tom Van Cutsem, Theo D'Hondt

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearch

7 Citations (Scopus)

Abstract

The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concurrent programming. While it has mainly been used in a distributed context it is certainly equally useful for modeling interactive components in a concurrent setting. In component based software, the actor model lends itself to naturally dividing the components over different actors and using message passing concurrency for implementing the interactivity between these components. The tradeoff is that the actor model sacrifices expressiveness and efficiency especially with respect to parallel access to shared state

This paper gives an overview of the disadvantages of the actor model in the case of shared state and then formulates an extension of the actor model to solve these issues. Our solution proposes domains and synchronization views to solve the issues without compromising on the semantic properties of the actor model. Thus, the resulting concurrency model maintains deadlock-freedom, avoids low-level race conditions.
Original languageEnglish
Title of host publication2nd ACM SIGPLAN International Workshop on Programming based on Actors, Agents and Decentralized Control (AGERE!)
Place of PublicationNew York
PublisherACM
Pages11-22
Number of pages11
ISBN (Print)978-1-4503-1630-9
Publication statusPublished - Oct 2012

Keywords

  • actors
  • synchronization
  • domains

Fingerprint Dive into the research topics of 'Domains: Safe Sharing among Actors'. Together they form a unique fingerprint.

Cite this