Minimal Ownership for Active Objects

Clarke, Dave; Wrigstad, Tobias; Östlund, Johan; Johnsen, Einar Broch

doi:10.1007/978-3-540-89330-1_11

Cited by 51 publications

(53 citation statements)

References 58 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A class of actor models (similarly active objects [16,17]) in which actors provide confinement and do not permit unfettered internal concurrency limits interference points to message sends or receives, i.e. a block of code between two message receives are atomic (macro-step semantics [15]).…”

Section: Interferencementioning

confidence: 99%

“…Variants of active objects that guarantee confinement and synchronized access to memory in active objects, such as JCoBox [16], address the pervasive interference problem. Several techniques including ownership type systems [17] or immutable data [16] can be used to enforce confinement. Again, dynamic binding of names could lead to oblivious interference.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Panini: a concurrent programming model for solving pervasive and oblivious interference

Bagherzadeh

Rajan

2015

Proceedings of the 14th International Conference on Modularity

View full text Add to dashboard Cite

Modular reasoning about concurrent programs is complicated by the possibility of interferences happening between any two instructions of a task (pervasive interference), and these interferences not giving out any information about the behaviors of potentially interfering concurrent tasks (oblivious interference). Reasoning about a concurrent program would be easier if a programmer modularly and statically (1) knows precisely the program points at which interferences may happen (sparse interference), and (2) has some insights into behaviors of potentially interfering tasks at these points (cognizant interference). In this work we present Panini, a core concurrent calculus which guarantees sparse interference, by controlling sharing among concurrent tasks, and cognizant interference, by controlling dynamic name bindings and accessibility of states of tasks. Panini promotes capsule-oriented programming whose concurrently running capsules own their states, communicate by asynchronous invocations of their procedures and dynamically transfer ownership. Panini limits sharing among two capsules to other capsules and futures, limits accessibility of a capsule states to only through its procedures and dispatches a procedure invocation on the static type of its receiver capsule. We formalize Panini, present its semantics and illustrate how its interference model, using behavioral contracts, enables Hoare-style modular reasoning about concurrent programs with interference.

show abstract

Section: Interferencementioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Panini: a concurrent programming model for solving pervasive and oblivious interference

Bagherzadeh

Rajan

2015

Proceedings of the 14th International Conference on Modularity

View full text Add to dashboard Cite

show abstract

“…Their active objects may have internal passive objects which are passed between active objects by deep copying the entire (passive) object graph. Unnecessary copying can be avoided with ownership type systems [27]. To limit the complexity of reasoning in a distributed and concurrent setting, ASP is restricted to ensure that reduction is confluent and deterministic.…”

Section: :4mentioning

confidence: 99%

A Survey of Active Object Languages

et al. 2017

Self Cite

View full text Add to dashboard Cite

International audienceTo program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This paper reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation

show abstract

“…Overall, UTT is more flexible, whereas LACASA requires fewer annotations for reusing existing code; it also integrates with Scala's local type inference. Active ownership [19] shares our goal of providing a minimal type system extension, however it requires ownerpolymorphic methods and existential owners whose integration with local type inference is not clear. A more general overview of ownership-based aliasing control is provided in [20].…”

Section: Other Related Workmentioning

confidence: 99%

LaCasa: lightweight affinity and object capabilities in Scala

Haller

Loiko²

2016

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applicatio

View full text Add to dashboard Cite

Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However, their large-scale adoption has turned out to be a surprisingly difficult challenge. While new language designs show promise, they do not address the need of aliasing control in existing languages.This paper presents a new approach to isolation and uniqueness in an existing, widely-used language, Scala. The approach is unique in the way it addresses some of the most important obstacles to the adoption of type system extensions for aliasing control. First, adaptation of existing code requires only a minimal set of annotations. Only a single bit of information is required per class. Surprisingly, the paper shows that this information can be provided by the object-capability discipline, widely-used in program security. We formalize our approach as a type system and prove key soundness theorems. The type system is implemented for the full Scala language, providing, for the first time, a sound integration with Scala's local type inference. Finally, we empirically evaluate the conformity of existing Scala open-source code on a corpus of over 75,000 LOC.

show abstract

Minimal Ownership for Active Objects

Cited by 51 publications

References 58 publications

Panini: a concurrent programming model for solving pervasive and oblivious interference

Panini: a concurrent programming model for solving pervasive and oblivious interference

A Survey of Active Object Languages

LaCasa: lightweight affinity and object capabilities in Scala

Contact Info

Product

Resources

About