Document Open Access Logo

Minimal Ownership for Active Objects

Authors David Clarke, Tobias Wrigstad, Johan Ostlund, Einar Broch Johnsen

PDF

File

Thumbnail PDF
PDF
DagSemProc.09301.3.pdf
  • Filesize: 0.49 MB
  • 35 pages

Document Identifiers

Subject Classification

Keywords
  • Ownership
  • concurrency
  • uniqueness
  • active objects

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get BibTex

David Clarke, Tobias Wrigstad, Johan Ostlund, and Einar Broch Johnsen. Minimal Ownership for Active Objects. In Typing, Analysis and Verification of Heap-Manipulating Programs. Dagstuhl Seminar Proceedings, Volume 9301, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/DagSemProc.09301.3

Author Details

David Clarke
Tobias Wrigstad
Johan Ostlund
Einar Broch Johnsen
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact