Analyse des d´ependances pour le d´eploiement...

Analyse des dependances pour le deploiementautonome

Projet : Safe AUtonomic Network Administration (SAUNA)

Meriem Belguidoum Antoine Beugnard Fabien Dagnat

Departement d’InformatiqueENST Bretagne

Journees des Doctorants 2005

IntroductionLe deploiement

Les dependances d’installationConclusion et perspectives

ContexteObjectifs

Contexte

OS

CPUDiskSizeRAM....

processeur

Environnement

Materiels processeur

Disk ....

OS ....Logiciels

Installation

Composant

Analyse des dépendances

LanguageMode graphiqueDoc en ligne

....

KO OK

Pourquoi?

Utilisateur

Mise à jour

2



ContexteObjectifs

Objectifs

Etudier les differents types de dependances liees audeploiement.

La prise en compte de l’evolution du systeme (besoind’autonomie)

La verification et la validation du deploiement (besoin d’unmodele formel).

3



ContexteObjectifs

1 Le deploiement

2 Les dependances d’installation

3 Conclusion et perspectives

4



Le monde du deploiementModelisation

1 Le deploiement



5

Le monde du deploiement

Ressources Mecanismes

Proprietes Politiques

... ...

... ...

Machine Postfix Installation

Coherence Securisee

Deploiement

Monde Reel vs Monde Formel

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

Description abstraite

de dependence

Description abstraite

de contexte

Raisonnement



Le monde du deploiementModelisation

Modelisation du deploiement

Ressource

entité deployable Site de déploiement

Activité déploiement

possède+*

ContraintesPropriétés

*

possède

effectuée dans

Politique

Descripteur

* *

*

utiliseeffectuée sur

possède

possède+

DépendanceRègles de déploiement

utilise

Utilise

Contexte

Possède

Utilise

possède

Created with Poseidon for UML Community Edition. Not for Commercial Use.

8

Ressource

entité deployable Site de déploiement

Activité déploiement

possède+*

ContraintesPropriétés

*

possède

effectuée dans

Politique

Descripteur

* *

*

utiliseeffectuée sur

possède

possède+

DépendanceRègles de déploiement

utilise

Utilise

Contexte

Possède

Utilise

possède

Created with Poseidon for UML Community Edition. Not for Commercial Use.



L’interet de l’etude des dependancesFormalisation des dependances d’installationLe principe de l’installation

1 Le deploiement



10




Pourquoi l’etude des dependances ?

Permettre le deploiement automatique.

Verifier la compatibilite d’un composant avec :

son environnement.les differents composants.

Assurer la coherence :

intra-composant.inter-composants.

Detecter les situations d’interblocage lies au deploiement descomposants.

11

Exemple du serveur de messagerie

postfixsize ≥ 1380

¬SM∧ lib

pmail ∨ MUA

Amavis AV

MTA

fetchmailsize ≥ 852

¬ poclient ∧ lib

ServeurPop

MTA

Popclient

procmailfetchmail ∨ MTA

¬ Smanager ∧ lib

size ≥ 248

Spam ∧ Sanitizer AntiSpam

MDA

Sylpheedsize ≥ 1508

¬ SylpheedDoc ∧ lib

MDA

spell-Dict Check

MUA

MTA MDA MUA AV AntiSpam




Les predicats et les dependances

Les predicats

true

[v ≥ V ]

S

¬P

P1 ∧ P2

P1 ∨ P2


Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D1 :

D2 : MTA

AV-MTA

13




Les predicats et les dependances

Les dependances

D1 • D2

?D


Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D1 :

D2 : MTA

AV-MTA

13




Le principe de l’installation

Mise à jourcontexte

non oui

⇒ (S, I)

composantDependances du Contexte

(D) Ctx(E , SD, SI )

InstallabiliteCtx ` D

Fin

Installation

Ctx ` D

14






ouinon

⇒ (S, I)



Installation

Ctx ` D


Fin

14






non oui

⇒ (S, I)




Fin

Installation

Ctx ` D

14






non oui




Fin

Installation

Ctx ` D⇒ (S, I)

14





non ouiMise à jourcontexte




Fin

Installation

Ctx ` D⇒ (S, I)

14



1 Le deploiement



15



Conclusion

Caracterisation des dependances d’installation des composants

Traitement de l’installation avec la distinction entre :

Les dependances obligatoires, optionnelles et negatives.l’installabilite et l’installation effective des services.

Preuve formelle d’installabilite et d’installation.

16



Perspectives

Gestion de l’assemblage de composants.

Gestion de l’evolution du systeme.

Prouver les systemes de deduction proposes.

Integrer la notion de proprietes non-fonctionnelles.

Etudier les autres activites de deploiement.

17



Questions

Merci de m’avoir ecoute

18

Analyse des d´ependances pour le d´eploiement...

Documents

Transcript of Analyse des d´ependances pour le d´eploiement...