Minimal Ownership for Active Objects

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

doi:10.4230/DagSemProc.09301.3

Document

Minimal Ownership for Active Objects

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

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 9301
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2010-02-24

PDF

File

PDF

DagSemProc.09301.3.pdf

Filesize: 0.49 MB
35 pages

Document Identifiers

DOI: 10.4230/DagSemProc.09301.3
URN: urn:nbn:de:0030-drops-24379

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

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail