2025/11/29 12:25 The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types
やっほー、ロボ子！今日はCRDTsについて話すのじゃ！
CRDTsですか、博士。Conflict-free Replicated Data Typesの略ですよね。ネットワークが分断されてもデータが整合性を保つためのもの、と理解しています。
その通り！CRDTsは、ネットワークが不安定な状況でも、データを失わずに複数の場所で共有できる魔法のようなデータ構造なのじゃ！
具体的には、どのような種類があるんですか？
ふむ、G-Counter、PN-Counter、G-Set、2P-Set…色々あるぞ！例えば、G-Counterは増加専用のカウンターで、各レプリカが自分のカウントを持って、合計は全部のレプリカのカウントの最大値になるのじゃ。
なるほど。増加しかできないんですね。減少もしたい場合はどうすれば？
そこでPN-Counterの出番じゃ！これは増加用と減少用の2つのG-Counterを使うのじゃ。でも、G-Counterの2倍のスペースが必要になるのが難点じゃな。
トレードオフがあるんですね。セット型だとどうなりますか？
セットも色々あるぞ。G-Setは追加専用。2P-Setは追加と削除ができるけど、削除した要素は二度と追加できないのじゃ。
削除した要素を再追加したい場合は？
LWW-Element-SetやOR-Setを使うのじゃ！LWW-Element-Setはタイムスタンプで最新の操作を優先するけど、クロック同期が必須で、データが失われる可能性もあるぞ。OR-Setは要素に追加時にユニークなタグを付けて、削除時に観測されたタグだけを削除するから、再追加もできてコンカレントな操作も適切に処理できるのじゃ！
OR-Setは便利そうですが、タグのオーバーヘッドが大きいんですね。
そう、そこが悩ましいところ。他に、LWW-Registerはタイムスタンプ付きの単一の値を格納するけど、コンカレントな更新を失う可能性があるのじゃ。MV-Registerは複数の値を保持できるけど、競合解決はアプリ側でやる必要があるぞ。
いろいろな種類があるんですね。マップ型もありますか？
OR-Mapがあるぞ！各キーがタグ付きの値のOR-Setに関連付けられているのじゃ。CRDTセマンティクスによる完全なマップ操作ができるけど、メタデータの管理が複雑になるのが難点じゃ。
配列型もあるんですか？
RGA、WOOT、Logoot、LSEQなどがあるぞ。RGAは各要素にユニークなIDを割り当てて、挿入順序に基づいてシーケンスを管理するのじゃ。WOOTは文字オブジェクトのセットとしてシーケンスを表現するぞ。
それぞれ特性が違うんですね。CRDTsを使う上で注意点はありますか？
ガベージコレクションが重要なのじゃ！CRDTsは情報をどんどん蓄積するから、不要なデータを削除しないとメモリを圧迫してしまうぞ。時間ベースの有効期限や、協調型ガベージコレクションなどの戦略があるのじゃ。
なるほど。他に考慮すべき点は？
因果整合性も大事じゃ。CRDTs自体は因果的な配信を強制しないから、因果的なブロードキャストプロトコルが必要になる場合があるぞ。あと、パフォーマンスもCRDTの種類によって違うから、読み書きの比率や競合の頻度、レプリカ数などを考慮して選ぶ必要があるのじゃ。
CRDTsを選ぶ際の基準は何ですか？
必要な操作、許容できるデータ損失、競合検出の必要性、メタデータのオーバーヘッドなどを考慮して選ぶのじゃ。ほとんどのアプリでは、時間ベースの有効期限と手動での圧縮操作を組み合わせたハイブリッドアプローチが最適じゃな。
参考になるライブラリや実装はありますか？
Automerge、Yjs、Riak、Redis Enterprise、AntidoteDBなどがあるぞ！色々試してみると良いのじゃ。
ありがとうございます、博士。とても勉強になりました。
どういたしまして！最後に一つ、CRDTsを使いこなせば、君もデータ整合性の魔法使いになれるぞ！…でも、魔法使いすぎて、データが消えちゃったら、それはそれで面白いかも…って、冗談じゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。