Asynchronous sequential processes

Caromel, Denis; Henrio, Ludovic; Serpette, Bernard

doi:10.1016/j.ic.2008.12.004

Cited by 22 publications

(34 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…H denotes an empty list or an empty set. The syntax of MultiASP is identical to ASP [3] (except for the clone operator that is of no interest here). Active objects and futures can be created at runtime.…”

Section: Syntax and Runtime Structuresmentioning

confidence: 99%

“…The active object [1][2][3] paradigm provides a solution by abstracting away the notions of concurrency and of object location. An object is said to be active if it has its own thread of control.…”

Section: Introductionmentioning

confidence: 99%

“…Active objects, on the other hand, return futures [6] as placeholders for the result, allowing the invoker to continue its execution. Futures can be created and accessed either explicitly, like in Creol [7] and JCoBox [8], or implicitly as in ASP [3] (Asynchronous Sequential Processes) and AmbientTalk [9]. A key benefit of the implicit creation is that no distinction is made between synchronous (i.e., local) and asynchronous (i.e., remote) operations in the program.…”

Section: Introductionmentioning

confidence: 99%

“…The ASP calculus [3] is a distributed active object calculus with futures; the ProActive library is its reference implementation. ASP has strong properties and is easy to program, but the strict sequential service of requests creates deadlocks.…”

Section: Introductionmentioning

confidence: 99%

“…-We experimentally show that multi-active objects make writing of parallel and distributed applications easier, but also that the execution of programs based on multi-active objects is efficient (Section 4). The programming model has been implemented as an extensions to a Java middleware 3 . Additionally, Section 5 compares our contribution with the closest languages, and finally Section 6 concludes the paper.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Multi-threaded Active Objects

Henrio

Huet

István

2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Active objects offer a paradigm which simplifies writing distributed applications. Since each active object has a single thread of control, data races are prevented. However, this programming model has its limitations: it is deadlockprone, and it is not efficient on multicore machines. To overcome these limitations, we present an extension of the active object model, called multi-active objects, that allows each activity to be multi-threaded. The new model is implemented as a Java library; it relies on method annotations to decide which requests can be run in parallel. It provides implicit parallelism, sparing the programmer from low-level concurrency mechanisms. We define the operational semantics of the multi-active objects and study the basic properties of this model. Finally, we show with two applications that our approach is easy to program and efficient.

show abstract

Section: Syntax and Runtime Structuresmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Multi-threaded Active Objects

Henrio

Huet

István

2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

Exogenous coordination of concurrent software components with JavaBIP

et al. 2017

View full text Add to dashboard Cite

SUMMARYA strong separation of concerns is necessary in order to make the design of domain-specific functional components independent from cross-cutting concerns, such as concurrent access to the shared resources of the execution platform. Native coordination mechanisms, such as locks and monitors, allow developers to address these issues. However, such solutions are not modular, they are complex to design, debug and maintain. We present the JavaBIP framework that allows developers to think on a higher level of abstraction and clearly separate the functional and coordination aspects of the system behavior. It implements the principles of the BIP component framework rooted in rigorous operational semantics. It allows the coordination of existing concurrent software components in an exogenous manner, relying exclusively on annotations, component APIs and external specification files. We introduce the annotation and specification syntax of JavaBIP and illustrate its use on realistic examples; present the architecture of our implementation, which is modular and easily extensible; provide and discuss performance evaluation results.

show abstract