是否有任何通用算法可以在分佈式系統中實現最終的一致性？

已經爲分佈式系統中的ACID事務開發了算法，尤其是Paxos，但是是否有類似的理論體系已經針對BASE方案開發，具有較弱的一致性保證？

編輯：這似乎是一個只開始發展的學術研究領域。麥克拉拉的回答表明，這方面至少有一些工作。

如果「反熵協議用於修復複製數據，它們通過比較副本進行操作並調和分歧。「適合你的定義看看http://en.wikipedia.org/wiki/Gossip_protocol

2010-01-11 05:40:15 mcdowella

+1。這很好。 – 2010-01-11 21:19:39

BASE和較弱的一致性歸結爲複製場景中副本的收斂。有在分佈式系統複製的大量文獻，與eiter 急切或懶惰的複製，其組或主拷貝等

Consensus是一個問題，即能夠精確地配製。可以提出幾種解決方案/算法。收斂副本的延遲複製不是。我覺得這更像是一個架構問題。但正如我剛纔所說，在複製或分佈式存儲方面有大量工作，這可能是您正在尋找的。

這裏是我發現有趣的還是幾個環節：

2010-01-10 20:05:49 ewernli

我不確定如果我同意如何處理懶惰複製的問題不能準確地說明。我期望圍繞什麼完整性約束與這種體系結構兼容，哪些不是，如何處理碰撞更新等等會產生一系列理論。 – 2010-01-10 20:21:07

也許你是對的。未來幾年可能會提出模型來推理彈性，最終一致性等等。無論它們能夠被稱爲理論，都將是另一個問題。但我很想看到！ – ewernli 2010-01-10 20:56:24

回答