Synchroniseur à base de transformées opérationnelles pour environnements P2P
Abstract
La réconciliation de copies divergentes est un problème général qui se pose dans les systèmes répartis, le travail collaboratif, l'ingénierie distribuée, le génie logiciel et les systèmes de contrôle de versions ainsi que dans le travail individuel mettant en jeu plusieurs postes mobiles. Les synchroniseurs fournissent une réponse à ce problème en permettant de réconcilier deux copies divergentes du même objet. Malheureusement leur utilisation pour réconcilier n copies nécessite l'existence d'un composant central (copie de référence, site particulier) sans quoi la convergence des copies n'est pas assurée. Ce papier présente les principes et l'algorithme d'un Synchroniseur qui permet d'obtenir la réconciliation de n copies, sans privilégier de copie ou de site particuliers. Les copies peuvent avoir été modifiées (en concurrence ou non) sur les différents sites, le Synchroniseur proposé permet de les réconcilier deux à deux, à n'importe quel moment, par association de couples quelconques. Son grand intérêt est de permettre la propagation libre et paresseuse des mises à jour effectuées sur les différentes copies tout en garantissant à terme leur convergence.