Calculabilité et conditions de progression des objets partagés en présence de défaillances

Résumé : Dans un système distribué, différents processus communiquent et se synchronisent pour résoudre un calcul global. La difficulté vient du fait qu'un processus ne connait pas les entrées des autres. Nous considérons ici un système asynchrone: on ne fait aucune hypothèses sur les vitesses d'exécution relatives des différents processus. De plus, pour modéliser les pannes, nous considérons que les processus peuvent crasher: ils peuvent arrêter leur exécution à n'importe quel endroit de leur programme. Dans l'étude théorique des systèmes distribués, les problèmes doivent être considérés selon deux aspects: la sûreté et la progression. La sûreté définit quand une valeur de sortie est correcte. La progression définit dans quelles conditions un processus doit terminer une opération, indépendamment de la valeur qu'il choisit comme sortie. Cette thèse se concentre sur les liens entre calculabilité et conditions de progression des objets distribués. Dans un premier temps, nous introduisons et étudions la notion de conditions de progression asymétriques: des conditions de progression qui peuvent être différentes pour différents processus du système. Nous étudions ensuite la possibilité de fournir des abstractions dans un système donné. La question de l'équivalence de modèles de systèmes est ensuite abordée, en particulier dans le cas où les processus ont accès à des objets puissants. Pour finir, la thèse traite le sujet des tâches colorées en fournissant un algorithme de renommage adapté au cas où la concurrence est réduite. Une nouvelle classe de tâches colorées est enfin introduite qui englobe, sous un formalisme unique, plusieurs problèmes considérés jusqu'ici comme indépendants.
Mots-clés : Systèmes répartis
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2012. French


https://tel.archives-ouvertes.fr/tel-00722855
Contributeur : Damien Imbs <>
Soumis le : dimanche 5 août 2012 - 17:18:19
Dernière modification le : mercredi 13 mai 2015 - 13:50:21

Fichier

Identifiants

  • HAL Id : tel-00722855, version 1

Collections

Citation

Damien Imbs. Calculabilité et conditions de progression des objets partagés en présence de défaillances. Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2012. French. <tel-00722855>

Exporter

Partager

Métriques

Consultation de
la notice

124

Téléchargement du document

51