Object management in large-scale distributed systems

Résumé : Les systèmes informatiques répartis prennent une importance toujours croissante, mais restent néanmoins complexes à comprendre à programmer. Les difficultés pratiques et théoriques s'exacerbent à mesure que l'échelle des systèmes s'accroît. Notre recherche a pour but de faciliter le partage de l'information dans de tels systèmes, sans renoncer à leur puissance. Avec le système SOS, nous avons abordé l'angle génie logiciel, par une structuration en objets partagés répartis, dits fragmentés. Ensuite, nous avons étudié les références réparties et le ramasse-miettes avec le mécanisme des CPSS. Enfin nous avons étudié le ramasse-miettes et la persistance dans une mémoire répliquée avec Larchant et PerDiS. Actuellement nous proposons un algorithme de réconciliation appelé IceCube. L'exposé portera principalement sur le problème central du partage d'information : la réplication des données partagées et la cohérence des réplicats. Dans la réplication optimiste, le contrôle de concurrence est paresseux et la cohérence est rétablie après coup. Nous exposerons une nouvelle théorie de la «cohérence inéluctable» (eventual consistency). Elle est basée sur deux primitives très simples permettant d'exprimer les relations habituelles comme la transaction, le conflict, ou la dépendance causale. Nous montrerons les invariants d'intégrité locales et globales nécessaires à la cohérence inéluctable. L'invariant global est très fort et difficile à garantir. Nous exposons enfin un nouvel algorithme de réconciliation intégrant IceCube et garantissant la cohérence inéluctable. Les travaux présentés ont été réalisés en tant que responsable scientifique du projet SOR de l'INRIA Rocquencourt, puis comme «Senior Researcher» du laboratoire Microsoft Research à Cambridge, Royaume-Uni.
Type de document :
HDR
Computer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002
Liste complète des métadonnées

https://hal.inria.fr/tel-01248269
Contributeur : Alain Monteil <>
Soumis le : jeudi 24 décembre 2015 - 12:59:59
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Fichier

shabilo.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : tel-01248269, version 1

Collections

Citation

Marc Shapiro. Object management in large-scale distributed systems. Computer Science [cs]. Université Paris VI ―- Pierre et Marie Curie, 2002. 〈tel-01248269〉

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

63