Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tarifa, Silvia Lizeth Tapia; Wrigstad, Tobias; Yang, Albert Mingkun

doi:10.1007/978-3-319-18941-3_1

Cited by 40 publications

(57 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Like ASP, the Encore programming language [16] integrates active objects into an object-oriented model and distinguishes among active and passive objects (such that passive objects are owned by active ones). Unlike ASP, passive objects are data race-free and may be passed by reference, due to a capability type system [24,25].…”

Section: :4mentioning

confidence: 99%

“…Encore [16] is a general purpose parallel programming language based on active objects developed since 2014. The language has been designed to excel at scalability and rests on four pillar concepts: parallel by default using the active object paradigm for coarse-grained parallelism, independent local heaps to promote data locality, type-based synchronization directives provided by a novel capability system and coordination of parallel computations and low-level data parallelism via parallel combinators.…”

Section: Encorementioning

confidence: 99%

“…Active objects provide coarse-grained parallelism via futures but do not offer high-level language constructs for low-level coordination of parallel computations. To express complex coordination workflows, such as pipelines and speculative parallelism, Encore incorporates ParT collections and associated parallel combinators [16,42]. A ParT collection is an abstraction for asynchronous computations and values; it is controlled via parallel combinators.…”

Section: :18mentioning

confidence: 99%

“…Encore's type system sees passive objects as resources protected by a capability governing the permitted kind of access to the object [16]. A capability is built from a trait and a kind.…”

Section: :19mentioning

confidence: 99%

“…The Encore concurrency model is formalized [16] using a small step operational semantics. Parallel combinators are formalized as well, including a soundness proof with the implicit task parallelism model [42,71].…”

Section: :19mentioning

confidence: 99%

See 4 more Smart Citations

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

Section: :4mentioning

confidence: 99%

Section: Encorementioning

confidence: 99%

Section: :18mentioning

confidence: 99%

“…Encore's type system sees passive objects as resources protected by a capability governing the permitted kind of access to the object [16]. A capability is built from a trait and a kind.…”

Section: :19mentioning

confidence: 99%

Section: :19mentioning

confidence: 99%

See 3 more Smart Citations

A Survey of Active Object Languages

et al. 2017

Self Cite

View full text Add to dashboard Cite

show abstract

Composable Actor Behaviour

Vonder

Koster

Meuter

2019

Distributed Applications and Interoperable Systems

View full text Add to dashboard Cite

Code reusability is the cornerstone of object-oriented programming. Reuse mechanisms such as inheritance and trait composition lay at the basis of a whole range of software engineering practices with the goal to improve software quality and reliability. In this paper we investigate code reuse mechanisms for actors, and find that it is currently difficult to specify the behaviour of an actor out of reusable parts. We discuss different kinds of code reuse mechanisms in different kinds of actor model, and we motivate why these mechanisms are currently unsatisfactory. As a possible solution we define a new reuse mechanism based on delegation-based trait composition. In a nutshell, the mechanism allows programmers to compose the behaviour of actors, and every time a compound behaviour is spawned into an actor, it will cause multiple actors to be spawned (one for each independent behaviour). Some messages will be automatically delegated to the actor that implements the desired functionality. We provide an implementation of this model in a prototype Active Object language called Stella, and we formalise a subset of Stella using a small-step operational semantics to unambiguously define the different steps involved in our reuse mechanism.

show abstract

Global Reproducibility Through Local Control for Distributed Active Objects

Tveito

Johnsen

Schlatte

2020

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Non-determinism in a concurrent or distributed setting may lead to many different runs or executions of a program. This paper presents a method to reproduce a specific run for non-deterministic actor or active object systems. The method is based on recording traces of events reflecting local transitions at so-called stable states during execution; i.e., states in which local execution depends on interaction with the environment. The paper formalizes trace recording and replay for a basic active object language, to show that such local traces suffice to obtain global reproducibility of runs; during replay different objects may operate fairly independently of each other and in parallel, yet a program under replay has guaranteed deterministic outcome. We then show that the method extends to the other forms of non-determinism as found in richer active object languages. Following the proposed method, we have implemented a tool to record and replay runs, and to visualize the communication and scheduling decisions of a recorded run, for Real-Time ABS, a formally defined, rich active object language for modeling timed, resource-aware behavior in distributed systems.

show abstract

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore

Cited by 40 publications

References 30 publications

A Survey of Active Object Languages

A Survey of Active Object Languages

Composable Actor Behaviour

Global Reproducibility Through Local Control for Distributed Active Objects

Contact Info

Product

Resources

About