concurrency - 同時実行制御のためのPaxosとスナップショットアイソレーションの関係

Question

Paxosベースのレプリケーションスキームとスナップショット分離などのさまざまな同時実行モデルとの実際の関係は何であるか疑問に思いました。誰かがこれらの2つをそれらの関係に関してそしていくつかの実際的な例で親切に説明することができますか？

Answer 1

スナップショットアイソレーションは、競合する更新を完全に順序付けるという意味で、強力な整合性の同時実行基準です。全順序は、分散システムのコンセンサスに相当します。Paxosは、プロセス障害のある分散システムでのコンセンサスのためのソリューションです。したがって、あなたの質問に対する答えは次のとおりです。スナップショットアイソレーションとPaxosベースのレプリケーションスキームの関係は、理論的な意味で同じように実装するのが難しいということです（つまり、同じ仮定で可能になります）。

強一貫性のある並行性基準の他の例は、直列化可能性、線形化可能性、および逐次一貫性です。対照的に、因果整合性や結果整合性などの弱い整合性基準はコンセンサスを必要としないため、これまでに見たPaxosベースのレプリケーションスキームとは根本的に異なります。