Linearizable State Machine Replication of State-Based CRDTs without Logs

[stonewhitener]

Resources

• https://arxiv.org/abs/1905.08733

Summary

[stonewhitener]

朝輪

メモ

https://docs.google.com/document/d/1G0taaOCIoD6rsNI50xLnJB8-k_GVzmtOBg8n23Vv5go/edit

議論

• SMR なのに「ログなし」とは？
  • CRDT のみだと read に一貫性がない．
  • この手法はそれが起きないようにする．
• 提案手法を「CRDT Paxos」と読んでいるが Paxos を使っているのか？
  • あまり Paxos らしさはない．
  • update は 1 RTT でやる (i.e., durability を保証するだけでよい)．
  • 一貫性の保証に必要なコストは query に押し付ける．