Minimal Ownership for Active Objects

  • Dave Clarke
  • Tobias Wrigstad
  • Johan Östlund
  • Einar Broch Johnsen
Conference paper

DOI: 10.1007/978-3-540-89330-1_11

Volume 5356 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Clarke D., Wrigstad T., Östlund J., Johnsen E.B. (2008) Minimal Ownership for Active Objects. In: Ramalingam G. (eds) Programming Languages and Systems. APLAS 2008. Lecture Notes in Computer Science, vol 5356. Springer, Berlin, Heidelberg

Abstract

Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by reference whenever possible, but this introduces aliasing and undermines the validity of the active objects. This paper proposes a minimal variant of ownership types that preserves the required race freedom invariant yet enables data transfer by reference between active objects (that is, without copying) in many cases, and a cheap clone operation where copying is necessary. Our approach is general and should be adaptable to several existing active object systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Dave Clarke
    • 1
  • Tobias Wrigstad
    • 2
  • Johan Östlund
    • 2
  • Einar Broch Johnsen
    • 3
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.Purdue UniversityUSA
  3. 3.University of OsloNorway