Replication 読書会のメモ．
- Strong Consistency ** 全ての操作が linearize され，全てのクライアントから同じものが見えるもの．
- Relaxing Inter-Client Operation Ordering ** Strong Consistency のうち，複数クライアントによる操作順序を保証しないもの．SMP, JavaVM のキャッシュ-メモリ間の一貫性の話と同じ．
Weak Consistency 以下の2つを例に，さらに一貫性弱めた説明がなされている． ** Acquire(read) / Release(write) ** Eventually Consistency まとめ ** 体系的に示すために，操作を写像として定義．必要になるかもわからないので，とりあえずホワ* イトボードに書いたものをはっつけておく． ** 2章から実装メインの話になる． ** 理論主体のせいか，英語が難しい．次章の冒頭を読んでみた感じ，次は大丈夫そうではあった．
調べた単語集 ** prominent
