Author: Franck ButellePublisher:
ISBN: 9782726108307
Category :
Languages : fr
Pages : 187
Book Description
Nous présentons dans cette thèse une étude sur des algorithmes distribués asynchrones et déterministes de contrôle. Un système distribué consiste en un réseau de sites (processeurs, ordinateurs ou réseaux locaux). Dans cette thèse, nous ne considérons que des réseaux de sites communicants n'ayant ni mémoire partagée, ni horloge globale. De nombreux problèmes de l'algorithmique distribuée sont réductibles à la construction d'un arbre couvrant qui est la structure de contrôle qui nous intéresse. Nous étudions deux types d'algorithmes: ceux utilisant la notion de phase logique et les autres qui ne considèrent aucun mécanisme de synchronisation. Ces derniers ont des comportements imprévisibles améliorent la tolérance aux fautes. Nous présentons un nouvel algorithme de ce type associé à une élection qui n'est pas une recherche d'extremum contrairement a l'usage. Cet algorithme est comparable au meilleur algorithme connu qui utilise des jetons et des phases logiques induisant un comportement plus séquentiel. D'autres algorithmes, construisant des ac contraints, sont considèrés. En particulier, l'ac de diamètre minimum qui est, à notre connaissance, un problème qui n'a jamais été étudié dans ce domaine. Le diamètre d'un graphe est la somme des poids des arêtes du plus long des plus courts chemins. Si nous considérons la complexité temporelle, cette contrainte est d'un intérêt évident. Nous proposons différents algorithmes suivant que la tolérance aux fautes est nécessaire ou non. Finalement, l'étude pratique des algorithmes distribués sur des réseaux de grande taille nous a conduit à la construction d'un simulateur. Il permet l'exécution d'un même code source sur des machines séquentielles ou parallèles
