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.
@InProceedings{clarke_et_al:DagSemProc.09301.3, author = {Clarke, David and Wrigstad, Tobias and Ostlund, Johan and Johnsen, Einar Broch}, title = {{Minimal Ownership for Active Objects}}, booktitle = {Typing, Analysis and Verification of Heap-Manipulating Programs}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9301}, editor = {Peter O'Hearn and Arnd Poetzsch-Heffter and Mooly Sagiv}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.3}, URN = {urn:nbn:de:0030-drops-24379}, doi = {10.4230/DagSemProc.09301.3}, annote = {Keywords: Ownership, concurrency, uniqueness, active objects} }
Feedback for Dagstuhl Publishing