DagSemProc.09301.3.pdf
- Filesize: 0.49 MB
- 35 pages
Document
Minimal Ownership for Active Objects
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9301
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2010-02-24
Cite AsGet 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
https://doi.org/10.4230/DagSemProc.09301.3
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.
Keywords
- Ownership
- concurrency
- uniqueness
- active objects
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads