Synchronous coordination of distributed omponents

Leiden Repository

Synchronous coordination of distributed omponents

Type: Doctoral Thesis
Title: Synchronous coordination of distributed omponents
Author: Proença, José
Publisher: Faculty of Science, Leiden University
Issue Date: 2011-05-11
Keywords: Actor model
Animations
Connector colouring
Constraint automata
Constraint satisfaction
Coordination
Distributed systems
Reo
Software connectors
Visual formalisms
Abstract: This work contributes to the field of coordination, in particular to Reo, by improving existing approaches to execute synchronisation models in three major ways. First, this work supports decoupled execution and lightweight reconfiguration. We developed a prototype Dreams engine to test our distributed protocol, using an actor library for the Scala language. Reconfiguration of a small part of the system is independent of the execution or behaviour of unrelated parts of the same system. Second, Dreams outperforms previous Reo engines by using constraint satisfaction techniques. In each round of the execution of the Dreams framework, descriptions of the behaviour of all building blocks are combined and a coordination pattern for the current round is chosen using constraint satisfaction techniques. This approach requiring less time than previous attempts that collect all patterns before selecting one. Third, our work improves scalability by identifying synchronous regions. We statically discover regions of the coordination layer that can execute independently, thus achieving a truly decoupled execution of connectors. Consequently, the constraint problem representing the behaviour at each round is smaller and more easily solved.
Description: Promotor: F. Arbab, Co-promotor: D. Clarke, E. de Vink
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Proença, J., 2011, Doctoral thesis, Leiden University
Series/Report no.: IPA Dissertation Series
2011-05
ISBN: 9789088912658
Sponsor: This work was supported by the portuguese foundation FCT (Funcação para a Ciência e Tecnologia), grant 22485 – 2005.
Handle: http://hdl.handle.net/1887/17624
 

Files in this item

Description Size View
application/pdf Cover 1.107Mb View/Open
application/pdf Full text 2.722Mb View/Open
application/pdf Propositions 46.05Kb View/Open

This item appears in the following Collection(s)