Coordination de comités instantanément stabilisante
Résumé
Nous nous intéressons à la coordination de comités qui consiste à réaliser des rendez-vous de synchronisation entre des groupes de processus. Nous augmentons la définition originale de ce problème, notamment avec des propriétés d'équité et de concurrence. Nous montrons qu'il est impossible d'assurer à la fois l'équité et la concurrence maximale pour ce problème. Ensuite, nous proposons deux algorithmes instantanément stabilisants pour ce problème. Le premier maximise la concurrence sans garantir l'équité, alors que le second assure l'équité mais ne garantit pas la concurrence maximale. Nous démontrons que le second algorithme reste cependant efficace en terme de niveau de concurrence.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...