Description
Date depot: 1 janvier 1900
Titre: Ordre dans les systèmes distribués
Directeur de thèse:
Eric GRESSIER-SOUDAN (CEDRIC)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Un système distribué est un système constitué d'un ensemble d'unités de calcul autonomes dotées de capacités de communication. Chacune de ces unités a sa propre fonction
dans l'ensemble du système. Mais pour diverses raisons (partage de ressources, disponibilité,
tolérance aux fautes...), ces unités doivent coordonner leurs actions. Dans cette thèse, nous
nous intéressons aux systèmes distribués asynchrones. Dans ces systèmes, le temps absolu
ou même relatif auquel advient un événement ne peut pas être déterminé avec précision. En
particulier, dans le cas où ces entités communiquent seulement par échange de messages,
le délai de transmission est fini (sauf en cas de perte du message), mais imprévisible.
Cet asynchronisme complique fortement le développement et la preuve d'algorithmes
distribués. En effet, alors que dans un système centralisé, tous les événements peuvent être
ordonnés, dans un système distribué, on ne peut faire a priori aucune hypothèse sur l'ordre
dans lequel les événements sont reçus.
Dans cette thèse, je fais la synthèse de mes contributions à l'ordre dans les systèmes
distribués.
Dans une première partie, nous nous intéressons au domaine de la communication par
messages. Nous présentons tout d'abord l'algorithme des trains, un algorithme de diffusion
uniforme à ordre total. Cet algorithme optimise l'utilisation de la bande passante réseau.
Par ailleurs, il minimise le temps de récupération en cas de perte d'un processus participant au protocole. Nous décrivons ensuite comment exploiter la propriété d'attachement
dynamique d'un langage à objet en vue d'intégrer cet algorithme (nous pourrions obtenir
le même résultat avec de la programmation par aspects). Nous obtenons ainsi une mémoire
distribuée partagée à base de diffusion uniforme à ordre total. Cette mémoire a été exploitée avec succès pour la tolérance aux fautes dans un système de contrôle-commande et de
supervision.
Dans une seconde partie, nous nous focalisons sur le domaine de la communication par
variables partagées. Nous présentons des travaux effectués dans le cadre du développement
d'applications en téléphonie mobile. Ces travaux ont permis de mettre au point une mémoire distribuée partagée originale à deux points de vue : 1) même si elles n'ont aucune
capacité de calcul, les étiquettes NFC utilisées dans l'architecture sont partie prenante
dans la mémoire distribuée partagée de ce système distribué; 2) ce sont les utilisateurs
du système distribué qui font office de réseau de transport d'information pour cette mémoire distribuée partagée. Cette mémoire distribuée partagée à base de NFC contribue à la
communauté du NFC dans la mesure où elle propose une nouvelle architecture aux architectures classiquement utilisées dans le domaine du NFC. Cette architecture a été exploitée
avec succès dans le cadre d'un jeu permettant la découverte de pièces de collection d'un
musée.
Doctorant.e: Simatic Michel