towards distributed reo
play

Towards Distributed Reo Jos Proena Centrum voor Wiskunde en - PowerPoint PPT Presentation

Jun 09, 2023 •345 likes •731 views

Motivation Distributed Reo Behaviour agreement Conclusions Towards Distributed Reo Jos Proena Centrum voor Wiskunde en Informatica CIC, 2007 J. Proena (CWI) Towards Distributed Reo CIC, 2007 1 / 15 Motivation Distributed Reo

  1. Motivation Distributed Reo Behaviour agreement Conclusions Towards Distributed Reo José Proença Centrum voor Wiskunde en Informatica CIC, 2007 J. Proença (CWI) Towards Distributed Reo CIC, 2007 1 / 15

  2. Motivation Distributed Reo Behaviour agreement Conclusions Outline Motivation 1 Distributed Reo Model 2 Behaviour agreement 3 Conclusions 4 J. Proença (CWI) Towards Distributed Reo CIC, 2007 2 / 15

  3. Motivation Distributed Reo Behaviour agreement Conclusions Outline Motivation 1 Distributed Reo Model 2 Behaviour agreement 3 Conclusions 4 J. Proença (CWI) Towards Distributed Reo CIC, 2007 3 / 15

  4. Motivation Distributed Reo Behaviour agreement Conclusions Motivation Coordination: How to implement it? Distributed Coordination Where to run it? J. Proença (CWI) Towards Distributed Reo CIC, 2007 4 / 15

  5. Motivation Distributed Reo Behaviour agreement Conclusions Motivation Coordination: How to implement it? Distributed Coordination Where to run it? J. Proença (CWI) Towards Distributed Reo CIC, 2007 4 / 15

  6. Motivation Distributed Reo Behaviour agreement Conclusions Motivation Coordination: How to implement it? Distributed Coordination Where to run it? J. Proença (CWI) Towards Distributed Reo CIC, 2007 4 / 15

  7. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer Deployment Resolver Local Optimization Instantiator Kernel J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  8. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer Use of tools, such as a GUI Deployment Resolver Local Optimization Instantiator Kernel J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  9. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer c d Deployment Resolver c c Unspecified locations are re- solved. Constraints and poli- c b cies need to be considered. Local Optimization c a Instantiator Kernel J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  10. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer c d c Deployment Resolver c c Local Optimization b Plugins: CA CC CSP c a Instantiator x Kernel J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  11. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer c d Deployment Resolver c c Local Optimization c b x Instantiator Creation of primitives a c Kernel J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  12. Motivation Distributed Reo Behaviour agreement Conclusions Architecture Designer c d Deployment Resolver c c Local Optimization c b x Instantiator Kernel a c Execution of the engine J. Proença (CWI) Towards Distributed Reo CIC, 2007 5 / 15

  13. Motivation Distributed Reo Behaviour agreement Conclusions Outline Motivation 1 Distributed Reo Model 2 Behaviour agreement 3 Conclusions 4 J. Proença (CWI) Towards Distributed Reo CIC, 2007 6 / 15

  14. Motivation Distributed Reo Behaviour agreement Conclusions Distributed Reo Distributed: deals with partial knowledge. Primitive (coordinator) Node Implemention: Scala language Integrates features of object-oriented and functional languages; Fully interoperable with Java; Actor model for communication. J. Proença (CWI) Towards Distributed Reo CIC, 2007 7 / 15

  15. Motivation Distributed Reo Behaviour agreement Conclusions Distributed Reo Distributed: deals with partial knowledge. Primitive (coordinator) Node Implemention: Scala language Integrates features of object-oriented and functional languages; Fully interoperable with Java; Actor model for communication. J. Proença (CWI) Towards Distributed Reo CIC, 2007 7 / 15

  16. Motivation Distributed Reo Behaviour agreement Conclusions Distributed Reo Primitives and nodes Can be seen as a particular Each port has a location . case of a primitive that: Must react to some messages: has no state; Request Behabiour can be distributed; Reply Behaviour propagates synchronous Refuse (reason) constraints. Give Behaviour & Request/Give Data Reply Data J. Proença (CWI) Towards Distributed Reo CIC, 2007 8 / 15

  17. Motivation Distributed Reo Behaviour agreement Conclusions Distributed Reo Primitives and nodes Can be seen as a particular Each port has a location . case of a primitive that: Must react to some messages: has no state; Request Behabiour can be distributed; Reply Behaviour propagates synchronous Refuse (reason) constraints. Give Behaviour & Request/Give Data Reply Data J. Proença (CWI) Towards Distributed Reo CIC, 2007 8 / 15

  18. Motivation Distributed Reo Behaviour agreement Conclusions Behaviour What is it? What each primitive can do Which end points can flow data, Example: and relation between data Connector Colouring flowing in the end points. Colouring tables provide the behaviour of each Join of behaviours primitive; Given the behaviour of two Join of colouring tables is primitives, the behaviour of the defined. composition of both can also be obtained. J. Proença (CWI) Towards Distributed Reo CIC, 2007 9 / 15

  19. Motivation Distributed Reo Behaviour agreement Conclusions Behaviour What is it? What each primitive can do Which end points can flow data, Example: and relation between data Connector Colouring flowing in the end points. Colouring tables provide the behaviour of each Join of behaviours primitive; Given the behaviour of two Join of colouring tables is primitives, the behaviour of the defined. composition of both can also be obtained. J. Proença (CWI) Towards Distributed Reo CIC, 2007 9 / 15

  20. Motivation Distributed Reo Behaviour agreement Conclusions Outline Motivation 1 Distributed Reo Model 2 Behaviour agreement 3 Conclusions 4 J. Proença (CWI) Towards Distributed Reo CIC, 2007 10 / 15

  21. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Locations are not relevant; Assume partial knowledge (know only neighbours); Two phase algorithm: Negotiation and Communication. J. Proença (CWI) Towards Distributed Reo CIC, 2007 11 / 15

  22. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Locations are not relevant; Assume partial knowledge (know only neighbours); Two phase algorithm: Negotiation and Communication. J. Proença (CWI) Towards Distributed Reo CIC, 2007 11 / 15

  23. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Basic case J. Proença (CWI) Towards Distributed Reo CIC, 2007 12 / 15

  24. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Basic case J. Proença (CWI) Towards Distributed Reo CIC, 2007 12 / 15

  25. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Basic case J. Proença (CWI) Towards Distributed Reo CIC, 2007 12 / 15

  26. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Basic case J. Proença (CWI) Towards Distributed Reo CIC, 2007 12 / 15

  27. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  28. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  29. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  30. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  31. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  32. Motivation Distributed Reo Behaviour agreement Conclusions Commit to a behaviour Multiple starting points > > J. Proença (CWI) Towards Distributed Reo CIC, 2007 13 / 15

  33. Motivation Distributed Reo Behaviour agreement Conclusions Outline Motivation 1 Distributed Reo Model 2 Behaviour agreement 3 Conclusions 4 J. Proença (CWI) Towards Distributed Reo CIC, 2007 14 / 15

  34. Motivation Distributed Reo Behaviour agreement Conclusions Conclusions Common architecture to include design and implementation; Implementation platform, where each (distributed) element knows only about its own neighbours; Resolve synchrony constraints (imposed by Reo) using asynchronous messages; The kernel supports messages for other purposes: Fail/Abort; Suspend – to allow reconfiguration. . . . How to determine the rank of the inititiators ? A primitive(s) can be obtained from other coordination models other than Reo ( e.g. , Orc); Allow unification of more coordination models; J. Proença (CWI) Towards Distributed Reo CIC, 2007 15 / 15

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Distributed Coordination What makes a system distributed? Time in a distributed system

