Conception et spécialisation d'algorithmes distribués : la vague récursive

Design and specification of distributed algorithms : the recursive wave

• Auteur / Autrice : Roberto Gomez Cardenas
• Direction : Ivan Lavallée
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1995
• Etablissement(s) : Paris 8

Mots clés

Mots clés contrôlés

Algorithmes

Fonctions récursives

Arbres (théorie des graphes) -- Informatique

Traitement réparti

Résumé

L'outil le plus utilise en programmation distribuee, jusqu'a une epoque recente, a ete l'echange asynchrone de messages entre processus sequentiels. C'etait la seule facon de construire des algorithmes distribues jusqu'a ce que l'on dispose de l'appel de procedures a distance, (apd). Par ailleurs, l'expression recursive des algorithmes est bien connue en algorithmique sequentielle comme etant le plus souvent elegante, mais tres inefficace. Nous presentons la notion de vague recursive comme base du principe de la recursivite distribuee. Cette notion est fondee sur la concurrence de processus, la recursivite de l'apd. Pour y parvenir, nous precisons les notions afferentes aux primitives utilisees par la vague recursive. Nous decrivons les schemas de principe de la recursivite distribuee, et montrons comment resoudre un certain nombre de problemes de controle classique. Une methode de conception et preuve d'algorithmes distribues est presentee. Nous analysons les proprietes des algorithmes qui generent plus d'une vague recursive par execution. Nous montrons les proprietes des algorithmes recursifs distribues tolerants aux pannes. Nous concluons par la presentation des implementations realisees, en specifiant les caracteristiques des differents environnements