Minimal Ownership for Active Objects
2008 (English)In: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
IdentifiersURN: urn:nbn:se:uu:diva-266793DOI: 10.1007/978-3-540-89330-1_11OAI: oai:DiVA.org:uu-266793DiVA: diva2:868472
6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008
ProjectsEU project IST-33826 CREDO