Un système qui accepte des écritures des deux côtés d'une partition se retrouve, à la réconciliation, avec deux versions d'une même donnée. Il faut trancher.
Les trois stratégies
La dernière écriture gagne. On compare les horodatages et on garde le plus récent. Simple, et faux dès que les horloges des machines diffèrent, ce qui est toujours le cas.
Le conflit est signalé. Le système conserve les deux versions et les rend toutes les deux à la lecture suivante, à charge pour l'application de choisir.
La structure absorbe le conflit. Certaines structures fusionnent sans ambiguïté : un compteur qui ne fait qu'augmenter, un ensemble où l'on n'ajoute qu'après avoir retiré. La fusion devient un calcul, et non une décision.
Objectif
Compter les stratégies, nommer celle qui perd une écriture sans le dire, compléter la condition d'une fusion sans arbitrage, et dire si signaler un conflit revient à le trancher.
Rappels
Une donnée qui se fusionne sans arbitrage obéit aux mêmes exigences qu'une réduction qui se recolle sans savoir dans quel ordre les résultats partiels sont arrivés : le regroupement des opérations et leur ordre ne doivent pas changer le résultat.