分散データIV(競合解決とCRDT)

複数のレプリカが調整なしに同じデータを並行更新すると、単純な「後勝ち」では負けた更新が黙って消えてしまいます。並行をどう検出し、兄弟として残してアプリで解決するか、削除の墓標(tombstone)がなぜ要るのか、そして可換・結合・冪等という数学的性質で自動収束するCRDTが何を自動化でき何は守れないのかを、一次情報に沿って理解します。