用於併發控制的Paxos和快照隔離之間的關係

我想知道基於Paxos的複製方案和不同的併發模型（如快照隔離）之間的實際關係是什麼。有沒有人能夠善意地解釋這兩個關於他們的關係和幾個實際例子？用於併發控制的Paxos和快照隔離之間的關係

2012-12-26 joarderm

快照隔離是一個強大的一致性併發性準則，因爲它完全命令衝突的更新。全部訂單相當於分佈式系統的共識。 Paxos是在具有過程故障的分佈式系統中達成共識的解決方案。因此，對於您的問題的答案是：快照隔離與基於Paxos的複製方案之間的關係是，它們在理論意義上應該同樣難以實現（即在相同的假設條件下可能會實現）。

強一致性併發標準的其他示例是可串行化，線性化和順序一致性。相比之下，諸如因果一致性或最終一致性等弱一致性標準並不需要達成共識，因此與您可能已經看到的基於Paxos的複製方案有根本的不同。

來源

2012-12-27 12:07:02 jop

非常感謝您的回答。只是爲了澄清更多...我已經在一些論文中看到，像統一可靠組播這樣的組通信協議也可以用來確保總體順序，然後組播方案和Paxos如何區分。或者我可以說我們應該在哪裏使用組播以及Paxos在哪裏？任何示例都會很棒......再次感謝 – joarderm

不要將一致性與順序混淆。全部訂單（又名原子）多播解決了同樣的基本問題。但它是一個抽象的規範，必須用一個具體的協議來實現，最常用的是Totem，儘管Paxos也是一個選項。要在解決相同基本問題（即總體順序）的多個協議中進行選擇，您還需要考慮流量控制，性能，穩定性等實際問題，因此沒有簡單的答案。 – jop

再次感謝......確實很好的答案。現在，我很清楚。 – joarderm

用於併發控制的Paxos和快照隔離之間的關係

回答

相關問題