Microsoft Tech・Ed Japan 2010 にて開催される船上パーティーでのライトニングトーク用の資料です。

1. CAPとBASE、ACIDの呪縛 荒浪一城 http://d.hatena.ne.jp/kazuki-aranami/ @kimtea

3. このセッションの対象となる方々 次の言葉を見聞きして、どうも気になる方 CAP定理と聞いて(ｶﾞﾗｯ KVS（キー・バリュー型データストア）において分散されたノード間でのトランザクション どのように何千台ものノード間でトランザクションを実行して、コミットするの？ 何千台ものノードにトランザクションがはしっている間、ACID特性を保って結果が待っているの？ ∀･ ASE特性で何でも解決するよ

4. そもそもトランザクションとは？ トランザクションとは、「取引」を意味する 相手とのやりとりを通じて、最終的に「合意」に至るまでの一連のプロセス（処理単位）を指し示す 合意

5. オールオアナッシング 成功または失敗のどちらか一方で終わる トランザクションは、そのプロセスがやりとりする範囲（処理単位）が、成功または失敗のどちらか一方で終わる、というオールオアナッシングの考えに基づいている 成功 失敗 or

6. トランザクションモデル ローカルトランザクション フラットトランザクション グローバルトランザクション 入れ子トランザクション（ネステドトランザクション） 分散トランザクション 厳密な定義は、ジム・グレイの「トランザクション処理 概念と技法」上下巻を参照のこと。トランザクションモデルは、上巻189ページへ

7. ローカルとグローバルの違い ローカルトランザクション 単一のリソースマネージャー内部のみ グローバルトランザクション 複数のリソースマネージャーにまたがる リソースマネージャー ＝ DBMS （X/Open DTP） SQL Server Oracle

8. フラットトランザクション ACID特性を持つトランザクション Atomicity：原子性 Consistency：一貫性 Isolation：分離性 Durability：持続性 厳密な定義は、ジム・グレイの「トランザクション処理 概念と技法」上下巻を参照のこと。フラットトランザクションは、上巻197ページより

9. グローバルトランザクション 入れ子トランザクション トランザクションが木構造になっている 航空機のチケットとホテルの部屋を同時に予約した場合に、航空会社とホテルのそれぞれデータベースへ、サブトランザクションがはしることになる Oracle DB2 航空会社 ホテル

10. グローバルトランザクション 分散トランザクション 分散環境で実行されるフラットトランザクション データがどこにあるかに依存し、ネットワーク中の複数のノードを訪問する必要がある BigTable BigTable BigTable BigTable BigTable BigTable

11. 入れ子と分散トランザクションの違い 入れ子：アプリケーションの機能的な分解、つまりはアプリケーションが何を制御領域としているかによって決められる 分散：ネットワーク中のデータの分散に依存する 分散トランザクションの問題 データのロック、トランザクション全体のコミット、そして分散相互排他アルゴリズムが必要となる点である 分散相互排他アルゴリズムの例 Paxos（GoogleApp Engine）、Zab（Zookeeper）

12. CAP conjecture（CAP経験則） Eric BrewerのCAP定理 Consistency（一貫性、コンシステンシー） Availability（可用性、アベイラビリティー） Partition-tolerance（分割耐性、パーティショントレランス） 数学的に証明された「定理（theorem） 」ではないことに注意。この定理は、ACIDな共有システムでのみ有効である 正しくは、「CAP conjecture （推測・推定） 」 個人的には、ACID特性に基づく「CAP経験則」という呼び方を提唱したい

13. BASE Eric BrewerのBASE Basically Available（ベイシカリーアベイラブル） 基本的には可用性がある Soft-state（ソフトステイト） 限られた時間のみ状態を保持する Hard-stateと対比する形で、RFCなどのプロトコルを起源とするが、分散システムの世界では、 Soft-stateのみが用いられる Eventual Consistency（イベンチュアルコンシステンシー） 一時的に古い状態が見えることもある、結果整合性 BASEの概念は、2000年のACMPODCでの発表より以前の1997年、ACM SOSPにおける論文「Cluster-Based Scalable Network Services」の1.4 BASESemanticsで詳細に述べられている

14. なぜACIDの呪縛に我々は捕らわれたのか？ 典型的なトランザクションは、リレーショナルデータベースにおける銀行口座の入出金やオークションの入札などフラットトランザクションモデルの事例である これらは、即時応答性の要求されるタイプのトランザクションであり、ACID特性を持つフラットトランザクションでは有効だが、DNSやインターネットの商取引モデルなどBASE特性を持つトランザクションを描くには限界がある ショッピングサイトでの買い物も「取引」であり、最終的に商品が消費者の手元に到着するまで数日かかるという「合意」に至るまでの、一連のプロセスもまたトランザクションである

15. まとめ トランザクションとは「取引」のこと トランザクションモデル ローカルトランザクション フラットトランザクション グローバルトランザクション 入れ子トランザクション 分散トランザクション CAP conjecture（CAP経験則） ACID特性が満たされる共有システムで鉄則 BASE特性 ACID特性から呪縛をほどいてくれるもの

16. 参考文献 トランザクション処理 概念と技法 上下巻 分散システム 原理とパラダイム 第一版 分散システム 原理とパラダイム 第ニ版 Principle of TRANSACTION PROCESSING SECOND EDITION Distributed Transaction Processing:The XA Specification（X/Open DTP）