6. Specifying Connectors Sardes
Seminar
Application deployers don't care about technical
●
issues involved in remote communications
Rather, they care about non-functional requirements
●
Idea
●
Extend ADLs for specifying
–
functional requirement : one-way
●
non functional requirements : ordering,
●
security, reliability ...
Valerio Schiavoni & Pierre Garcia
19/04/2007 6
Sylvain Sicard
7. Configuring (efficient) connectors Sardes
Seminar
Exploit a representation of the hardware in a DSL
●
(HDL) describing
Node configuration
–
Network topology/caratheristics
–
For example:
●
A network topology description model for grid
–
application deployment [INRIA,LacPerPri2004grid]
using both descriptions we want to generate
●
appropriate and efficient connectors
appropriate means meeting non functional
–
requirements specifyed in the application
efficient meaning well-configured
–
Valerio Schiavoni & Pierre Garcia
19/04/2007 7
Sylvain Sicard
8. ADL + HDL : Example 1 Sardes
Seminar
ADL describes 2 components
●
HDL describes a firewall between them
●
-> HTTP Connector has to be built
Valerio Schiavoni & Pierre Garcia
19/04/2007 8
Sylvain Sicard
9. ADL + HDL : Example 2 Sardes
Seminar
JORAM use-case
●
Configuration of causal ordering
●
Ability to choose the best available configuration
●
Valerio Schiavoni & Pierre Garcia
19/04/2007 9
Sylvain Sicard
10. Fractal HA : Example 3 Sardes
Seminar
Objectives
●
Provide high availability to Fractal components
–
HA as a non-functional service in Fractal
–
Usable starting from the level 0.1 of the Fractal specification.
–
Need of a BindingController
●
Minimize constraints on components
●
Independent from Fractal implementation
●
(Julia/AOKell/…)
Valerio Schiavoni & Pierre Garcia
19/04/2007 10
Sylvain Sicard
14. Fractal HA : Example 3 Sardes
Seminar
Valerio Schiavoni & Pierre Garcia
19/04/2007 14
Sylvain Sicard
15. Roadmap Sardes
Seminar
1) Automatic generation of connectors
2) Configuration of connectors
Valerio Schiavoni & Pierre Garcia
19/04/2007 15
Sylvain Sicard
16. Automatic Generation of Sardes
Connectors Seminar
Build arbitrary connectors
●
Connector templates
●
Differences against Jonathan Protocol Graph
●
Aspect Oriented Connectors
●
given a connector template, how to add non-
●
functional requirements (reliability, security)
Valerio Schiavoni & Pierre Garcia
19/04/2007 16
Sylvain Sicard
17. Configuration of Connectors Sardes
Seminar
Designing algorithms to
●
choose a template that fits non-functional
●
requirements (ADL) and hardware resources (HDL)
properly configure template
●
Example: choosing the best protocol implementation
●
for total order
token-based -> homogenous cluster
●
(fixed) sequencer-based -> heterogenous cluster
●
tree-based -> grid
●
Valerio Schiavoni & Pierre Garcia
19/04/2007 17
Sylvain Sicard
18. Short-term plan Sardes
Seminar
Understand Jonathan
●
Understand FractalRMI
●
Replace Jonathan with DREAM
●
Use cases for automatic generation of connectors
●
i.e. JGroups connector to implement group
●
communication (broadcast, group RPC...) in Fractal
Could be use to build Fractal HA
●
Valerio Schiavoni & Pierre Garcia
19/04/2007 18
Sylvain Sicard
19. Mid-term plan Sardes
Seminar
June : show-casing use-cases
●
September: connector template framework and library
●
December: configuration algorithms
●
Valerio Schiavoni & Pierre Garcia
19/04/2007 19
Sylvain Sicard