Description
Date depot: 29 mars 2023
Titre: Variations around Snap-Stabilization and Mutual Exclusion
Directeur de thèse:
Franck PETIT (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Systèmes et réseaux
Resumé: L'auto-stabilisation est une approche reconnue de la tolérance aux pannes dans l'informatique distribuée. L'intérêt fondamental de ce paradigme est qu'il fournit une approche générale pour la conception d'algorithmes distribués tolèrant les fautes transitoires, c'est-à-dire les fautes qui sont assez rares, d'une durée finie, quelle que soit leur nature et leur origine. Un algorithme distribué instantanément stabilisant stabilise avec un temps de convergence nul. Du point de vue de l'utilisateur, un tel algorithme est particulièrement intéressant, car malgré les fautes transitoires, il fournit toujours une réponse correcte aux requêtes émises au travers du réseau. Le sujet de doctorat proposé vise à définir et à explorer de nouvelles variations de la stabilisation instantanée afin de l'améliorer ou de contourner certains résultats d'impossibilité et de limites inférieures. Nous souhaitons nous concentrer sur l'un des problèmes majeurs des systèmes distribués, à savoir l'exclusion mutuelle.
Résumé dans une autre langue: Self-stabilization is a recognized fault tolerance approach in distributed computing. The fundamental interest of this paradigm is that it provides a general approach in the design of distributed algorithms that tolerate transient faults, i.e., faults that are quite rare, of finite duration, no matter their nature and origine. A snap-stabilizing distributed algorithm self-stabilizes with a null convergence time. From the user point of view, such an algorithm provides the strong property that the answer to any request is always correct despite the transient faults.
The proposed Ph.D. subject aims to define and explore new variations of snap-stabilization in order to enhance it or to circumvent some impossibility or lower bounds results. We aim of focussing on one of the major problem in distributed system, namely Mutual Exclusion.