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

par Roberto Gomez Cardenas

Thèse de doctorat en Informatique

Sous la direction de Ivan Lavallée.

Soutenue en 1995

à Paris 8 .


  • 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

  • Titre traduit

    Design and specification of distributed algorithms : the recursive wave


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 218 f.
  • Annexes : Bibliogr. f 209-216

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris 8-Vincennes Saint-Denis (Sciences humaines et sociales-Arts-Lettres-Droit). Service Commun de la Documentation. (Saint-Denis) .
  • Accessible pour le PEB
  • Bibliothèque : Université Paris 8-Vincennes Saint-Denis (Sciences humaines et sociales-Arts-Lettres-Droit). Service Commun de la Documentation. (Saint-Denis) .
  • Disponible pour le PEB
  • Cote : -
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.