Présentation et étude de quelques problèmes d'algorithmique distribuée - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2012

Presentation and study of some distributed algorithm problems

Présentation et étude de quelques problèmes d'algorithmique distribuée

Résumé

In this thesis, we first present a study of several problems in the field of distributed algorithms. We provide a formal model that relies on anonymous networks. In this model, we characterize graphs in which it is possible to solve enumeration and leader election problems. This characterization is based on graph homomorphism. We introduce two algorithms with polynomial complexities that improve existing works with exponential complexities. On the other hand, we study the snapshot problem and we introduce the notion of weak snapshot. We show that there exist solutions for this problem in the context of anonymous networks. We present several results about distributed snapshots that deal with checkpoint and rollback recovery, termination detection or the cartography computation of a network. In a practical aspect, we present the conception, the development process and the implementation of these distributed snapshot algorithms within the simulation and visualization software ViSiDiA.
Nous proposons tout d'abord une étude de plusieurs problèmes de l'algorithmique distribuée. Nous fournissons un modèle formel appliqué aux réseaux de diffusion anonymes. Dans ce modèle, nous caractérisons les graphes dans lesquels il est possible de résoudre l'énumération et l'élection. Cette caractérisation se base sur la notion d'homomorphisme de graphes. Nous proposons deux algorithmes dont la complexité est polynomiale et qui améliorent les complexités exponentielles connues jusqu'à présent. Dans un second temps, nous étudions le problème du calcul de l'état global et nous introduisons la notion de weak snapshot. Nous montrons qu'il existe des solutions pour ce problème dans les réseaux anonymes. Nous présentons plusieurs résultats concernant le calcul de l'état global en liaison avec des applications telles que le calcul de points de reprise, la détection de la terminaison ou encore le calcul d'une cartographie du réseau. Dans un cadre plus pratique, nous présentons la conception, le développement et l'implémentation des algorithmes proposés pour le calcul de l'état global au sein du logiciel de simulation et de visualisation ViSiDiA.
Fichier principal
Vignette du fichier
MORSELLINO_THOMAS_2012.pdf (2 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00991004 , version 1 (14-05-2014)

Identifiants

  • HAL Id : tel-00991004 , version 1

Citer

Thomas Morsellino. Présentation et étude de quelques problèmes d'algorithmique distribuée. Calcul parallèle, distribué et partagé [cs.DC]. Université Sciences et Technologies - Bordeaux I, 2012. Français. ⟨NNT : 4586⟩. ⟨tel-00991004⟩

Collections

CNRS
219 Consultations
1070 Téléchargements

Partager

Gmail Facebook X LinkedIn More