Existe-t-il des algorithmes généraux pour obtenir une cohérence éventuelle dans les systèmes distribués?

Question

Existe-t-il des algorithmes couramment utilisés pour obtenir une cohérence éventuelle dans les systèmes distribués?

Des algorithmes ont été développés pour les transactions ACID dans les systèmes distribués, en particulier Paxos, mais existe-t-il une théorie similaire qui a été développée pour les scénarios BASE, avec des garanties de cohérence plus faibles?

Éditer: Cela semble être un domaine de recherche universitaire qui commence seulement à être développé. La réponse de Mcdowella montre qu'il y a eu au moins quelques travaux dans ce domaine.

Answer 1

Si « protocoles anti-entropie pour la réparation des données répliquées , qui fonctionnent en comparant les répliques et réconcilier les différences. " correspond à votre définition regarder http://en.wikipedia.org/wiki/Gossip_protocol

Answer 2

BASE et une cohérence plus faible se résument à la convergence des copies dans un scénario de réplication. Il existe une littérature abondante sur la réplication dans le système distribué, avec eiter désireux ou paresseux réplication, avec groupe ou copie maître, etc.

Consensus est un problème qui peut être formulé avec précision. Plusieurs solutions/algorithmes peuvent être proposés. La réplication paresseuse avec la convergence des copies ne l'est pas. J'ai l'impression que c'est plus un problème d'architecture. Mais comme je viens de le dire, il y a beaucoup de travail sur la réplication ou le stockage distribué, ce qui pourrait être ce que vous cherchez.

Voici néanmoins quelques liens que je trouve intéressant:

• Comparision of some modern distributed storage system
• Scalaris
• The danger or replication
• ACID vs. BASE