CRDT：半順序集合一直の道

この記事では、コンフリクトフリー複製データ型（CRDT）の設計原則を掘り下げ、適切に設計されたCRDTはすべて半順序集合構造に基づいているべきだと主張しています。著者は、仮定を隠すCRDTを批判し、必要な仮定はすべて半順序集合構造に組み込む必要があると強調しています。集合への追加と削除を例に、局所時間に基づく期限切れメカニズムから生じる可能性のある非収束動作を、因果関係束の組み込みによって解決する方法を示しています。最後に、CRDT設計の重要なポイントをまとめ、信頼性の高い分散システム構築の重要性を強調しています。