Etude du comportement temporel d’une plate-forme de communication
de groupe
Localisation : IRISA
Equipe(s) : ADP
Responsable(s) : Emmanuelle Anceaume - poste 7596 - anceaume@irisa.fr
Michel Hurfin- poste 7512 - hurfin@irisa.fr
Mots-clés : modèle partiellement synchrone,
ordonnancement temps réel, gestion de groupe.
Pour de nombreuses applications distribuées, temps réel
et sûreté de fonctionnement sont deux critères
fon-damentaux. Pour concevoir de tels services, on se place en général
soit dans un modèle purement synchrone (i.e., on suppose
l’existence d’horloges locales fortement synchronisées
et une connaissance exacte des temps de traitement des processus,
des temps de transmission des messages), soit dans un modèle
complète-ment asynchrone (i.e., aucune hypothèse temporelle
n’est posée). Le premier modèle bien qu’attrayant
pose des hypothèses trop éloignées des systèmes
réels. A l’opposé, le modèle asynchrone
est évidemment trop pauvre pour refléter le comportement
de systèmes réels. Un modèle hybride entre
ces deux modèles est le modèle partiellement synchrone.
Ce modèle peut être caractérisé par une
succession de phases stables de longue durée (où tout
se passe comme dans un modèle synchrone) et de phases instables
non prévisibles et de courte durée (où tout
se passe comme dans un modèle asynchrone). Une phase stable
est caractérisée par des bornes sur les temps de traitement
des processus et de transmission des messages. EDEN est un système
de communication de groupe prévu pour être utilisé
dans un environnement réparti non-fiable asynchrone (et donc
a fortiori dans un environnement synchrone ou partiellement synchrone).
EDEN permet de gérer dynamiquement la composition d’un
groupe (Membership) tout en déterminant un ordre unique de
traitement des requêtes adressées au groupe (Atomic
Broadcast). EDEN peut donc être utilisé pour assurer
la sûreté de fonctionnement (e.g., replication active).
Dans le cadre de cette thèse nous considérons que
l’environnement est partiellement synchrone. Le premier objectif
de cette thèse est d’étudier une modélisation
comportementale de EDEN dans le but d’analyser son comportement
temporel lorsque les conditions sont favorables (i.e., le système
est dans une phase stable).
Dans un second temps, on s’interrogera sur la pertinence d’utiliser
des algorithmes d’ordonnancement clas-siques lorsque les processus
sont organisés en groupe.
|