Distributed Coordination What makes a system distributed? Time in a distributed system

CPSC-410/611: Operating Systems Distr Coord Distributed Coordination What makes a system distributed? Time in a distributed system How do we determine the global state of a distributed system? Event ordering Mutual exclusion

405 views • 12 slides
Distributed File Systems Distributed File Systems A distributed file system (DFS) is a

Distributed File Systems Distributed File Systems A distributed file system (DFS) is a

Distributed File Systems Distributed File Systems A distributed file system (DFS) is a distributed Definitions implementation of a classical time-sharing model of a file Distributed system - A number of loosely coupled system. machines

997 views • 8 slides
Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges

Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges

5/19/2018 Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges scalability and performance apps require more resources than one computer has 13B. Distributed Systems: Communication grow

131 views • 9 slides
Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges

Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges

5/17/2017 Distributed Systems Goals of Distributed Systems 13A. Distributed Systems: Goals & Challenges scalability and performance apps require more resources than one computer has 13B. Distributed Systems: Communication grow

572 views • 7 slides
Distributed Systems Just what is a Distributed System? Definitions "A Distributed System

Distributed Systems Just what is a Distributed System? Definitions "A Distributed System

Distributed Systems Just what is a Distributed System? Definitions "A Distributed System is one in which components located at networked computers communicate and coordinate their actions only by passing messages". [Coulouris,

800 views • 42 slides
Distributed Databases 1 19.1 Distributed Database System A distributed database system

Distributed Databases 1 19.1 Distributed Database System A distributed database system

Distributed Databases 1 19.1 Distributed Database System A distributed database system consists of loosely coupled sites that share no physical component Database systems that run on each site are independent of each other

761 views • 42 slides
Overview Distributed Services for Distributed VPNs Objectives for Robust Time

Overview Distributed Services for Distributed VPNs Objectives for Robust Time

Michael Rossberg, Rene Golembewski, Guenter Schaefer Ilmenau University of Technology, Germany ICCCN 2012 Attack-Resistant Distributed Time Synchronization for Virtual Private Networks Overview Distributed Services for Distributed VPNs

212 views • 9 slides
Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts &

Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts &

Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts & Design , George Coulouris, et al. and Engineering Distributed Objects , Wolfgang Emmerich Outline What is a Distributed System? Examples of

565 views • 18 slides
Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts &

Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts &

Introduction to Distributed Systems Material adapted from Distributed Systems: Concepts & Design , George Coulouris, et al. and Engineering Distributed Objects , Wolfgang Emmerich Outline What is a Distributed System? Examples of

961 views • 36 slides
Distributed Systems (ICE 601) Distributed Transactions Dongman Lee ICU Class Overview

Distributed Systems (ICE 601) Distributed Transactions Dongman Lee ICU Class Overview

Distributed Systems (ICE 601) Distributed Transactions Dongman Lee ICU Class Overview Distributed Transactions Atomic Commit Protocol Distributed Deadlock Distributed Systems - Distributed Transactions 1 Distributed

1.12k views • 10 slides
Distributed Systems of distributed systems Types of Distributed Describe various

Distributed Systems of distributed systems Types of Distributed Describe various

Objectives/Outline (selected topics from chapter 16 & 18) Objectives Outline Provide a high-level overview Introduction Distributed Systems of distributed systems Types of Distributed Describe various methods for

436 views • 9 slides
Course introduction Defining distributed system s A distributed system is one in which

Course introduction Defining distributed system s A distributed system is one in which

Distributed System s Fall 2 0 0 8 Course introduction Defining distributed system s A distributed system is one in which components located at networked computers communicate and coordinate their actions by passing messages. (Coulouris,

579 views • 42 slides
Research Interests Distributed algorithms Distributed shared memory systems Distributed

Research Interests Distributed algorithms Distributed shared memory systems Distributed

Privacy & Security in Machine Learning / Optimization Nitin Vaidya University of Illinois at Urbana-Champaign disc.ece.illinois.edu Research Interests Distributed algorithms Distributed shared memory systems Distributed

1.2k views • 70 slides
Outline Introduction Background Distributed DBMS Architecture Distributed Database Design

Outline Introduction Background Distributed DBMS Architecture Distributed Database Design

Outline Introduction Background Distributed DBMS Architecture Distributed Database Design Distributed Query Processing Distributed Transaction Management Building Distributed Database Systems (RAID) Mobile Database Systems Privacy, Trust,

620 views • 20 slides
Distributed Databases Distributed database management system A distributed database (DDB) is

Distributed Databases Distributed database management system A distributed database (DDB) is

Distributed Databases Distributed database management system A distributed database (DDB) is a collection of multiple, logically interrelated databases distributed over a computer network. A distributed database management system

444 views • 10 slides
Object-Oriented Distributed Technology Objects Objects in Distributed Systems

Object-Oriented Distributed Technology Objects Objects in Distributed Systems

CPSC-662 Distributed Computing Object-Oriented Distributed Technology Object-Oriented Distributed Technology Objects Objects in Distributed Systems Requirements of Multi-User Applications Reading: Coulouris: Distributed

317 views • 4 slides
Primitive sets Greg Martin University of British Columbia joint work with a Celebrated Person

Primitive sets Greg Martin University of British Columbia joint work with a Celebrated Person

Background Thick primitive sets Restricted primes Primitive sets Greg Martin University of British Columbia joint work with a Celebrated Person and William D. Banks Elementary, analytic, and algorithmic number theory: Research inspired by

741 views • 60 slides
Mat 2170 Arrays ArrayLists Generic Types The ArrayList Class Patterns Examples Parameters

Mat 2170 Arrays ArrayLists Generic Types The ArrayList Class Patterns Examples Parameters

Mat 2170 The ArrayList Class Week 13 Wrappers Mat 2170 Arrays ArrayLists Generic Types The ArrayList Class Patterns Examples Parameters Spring 2014 Lab 13 Using Lists Class Exercises Student Responsibilities Mat 2170 The

466 views • 42 slides
Variables & References Variables with primitive types: Primitive types Lower

Variables & References Variables with primitive types: Primitive types Lower

Variables & References Variables with primitive types: Primitive types Lower case names int, float, double, boolean, Declare variables: <type name> <variableName>; Memory will be allocated to

399 views • 12 slides
pcube : P rimitives for network data P lane P rogramming Rinku Shah Aniket Shirke Akash Trehan

pcube : P rimitives for network data P lane P rogramming Rinku Shah Aniket Shirke Akash Trehan

pcube : P rimitives for network data P lane P rogramming Rinku Shah Aniket Shirke Akash Trehan Mythili Vutukuru Purushottam Kulkarni Department of Computer Science & Engineering Indian Institute of Technology Bombay P4EU 2018 1 24th

625 views • 24 slides
Additive Decompositions in Primitive Extensions Hao Du Key Laboratory for Mathematics

Additive Decompositions in Primitive Extensions Hao Du Key Laboratory for Mathematics

Additive Decompositions in Primitive Extensions Hao Du Key Laboratory for Mathematics Mechanization AMSS, Chinese Academy of Sciences Joint work with Shaoshi Chen and Ziming Li ISSAC18, July 1619, New York, 2018 Outline Additive

713 views • 34 slides
Wrapper Classes for Primitive Types in Java Primitive Data Types Include... byte, short, int,

Wrapper Classes for Primitive Types in Java Primitive Data Types Include... byte, short, int,

Wrapper Classes for Primitive Types in Java Primitive Data Types Include... byte, short, int, long, float, double char boolean Q. Why arent these objects? A. Efficiency (avoid object overhead) - 24 - Wrapper Classes ...but

269 views • 9 slides
Lecture 2 - Acceleration Structures Welcome! , = (, )

Lecture 2 - Acceleration Structures Welcome! , = (, )

INFOMAGR Advanced Graphics Jacco Bikker - November 2016 - February 2017 Lecture 2 - Acceleration Structures Welcome! , = (, ) , + , , ,

579 views • 40 slides
Flow-level State Transition as a New Switch Primitive for SDN (HotSDN14) Masoud Moshref ,

Flow-level State Transition as a New Switch Primitive for SDN (HotSDN14) Masoud Moshref ,

Flow-level State Transition as a New Switch Primitive for SDN (HotSDN14) Masoud Moshref , Apoorv Bhargava, Adhip Gupta, Minlan Yu, Ramesh Govindan Motivation 2 Current practice Proactive needs a priori knowledge Reactive has high

422 views • 6 slides

More recommend