Une structure arborescente pour une classe d'algorithmes distribués d'exclusion mutuelle

A tree structure for a class of distributed algorithms for mutual exclusion

• Auteur / Autrice : Mohamed Naimi
• Direction : Michel Tréhel
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Besançon
• Partenaire(s) de recherche : Autre partenaire : Université de Franche-Comté. UFR des sciences et techniques
• Jury : Président / Présidente : Jean-Pierre Finance
• Jury : Examinateurs / Examinatrices : Jean Hardouin-Duparc, Guy-René Perrin
• Jury : Rapporteurs / Rapporteuses : Claude Kaiser, Michel Raynal

Mots clés

Mots clés contrôlés

Traitement réparti

Algorithmes

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

File attente

Structure arborescente

Chemin plus court

Exclusion mutuelle

Systeme reparti

Systeme informatique

Distributed algorithm

Queue

Tree structure

Shortest path

Mutual exclusion

Distributed system

Computer system

Résumé

Dans la premiere partie, une presentation des solutions existantes pour les reseaux complets est proposee. La deuxieme partie contient l'idee fondamentale de la these: au lieu de diffuser une demande d'entree en section critique, un site va demander l'autorisation a un seul site. Les chemins d'acces a ce site sont structures en arborescence. La troisieme partie presente un algorithme de reorganisation de l'arborescence en cas de panne d'un site: un algorithme d'exclusion mutuelle, base sur la notion d'arborescence est valable quand le reseau n'est pas complet. La preuve de l'exclusion mutuelle, de l'absence d'interblocage et de la famine est aussi donnee