elton mathias and jean michael legait 1 elton mathias, jean michael legait, denis caromel, et al....
TRANSCRIPT
![Page 1: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/1.jpg)
1Elton Mathias and Jean Michael Legait
Elton Mathias, Jean Michael Legait,Denis Caromel, et al.
OASIS TeamINRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis, IUF
CoreGrid Summer School 2007
ProActive / GCM
![Page 2: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/2.jpg)
2Elton Mathias and Jean Michael Legait
• GCM: Grid Component Model– GCM being defined in the NoE CoreGRID
• Open Source ObjectWeb ProActive– implements a preliminary version of GCM
• GridCOMP takes:– GCM as a first specification, – ProActive as a starting point, and Open Source reference implementation.
GCM Components
Scopes and Objectives:
- Grid Codes to Compose and Deploy
- No programming, No Scripting, …
![Page 3: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/3.jpg)
3Elton Mathias and Jean Michael Legait
GCM Partners
![Page 4: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/4.jpg)
4Elton Mathias and Jean Michael Legait
Rationale: grid applications
Requirements Solutions with ProActive/GCM
Distribution Distributed components
Multiple administrative domains
Handled by the middleware
HeterogeneityPortable implementations, interoperability
Legacy code Encapsulation, interoperability
Performance Legacy code, parallelism
Complexity Hierarchies, collective interfaces
DynamicityAdaptation and coherent reconfigurations
Tools ADL, GUI, Packaging
![Page 5: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/5.jpg)
5Elton Mathias and Jean Michael Legait
Approach Based on the Fractal Model• INRIA - France Telecom, V1 in ’02
Fractal requires extensions for Grid Computing
Specified in the Grid Component Model (CoreGRID)
• However:– Distribution ?– Deployment ?– Parallelism ?
• Simple, extensible, hierarchical, dynamic • Separation of concerns (controllers)
• General model, core concepts– Encapsulation– Strict Definition– Assembly and deployment units
![Page 6: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/6.jpg)
6Elton Mathias and Jean Michael Legait
Some important Fractal Concepts
• Content• Controller (or membrane)• Server Interface•Client Interface
• Bind(ing)
• Functional interface
• Control (or non-functional) Interface
![Page 7: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/7.jpg)
7Elton Mathias and Jean Michael Legait
• Implementation of Fractal based on ProActive middleware Model– conformant up to level 3.3 (fully compliant with the API)
– Based on MOP architecture: Component as Active Object
– Distributed components, asynchronous communications (futures)
– Benefits from underlying features of the middleware• Middleware services (Fault Tolerance, Security, Mobility etc..)• Deployment framework (Grids)
– Sequential processing of requests in each component
– Main extensions to fractal: deployment, collective interfaces
– Configurable and extensible
ProActive/Fractal
![Page 8: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/8.jpg)
8Elton Mathias and Jean Michael Legait
Standard Fractal Interfaces
Only 1 to 1 communications!
collective interfaces
– Multicast
– Gathercast
![Page 9: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/9.jpg)
9Elton Mathias and Jean Michael Legait
Collective Interfaces
• Simplify the design and configuration of component systems
• Expose the collective nature of interfaces– Cardinality attribute
• Multicast, Gathercast, gather-multicast
• Based on ObjectWeb Fractal API : – Dedicated controller – Interface typing Verifications
The framework handles collective behaviour at the level of the interface
![Page 10: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/10.jpg)
10Elton Mathias and Jean Michael Legait
Multicast interfaces QuickTime™ and aTIFF (LZW) decompressorare needed to see this picture.
single invocation list of invocations• Multiple invocations
– Parallel– Asynchronous– Selective– Dynamic
• Data distribution–Automatic–Parameterizable distribution function–Broadcast, scattering, reduction–Explicit typing,
•Parameterized collections•Compatibility verified at runtime when binding
![Page 11: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/11.jpg)
11Elton Mathias and Jean Michael Legait
Multicast Interfaces Illustrated QuickTime™ and aTIFF (LZW) decompressorare needed to see this picture.
Configurable distribution policies Parallelism
Strong typing
Configurable distribution policies Parallelism
Strong typing
![Page 12: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/12.jpg)
12Elton Mathias and Jean Michael Legait
Gathercast Interfaces QuickTime™ and aTIFF (LZW) decompressorare needed to see this picture.
• Synchronization– ~ “join” invocations– Customizable: wait-for-all, wait-for-some, elections– Timeout
• Data distribution - Aggregation / reduction of parameters - Redistribution of results - Symmetrical to multicast
list of invocations single invocation
![Page 13: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/13.jpg)
13Elton Mathias and Jean Michael Legait
Gathercast Interfaces Illustrated QuickTime™ and aTIFF (LZW) decompressorare needed to see this picture.
Configurable distribution policies Synchronization Strong typing
Configurable distribution policies Synchronization Strong typing
![Page 14: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/14.jpg)
14Elton Mathias and Jean Michael Legait
Architecture Description Language (ADL)
• Used to configure and deploy component systems.
• The ADL has been updated and is now an extension of the standard Fractal ADL: – allowing to reuse ProActive-specific features like deployment
• Support to Collective Interfaces definition (comming soon!)
![Page 15: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/15.jpg)
15Elton Mathias and Jean Michael Legait
Virtual Nodes
• Permits a program to generate automatically a deployment plan:
find the appropriate nodes on which processes should be launched.
• In the future: – adjunction of more sophisticated descriptions
application requirements (hw description, topology, QoS, …)
![Page 16: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/16.jpg)
16Elton Mathias and Jean Michael Legait
Virtual Nodes in the ADL
• Renames a VN• Exports a VN name
Pa.: final version of the GCM specification will precisely define the syntax for the virtual node definition, and their composition.
![Page 17: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/17.jpg)
17Elton Mathias and Jean Michael Legait
Ongoing Work
– Grid Component Model, adaptive components
– Model checking, formal verification of behavioral properties
– Components for scientific computing (and legacy code wrapping)
– VERCORS: VERification of models for distributed communicating COmponants, with safety and Security
• Vercors editor
![Page 18: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/18.jpg)
10/04/23
Elton Mathias and Jean Michael Legait
Vercors Editor UML2 Component Diagram
Integrated into the Eclipse environment
Fast system specification
Easy navigation through statical errors
![Page 19: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/19.jpg)
10/04/23
Elton Mathias and Jean Michael Legait
Vercors EditorUML2 State-Machine Diagram
Component behaviour specified with UML State Machines
Formal verification based on Labelled Transition Systems
![Page 20: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/20.jpg)
20Elton Mathias and Jean Michael Legait
Let’s practice a little more !
http://proactive.objectweb.org
![Page 21: Elton Mathias and Jean Michael Legait 1 Elton Mathias, Jean Michael Legait, Denis Caromel, et al. OASIS Team INRIA -- CNRS - I3S -- Univ. of Nice Sophia-Antipolis,](https://reader036.vdocuments.mx/reader036/viewer/2022062619/5515224f55034673228b5130/html5/thumbnails/21.jpg)
21Elton Mathias and Jean Michael Legait
Conclusion