Télécharger la présentation
1
Réconciliation de données dans un environnement mobile Gérald Oster, Doctorant Pascal Molli, Maître de Conférence {oster, molli}@loria.fr LORIA, INRIA-Lorraine Equipe ECOO
2
Introduction Mobilité: Cycles travail connecté/déconnecté Réplication des données Copies divergent en mode déconnecté Problème: Réconcilier les copies à la reconnection…
3
État de l’art Synchroniseurs fichiers/données : 2 copies, réconciliation grossière et peu sûre, gestion des conflits primaire (HotSync, ActiveSync, Intellisync…) Gestionnaires de configuration : Gestion de versions et outils de fusions (diff3, Flexible merge, XmlMerge…) Système distribués: Cohérence causale, linéarisabilité… Base de données Réplication et consistance faible… Éditeurs collaboratifs temps réels : Approche transformationnelle (dOPT, adOPTed, GOT, GOTO, SOCTx…)
4
Approche transformationnelle Object O operations {op 1, op 2,.., op n } O Site 1 op i (O) OOO Site 2Site 3Site n... op i (O) 2 3 4 1 execution reception broadcast generation
5
Approche transformationnelle Propriétés de cohérence : Respect de la causalité, Respect de l’intention, Convergence
6
Causalité op 1 op 2 Site 1Site 2 op 1 précède op 2 op 1 op 2 Site 3 Danger Risque d’incohérence
7
Convergence et Intention… "effecst" insert(6,'s') insert(2,'f') Site 1 : user 1 "efect" "effect" Site 2 : user 2 "efect" "efects" "effects" insert(6,'s') insert(2,'f') "effects" insert(7,'s') insert(2,'f') Site 1 : user 1 "efect" "effect" Site 2 : user 2 "efect" "efects" "effects" insert(6,'s') insert(2,'f') T(insert(6,’s’), insert(2,’f’))
8
Problématique Approche transformationnelle Conçu pour des divergences faibles : Côté arbitraire des transformations « Feedback » synchrone insuffisant Adaptations actuelles de l’approche transformationnelle: Intégration de gestion de versions (MOVIC) : Explosion combinatoire N’abordent pas le problème de la résolution
9
Proposition Converger vers un état contenant des Conflits Nouvel objet typé « Conflit » Résolution négociée des conflits Questions Comment définir les Objets Conflit ? Quand les créer ? Quand les détruire ? Comment les représenter ?
10
Un nouvel objet typé : Conflit CreateConflict : CC(cid, op1, op2) AddInConflict : AC(cid, op) RemoveInConflict : RC(cid, op) RemoveConflict : IC(cid) Détruit le conflit/Confirme le choix arbitraire du système ChooseOpInConflict : COIC(cid, op) Elit une nouvelle opération comme choix
11
État initial Opérations concurrentes : EditFile(‘/Dir/SubDir/File2’) Remove(‘/Dir/SubDir’) Initialement File2 Dir SubDir File1
12
État de convergence Convergence File2* Dir SubDir File1 Conflit : C = { op1 = EditFile(‘/Dir/SubDir/File2’), op2 = Remove(‘/Dir/SubDir’) } Histoire : op1 = EditFile('/Dir/SubDir/File2') op2' = CreateConflict(c, op1, Remove('/Dir/SubDir'))
13
État après résolution Résolution : Alternative 1 File2* Dir SubDir File1 Conflit : C = { op1 = EditFile(‘/Dir/SubDir/File2’), op2 = Remove(‘/Dir/SubDir’) } Histoire : op1 = EditFile('/Dir/SubDir/File2') op2' = CreateConflict(c, op1, Remove('/Dir/SubDir')) op3 = RemoveConflict(c)
14
État après résolution Résolution : Alternative 2 File2* Dir SubDir File1 Conflit : C = { op1 = EditFile(‘/Dir/SubDir/File2’), op2 = Remove(‘/Dir/SubDir’) } Histoire : op1 = EditFile('/Dir/SubDir/File2') op2' = CreateConflict(c, op1, RemoveDir('/Dir/SubDir')) op3 = ChooseOpInConflict(c, op2) Annuler(op1), op2, RemoveConflict(c)
15
Conclusions et Perspectives Réconciliation des copies en milieu mobile: Approche transformationnelle Ajout des objets conflits pour supporter les divergences fortes… Perspectives Preuve des propriétés de causalité, convergence et intention en présence d’objet Conflits… Comment représenter les conflits ?
