Spécification des objets partagés dans les systèmes répartis sans-attente

Résumé : Dans les systèmes répartis à très grande échelle, les critères de cohérence forts comme la cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à obtenir. Dans cette thèse, nous nous posons la question de la spécification des objets que l'on peut tout de même obtenir. Nous soutenons qu'il est toujours possible de séparer leur spécification en deux facettes : un type de données abstrait qui spécifie l'aspect fonctionnel des opérations et un critère de cohérence faible qui décrit la qualité de service garantie par l'objet dans son environnement réparti. Nous illustrons ces concepts par une mise en oeuvre dans le langage D : les types de données abstraits sont les classes du programme et les critères de cohérence sont choisis dans une liste fournie par la bibliothèque CODS. Nous dressons une carte de l'espace des critères faibles organisée autour de trois familles de critères primaires (localité d'état, convergence et validité) et trois familles de critères secondaires (cohérence d'écritures, cohérence pipeline et sérialisabilité). Chaque critère secondaire renforce deux critères primaires, mais les trois critères primaires ne peuvent pas être implémentés ensembles dans les systèmes considérés. Nous étudions également l'effet de la causalité sur ces familles.
Type de document :
Thèse
Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français
Liste complète des métadonnées

Littérature citée [125 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01390700
Contributeur : Matthieu Perrin <>
Soumis le : mercredi 2 novembre 2016 - 12:54:46
Dernière modification le : samedi 25 février 2017 - 01:02:24
Document(s) archivé(s) le : vendredi 3 février 2017 - 13:50:36

Identifiants

  • HAL Id : tel-01390700, version 1

Collections

Citation

Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente. Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français. 〈tel-01390700〉

Partager

Métriques

Consultations de
la notice

123

Téléchargements du document

162