トランザクション技術入門

トランザクション技術入門 id:tanishiking24 2017-09-22 1

こんにちは • • id:tanishiking24 • 2017 年 4 月新卒入社 •
Web アプリケーションエンジニア • 2017 年 3 月までは京都大学工学部情報学科計算機科学コース • 最近の趣味はボルダリングと PUBG 2

- RDBMSを使ったアプリケーション書いてますか？ 3

- データを出し入れしてるだけのように見えるけど実は奥が深いいろいろあるけど今日はトランザクションの話をしますトランザクションという仕組みでデータが異常な状態になるのを防ぐ 4

トランザクションとは何かトランザクションとは「1 つ以上の連続した操作の単位」 • データベースへの SQL を用いた操作としては SELECT,UPDATE,INSERT,DELETE など •
アプリケーションとしては複数の操作をもって一つの意味のある操作となることがあり、その複数のひとまとまりの操作をトランザクションと呼ぼう 5

トランザクションとは何かトランザクションは COMMIT か ABORT される。 COMMIT されたトランザクション内の操作は永続化され、 ABORT されたトランザクション内の操作はすべて無かったこ
とになる (ROLLBACK 処理) 連続するはずの操作が中途半端な状態で終るのを防ぐ (後述する Atomicity) 6

ACID 特性トランザクションは ACID 特性を満たすと言われる • Atomicity: 原子性 • Consistency:
一貫性/整合性 • Isolation: 分離性/独立性 • Durability: 耐久性 7

Consitency (整合性/一貫性) トランザクションの終了時点にデータの状態が整合しているという性質 • 「整合性」とは、主キーや外部キー制約や NOT NULL 制約といった諸々の制約をすべて満たしているということ •
トランザクションの Consistency は他の Atomic、Isolation、Durabily により保証されるものでユーザーが意識することはない 8

Atomicity (原子性) すべてのトランザクション内操作が成功したか、すべて無かった事になるかという特性 9

Atomicity (原子性) 例えば課金用の石を 100 個使って 10 連ガチャを回すロジック • ユーザーの持つ石を 100
個減らす • ユーザーに課金アイテムを 10 個与える最初の操作を実行した時点でエラーが起こってしまったら破滅 10

Isolation (分離性または独立性) 各トランザクションがひとつずつ逐次的に実行されるなら何も問題ない。実際のアプリケーションでは複数のトランザクションが並列に実行される。あたかも複数の並行トランザクションが逐次的に実行されたかのように結果の整合性を担保してくれるという特性。 keyword: (Final State
/ View / Conflict) Serializability 11

Isolation (分離性または独立性) 2PL(Two Phase Lock) というプロトコルでロックを取りながらレコードを読み書きすることで Serializability を実現できるそのままじゃ遅すぎる->2PL
での制約を緩めたいくつかの分離レベルが策定される keyword: トランザクション分離レベル 12

Isolation (分離性または独立性) 制約がゆるすぎると不整合が起こってくる例: Dirty Read コミットしてない値を読んでしまう trx1 trx2 Read(X)
- Write(X := X+10) - - Read(X) - Write(X := X-10) COMMIT ROLLBACK trx1 は ROLLBACK されるので、trx2 は本来 X-10 になってるはずだが… 13

Durability (耐久性) トランザクションは復旧の単位障害が発生する前に終了したトランザクションについては、システム再起動時には整合性を保った状態で復旧できる (コミットしたからといってすぐさまデータがディスクに書き込まれるわけじゃない/書き込み性能を上げたりとかの理由で RDBMS の持つバッファプールにまずは書き込まれる)
14

Durability • どうやってコミット時に耐障害性を保証するのか • Redo ログへの書き込み (ログ法)(トランザクションで行われた操作が記録される)(シーケンシャルライト) • システムがクラッシュし再起動した時は
Redo ログに書き込まれた内容から整合性のある状態に復元する (ロールフォワード) • 「Redo ログへの書き込み」が必ず「データベース (ディスク) への操作」に先行することで Redo ログによる整合性を保った状態への復旧を保証することができる • ログに先に書け！というプロトコルを WAL(Write Ahead Log) というログは SQL のクエリごとに書き込まれるのではなく log buffer に貯められ、定期的 (基本的に COMMIT 時) にディスクに flush される 15

アプリケーションを書くのに必須なのか • 単純なアプリケーションを書くだけなら多分必要ではない (だいたい RDBMS のデフォルト設定がいい感じにしてくれる) • 複雑なアプリケーション (金融系だったりユーザー間のアイテムな
どのやりとりが多いシステム) だとトランザクションの知識があると破滅を防げるかも • RDBMS の設定パラメータの意味がわかってくる • トランザクションの知識がミドルウェアの作成に活かせたり (ジョブキューシステムとか) • 楽しい (楽しくない？) 16

まとめトランザクション技術を学んで破滅を防ごう！！！！！ 17

おすすめ文書 • おうちで学べるデータベースのきほん (翔泳社) • RDBMS 解剖学よくわかるリレーショナルデータベースの仕組み (翔泳社)
• リレーショナルデータベース入門 (サイエンス社) • 一人トランザクション技術アドベントカレンダー • 各種 RDBMS の公式ドキュメント 18

トランザクション技術入門

トランザクション技術入門

Rikito Taniguchi

More Decks by Rikito Taniguchi

Other Decks in Programming

Featured

Transcript