Sequential Object Monitors

Caromel, Denis; Mateu, Luis; Tanter, Éric

doi:10.1007/978-3-540-24851-4_15

Cited by 13 publications

(21 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In practice, one could implement a default FIFO behavior, or allow the programmer to specify the scheduling algorithm [7,9,10]. Join patterns [17,4,18] could also be introduced as a scheduling and synchronization mechanism for incoming messages.…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

CoBoxes: Unifying Active Objects and Structured Heaps

Schäfer

Poetzsch-Heffter

2008

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Concurrent programming in object-oriented languages is a notoriously difficult task. We propose coboxes -a novel language concept which combines and generalizes active objects and techniques for heap structuring. CoBoxes realize a data-centric approach that guarantees mutual-exclusion for groups of objects. This is important for more complex data structures with invariants ranging over several objects. CoBoxes support multiple entry objects, several cooperating tasks in a cobox, and nesting of coboxes for composition and internal parallelism. Communication between coboxes is handled by asynchronous method calls with futures, which is in particular suitable for distributed programming. In this paper, we explain how aspects of concurrent programming can be solved by coboxes. We develop a core language for coboxes and present a formal operational semantics for this language.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Jac [22] is an approach to specify concurrency mechanisms in Java in a declarative way, but only on the granularity of single objects. Sequential Object Monitors (SOM) [9] separate scheduling of requests from objects that handle requests. SOM does not allow multiple entry objects, nor multiple tasks in a SOM.…”

Section: Introductionmentioning

confidence: 99%

CoBoxes: Unifying Active Objects and Structured Heaps

Schäfer

Poetzsch-Heffter

2008

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Preliminaries are a list of PrelimStm (27), while blocks are made up of BlockStm (28)- (30). A PrelimStm can be either an autostart (31) (defined on line (38)), or a naming statement (32).…”

Section: Declarative Syntax Definitionmentioning

confidence: 99%

“…In previous work, a library for concurrent programming providing the sequential object monitor (SOM) abstraction was proposed [27]. SOM is implemented as a Java library, and also has a small DSAL for configuring it.…”

Section: Composing Kalamentioning

confidence: 99%

See 1 more Smart Citation

Infrastructure for domain-specific aspect languages: the ReLAx case study

2009

View full text Add to dashboard Cite

Parallel object monitors

Caromel

Mateu

Pothier

et al. 2007

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

Coordination of parallel activities on a shared memory machine is a crucial issue for modern software, even more with the advent of multi-core processors. Unfortunately, traditional concurrency abstractions force programmers to tangle the application logic with the synchronization concern, thereby compromising understandability and reuse, and fall short when fine-grained and expressive strategies are needed. This paper presents a new concurrency abstraction called POM, parallel object monitor, supporting expressive means for coordination of parallel activities over one or more objects, while allowing a clean separation of the coordination concern from application code. Expressive and reusable strategies for concurrency control can be designed, thanks to a full access to the queue of pending requests, parallel execution of dispatched requests together with after-actions, and complete control over reentrancy. A small domain-specific aspect language is provided to adequately configure pre-packaged, off-the-shelf synchronizations.This work is partially funded by the Conicyt-INRIA project OSCAR, and the CoreGRID EU Network of Excellence. ´ E. Tanter is partially funded by the Millennium Nucleus Center for Web Research, Grant P04-067-F of Mideplan, Chile, as well as by the FONDECYT Project 11060493

show abstract

Sequential Object Monitors

Cited by 13 publications

References 18 publications

CoBoxes: Unifying Active Objects and Structured Heaps

CoBoxes: Unifying Active Objects and Structured Heaps

Infrastructure for domain-specific aspect languages: the ReLAx case study

Parallel object monitors

Contact Info

Product

Resources

About