2026-07-19T21:55:51Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2437 2024-03-06T11:08:56Z ddc:004 open_access

Minimal Ownership for Active Objects Clarke, David Wrigstad, Tobias Ostlund, Johan Johnsen, Einar Broch Ownership concurrency uniqueness active objects 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik David Clarke and Tobias Wrigstad and Johan Ostlund and Einar Broch Johnsen 2010 Is Part Of Dagstuhl Seminar Proceedings, Volume 9301, Typing, Analysis and Verification of Heap-Manipulating Programs (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.09301.3 urn:nbn:de:0030-drops-24379 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09301.3 eng https://creativecommons.org/licenses/by/4.0/legalcode