Thèse soutenue

Surmonter les interférences dans le modèle de communication par bips
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Fabien Dufoulon
Direction : Joffroy Beauquier
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 27/09/2019
Etablissement(s) : Université Paris-Saclay (ComUE)
Ecole(s) doctorale(s) : École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire de recherche en informatique (Orsay, Essonne ; 1998-2020)
établissement opérateur d'inscription : Université Paris-Sud (1970-2019)
Jury : Président / Présidente : Colette Johnen
Examinateurs / Examinatrices : Joffroy Beauquier, Colette Johnen, Roger Wattenhofer, Janna Burman, Pierre Fraigniaud, Devan Sohier
Rapporteurs / Rapporteuses : Roger Wattenhofer, Arnaud Casteigts

Résumé

FR  |  
EN

Les petits appareils électroniques peu coûteux et à communication sans fil sont devenus largement disponibles. Bien que chaque entité ait des capacités limitées (par exemple, communication basique ou mémoire de taille constante), un déploiement à grande échelle de telles entités communiquantes constitue un réseau performant, en plus d’être peu coûteux. De tels systèmes distribués présentent toutefois des défis importants en ce qui concerne la conception d'algorithmes simples, efficaces et évolutifs. Dans cette thèse, nous nous intéressons à l’étude de ces systèmes, composés d’appareils dotés de capacités de communication très limitées, à base de simples impulsions d’énergie. Ces systèmes distribués peuvent être modélisés à l'aide du modèle de bips, dans lequel les nœuds communiquent en émettant un bip, un simple signal indifférencié, ou en écoutant leurs voisins (selon un graphe de communication non orienté). Les communications simultanées (c'est-à-dire les collisions) entraînent des interférences non destructives : un nœud, dont deux voisins ou plus émettent simultanément un bip, détecte seulement un bip. Ce mécanisme de communication simple, général et économe en énergie rend les résultats obtenus dans le modèle de bips applicables à de nombreuses situations différentes, avec cependant un challenge. En raison de la faible expressivité des bips et des collisions, la conception des algorithmes est difficile. Tout au long de ce travail, nous surmontons ces deux difficultés afin de fournir des primitives de communication efficaces. La thèse s’intéresse particulièrement aux solutions déterministes, rapides (en temps) et indépendantes des paramètres du graphe de communication (c’est-à-dire uniformes). La première partie de la thèse considère un cadre dans lequel les nœuds se réveillent en même temps (c’est-à-dire que le réseau a été configuré a priori). Pour obtenir des solutions efficaces pour des problèmes fondamentaux de communication distribuée, nous nous concentrons d’abord sur la résolution efficace de problèmes de brisure locale de symétrie : ensemble indépendant maximal et coloration de sommets utilisant au plus Δ + 1 couleurs (où Δ est le degré maximal du graphe de communication). Nous élaborons des solutions à ces problèmes ainsi qu'à leurs variantes à distance deux. Cela nous permet de simuler une communication par messages. Enfin, nous obtenons le premier algorithme de coloration utilisant moins de Δ + 1 couleurs dans le modèle de bips. Ensuite, nous étudions des problèmes définis à l’échelle du réseau, tels que l’élection d'un leader et la diffusion multiple de messages. L'élection d'un leader est un élément essentiel dans la conception d'algorithmes distribués. Nous donnons les deux premiers algorithmes d’élection de leader optimaux en temps pour le modèle de bips. L'un est déterministe, mais nécessite des identifiants uniques. Le second n’a pas besoin d’identifiants (utile pour des raisons de sécurité et de confidentialité), mais est randomisé. S'appuyant sur une élection de leader optimale en temps, plusieurs algorithmes pour la diffusion multiple, efficaces en temps et en calcul, sont présentés. La deuxième partie de la thèse considère un cadre plus difficile mais plus général, dans lequel les nœuds se réveillent de façon asynchrone. Nous nous concentrons sur le problème de désynchronisation à distance deux, qui permet un contrôle de l'accès au support, primordial dans les réseaux sans fil. Nous montrons qu'il est possible pour les nœuds de communiquer de manière cohérente au-delà de leur voisinage immédiat. A cette fin, une primitive permettant aux nœuds de simuler une communication est présentée. Cette primitive est un élément central dans la conception de l'algorithme de désynchronisation à distance deux. Enfin, nous exploitons cette solution afin d'implémenter des primitives de haut niveau pour l’envoi et la réception de messages.