Précédent : Systèmes Critiques Embarqués Remonter :
Actions de recherche
Suivant : Ordonnancement temps réel
Participants : Emmanuelle Anceaume, Bernadette Charron-Bost,
Pascale Minet, Sam Toueg
Le problème d'appartenance à un groupe (``group membership'')
est au coeur de nombreux travaux théoriques et expérimentaux dans
le domaine des systèmes distribués tolérants aux fautes. De
nombreuses publications ont paru sur le sujet depuis plusieurs
années, et plusieurs spécifications formelles de ce problème ont
été données. Nous avons examiné les deux spécifications formelles
d'appartenance à un groupe les plus référencées :
- travaux d'A. Ricardi et K. Birman spécifiant l'appartenance
à un groupe dans le cas d'une partition majoritaire,
- travaux de D. Dolev, D. Malki et R. Strong spécifiant
l'appartenance à un groupe dans le cas où plusieurs partitions
peuvent évoluer en parallèle.
Nous avons montré que ces spécifications ne sont pas
satisfaisantes : l'une présente des lacunes dans le formalisme et
autorise des exécutions indésirables, l'autre peut être
satisfaite de façon triviale et est sans intérêt pour
l'utilisateur. La spécification correcte du ``group membership''
est un problème qui reste ouvert.