Distributed Consistency Beyond Queries

[stonewhitener]

Resources

• https://dl.acm.org/doi/abs/10.1145/3584372.3588657

Summary

分散インスタンスを用いて非決定的なふるまいをモデル化し，

Memo

• CALM 定理
  • 定理: 問題が一貫性を保証する調停フリーな分散実装を持つ iff 問題が単調である
  • グローバルシステム状態に関する知識を仮定しない
  • クエリに対する入力は任意のノードにまたがる