MySQL - トランザクションのソースを表示

== 概要 ==
トランザクションとは、データベースに対する複数の処理を1つの論理的な作業単位としてまとめる仕組みである。<br>
トランザクション内の全ての処理が成功した場合のみ変更が確定 (コミット) され、いずれかの処理が失敗した場合は全ての変更が取り消される。(ロールバック)<br>
<br>
MySQLでは、InnoDBストレージエンジンがトランザクションを完全にサポートしている。<br>
InnoDBは、ACID特性 (原子性、一貫性、分離性、永続性) を保証し、データの整合性と信頼性を確保する。<br>
<br>
例えば、銀行の送金処理を考える。<br>
口座Aから10,000円を引き出し、口座Bに10,000円を入金するという2つの処理がある場合、これらは1つのトランザクションとして扱われる。<br>
引き出し処理が成功しても入金処理が失敗した場合、引き出し処理も自動的に取り消される。<br>
これにより、データの不整合 (口座Aから引き出されたが口座Bに入金されない状態) を防止できる。<br>
<br>
トランザクションは、以下に示すような場面で使用される。<br>
* 複数のテーブルにまたがる更新処理
* 金融取引や在庫管理など、データの整合性が重要な処理
* バッチ処理による大量データの一括更新
* 複数ユーザが同時にアクセスする環境でのデータ保護
<br>
MySQLのデフォルト設定では、自動コミットモードが有効になっているため、各SQL文が個別にコミットされる。<br>
複数の処理を1つのトランザクションとして扱うには、明示的に <code>START TRANSACTION</code> 文を使用してトランザクションを開始する必要がある。<br>
<br><br>

== トランザクション処理 ==
* <code>START TRANSACTION</code> 文、または、<code>BEGIN</code> 文は、新しいトランザクションを開始する。<br>
* <code>COMMIT</code> 文は、現在のトランザクションをコミットして、その変更を永続的なものにする。<br>
* <code>ROLLBACK</code> 文は、現在のトランザクションをロールバックして、その変更を取り消す。<br>
* <code>SET autocommit</code> 文は、現在のセッションのデフォルトの自動コミットモードを有効または無効にする。<br>
<br>
デフォルトでは、MySQLは自動コミットモードが有効の状態で動作する。<br>
したがって、トランザクション内ではない場合、各ステートメントは <code>START TRANSACTION</code> 文 および <code>COMMIT</code> 文で囲まれているかのようにアトミックである。<br>
<br>
<code>ROLLBACK</code> 文を使用して処理を元に戻すことはできないが、ステートメントの実行中にエラーが発生した場合、ステートメントはロールバックされる。<br>
<br>
一連のステートメントに対して自動コミットモードを暗黙的に無効にするには、<code>START TRANSACTION</code> 文を使用する。<br>
<code>START TRANSACTION</code> 文を実行する時、そのトランザクションを <code>COMMIT</code> 文 または <code>ROLLBACK</code> 文で終了するまで、自動コミットは無効のままとなる。<br>
その後、自動コミットモードはその以前の状態に戻る。<br>
<br>
 <syntaxhighlight lang="mysql">
 START TRANSACTION;
 SELECT @A:=SUM(salary) FROM table1 WHERE type=1;
 UPDATE table2 SET summary=@A WHERE type=1;
 COMMIT;
 </syntaxhighlight>
<br>
複数の実行する処理を <code>START TRANSACTION</code> 文 または <code>BEGIN</code> 文 と <code>COMMIT</code> 文 または <code>ROLLBACK</code> 文で囲む。<br>
<br>
以下の例では、全ての処理がエラー無く完了する場合のみコミットされる。<br>
もし、いずれかにおいてエラーが発生する場合は、コミットされずに自動的にロールバックされる。<br>
<br>
 <syntaxhighlight lang="mysql">
 START TRANSACTION;
 -- <処理 1>;
 -- <処理 2>;
 COMMIT;
 </syntaxhighlight>
<br>
このように、<u>一連の処理が全て完了する場合のみ実行されるもの</u> がトランザクション処理である。<br>
<br><br>

== 自動コミットモード ==
自動コミットモードを明示的に無効にするには、変数 <code>autocommit</code> を <code>0</code> に設定する。<br>
ただし、自動コミットモードを無効にした場合、データベースやテーブルの変更において、トランザクションセーフテーブル (InnoDBまたはNDBのテーブル等) への変更が永続的になることはない。<br>
<br>
<code>COMMIT</code> 文を使用して変更をディスクへ格納、または、<code>ROLLBACK</code> 文を使用して変更を無視する必要がある。<br>
<br>
 <syntaxhighlight lang="mysql">
 SET autocommit=0;
 </syntaxhighlight>
<br>
変数 <code>autocommit</code> はセッション変数であるため、セッションごとに設定する必要がある。<br>
<br><br>

== ACID特性 ==
MySQLのトランザクションは、ACID特性と呼ばれる4つの重要な特性を持つ。<br>
<br>
==== 原子性 (Atomicity) ====
トランザクションの全ての操作が完全に実行されるか、全く実行されないかのいずれかになる。<br>
トランザクション内の一部の操作だけが実行されることはない。<br>
<br>
<code>COMMIT</code> 文で全ての変更が確定され、<code>ROLLBACK</code> 文で全ての変更が取り消される。<br>
<br>
==== 一貫性 (Consistency) ====
トランザクション完了後、データベースが常に有効な状態に保たれる。<br>
制約 (外部キー制約、CHECK制約等) の検証により、データの整合性が維持される。<br>
<br>
トランザクション実行前と実行後で、データベースの整合性が保たれる。<br>
<br>
==== 分離性 (Isolation) ====
複数の同時実行トランザクションが互いに干渉しない。<br>
他のトランザクションの未コミット変更が、他のトランザクションから見えないように制御される。<br>
<br>
トランザクション分離レベルとロック機構により実現される。<br>
<br>
==== 永続性 (Durability) ====
コミット後のデータはシステム障害によっても失われない。<br>
変更がディスクに永続化され、クラッシュ後も復旧可能な状態になる。<br>
<br>
永続性は、<code>innodb_flush_log_at_trx_commit</code> 設定で制御される。<br>
* <code>0</code>
*: トランザクションログをバッファに留める。
*: 1秒ごとにディスクに書き込まれる。
*: 最も高速だが、障害時に最大1秒分のデータが失われる可能性がある。
* <code>1</code>
*: 毎トランザクションコミット時にfsyncを実行する。
*: 最も安全だが、最も低速
*: デフォルト設定
* <code>2</code>
*: トランザクションログをOSキャッシュに留める。
*: MySQL障害では失われないが、OS障害では失われる可能性がある。
*: 中間的な性能と安全性。
<br><br>

== トランザクション分離レベル ==
トランザクション分離レベルは、複数のトランザクションが同時実行される際の振る舞いを制御する。<br>
MySQLは4つの分離レベルを提供する。<br>
<br>
==== READ UNCOMMITTED ====
最も低い保護レベルである。<br>
<br>
他のトランザクションの未コミット変更を読み取ることができる。<br>
ダーティリードが発生する可能性がある。<br>
<br>
統計情報の収集等、精度が重要でない読み取りに使用される。<br>
<br>
==== READ COMMITTED ====
コミット済みデータのみ読み取ることができる。<br>
<br>
各 <code>SELECT</code> 文が独立したスナップショットを使用する。<br>
ダーティリードは防止されるが、ノンリピータブルリードとファントムリードが発生する可能性がある。<br>
<br>
多くのOLTPアプリケーションで使用される。<br>
<br>
==== REPEATABLE READ ====
MySQLのデフォルト分離レベル。<br>
トランザクション開始時のスナップショットを使用する。<br>
同じクエリを複数回実行しても、同じ結果が返される。<br>
InnoDBでは、ネクストキーロックによりファントムリードも防止される。<br>
多くのアプリケーションで適切なバランスを提供する。<br>
<br>
==== SERIALIZABLE ====
最も高い保護レベルである。<br>
<br>
全ての <code>SELECT</code> 文が暗黙的に <code>SELECT ... FOR SHARE</code> として実行される。<br>
トランザクションが完全に直列化される。<br>
<br>
金融取引等、完全な整合性が必要な場合に使用される。<br>
<br>
==== 読み取り異常の説明 ====
分離レベルが低いと、以下の読み取り異常が発生する可能性がある。<br>
<br>
* ダーティリード
*: コミットされていない変更を読み取る。
*: READ UNCOMMITTED で発生する。
*: <br>
* ノンリピータブルリード
*: 同じ行が複数回読み取られるたびに異なる値が返される。
*: READ COMMITTED で発生する。
*: <br>
* ファントムリード
*: 同じクエリが異なる行セットを返す。
*: READ COMMITTED で発生する。
*: InnoDBのREPEATABLE READでは防止される。
<br>
==== 分離レベルの設定方法 ====
トランザクション分離レベルは、トランザクション単位、セッション単位、グローバル単位で設定できる。<br>
 <syntaxhighlight lang="mysql">
 -- トランザクション単位で設定
 SET TRANSACTION ISOLATION LEVEL READ COMMITTED;
 START TRANSACTION;
 
 -- トランザクション処理
 COMMIT;
 
 -- セッション単位で設定
 SET SESSION TRANSACTION ISOLATION LEVEL READ COMMITTED;
 
 -- グローバル単位で設定
 SET GLOBAL TRANSACTION ISOLATION LEVEL READ COMMITTED;
 
 -- 現在の分離レベルを確認
 SELECT @@transaction_isolation;
 </syntaxhighlight>
<br><br>

== ロック機構 ==
MySQLのInnoDBストレージエンジンは、複数のロック機構を提供してトランザクションの分離性を実現する。<br>
<br>
==== 共有ロック (S Lock) ====
複数のトランザクションが同時に保有できるロックである。<br>
読み取り操作で使用される。<br>
<br>
<code>SELECT ... FOR SHARE</code> 文で明示的に取得できる。<br>
<br>
==== 排他ロック (X Lock) ====
単一のトランザクションのみが保有できるロックである。<br>
書き込み操作で使用される。<br>
<br>
<code>SELECT ... FOR UPDATE</code> 文で明示的に取得できる。<br>
他のトランザクションは共有ロックも排他ロックも取得できない。<br>
<br>
==== インテンションロック ====
テーブルレベルで設定されるロックである。<br>
行レベルのロックを取得する前に、テーブルレベルでロックの意図を示す。<br>
<br>
* IS (Intention Shared)
*: 共有ロックを取得する意図を示す。
* IX (Intention Exclusive)
*: 排他ロックを取得する意図を示す。
<br>
==== ギャップロック ====
インデックスレコード間のギャップを保護するロックである。<br>
新しいレコードの挿入を防止する。<br>
<br>
REPEATABLE READ分離レベルでファントムリードを防止するために使用される。<br>
<br>
==== ネクストキーロック ====
レコードロックとギャップロックを組み合わせたロックである。<br>
インデックスレコードとその前のギャップをロックする。<br>
<br>
ファントムリードを防止する。<br>
<br>
==== ロック読み取り ====
<code>SELECT</code> 文に特定の句を追加することにより、明示的にロックを取得できる。<br>
<br>
 <syntaxhighlight lang="mysql">
 -- 排他ロックを取得
 SELECT * FROM table WHERE condition FOR UPDATE;
 
 -- 共有ロックを取得
 SELECT * FROM table WHERE condition FOR SHARE;
 
 -- ロックが取得できない場合、待機せずにエラーを返す
 SELECT * FROM table WHERE condition FOR UPDATE NOWAIT;
 
 -- ロックされている行をスキップして処理を続行
 SELECT * FROM table WHERE condition FOR UPDATE SKIP LOCKED;
 </syntaxhighlight>
<br>
<code>FOR UPDATE</code> は在庫管理や予約システム等、排他的な更新が必要な場合に使用される。<br>
<br>
<code>FOR SHARE</code> は他のトランザクションによる更新を防ぎつつ、複数のトランザクションが読み取りを行う場合に使用される。<br>
<br>
<code>NOWAIT</code> と <code>SKIP LOCKED</code> は、キュー処理等で有用である。<br>
<br><br>

== セーブポイント ==
セーブポイントは、トランザクション内で部分的なロールバックを可能にする機能である。<br>
複雑なトランザクション処理で、特定の時点までロールバックする場合に使用される。<br>
<br>
==== 構文 ====
 <syntaxhighlight lang="mysql">
 -- セーブポイントを設定
 SAVEPOINT savepoint_name;
 
 -- セーブポイントまでロールバック
 ROLLBACK TO SAVEPOINT savepoint_name;
 
 -- セーブポイントを削除
 RELEASE SAVEPOINT savepoint_name;
 </syntaxhighlight>
<br>
==== 使用例 ====
以下の例では、複数のINSERT操作の途中で問題が発生した場合に、特定の時点までロールバックしている。<br>
<br>
 <syntaxhighlight lang="mysql">
 START TRANSACTION;
 
 -- 最初のINSERT
 INSERT INTO table1 (col1, col2) VALUES (1, 'data1');
 
 -- 最初のセーブポイント
 SAVEPOINT sp1;
 
 -- 2番目のINSERT
 INSERT INTO table1 (col1, col2) VALUES (2, 'data2');
 
 -- 2番目のセーブポイント
 SAVEPOINT sp2;
 
 -- 3番目のINSERT
 INSERT INTO table1 (col1, col2) VALUES (3, 'data3');
 
 -- sp2までロールバック (3番目のINSERTだけが取り消される)
 ROLLBACK TO SAVEPOINT sp2;
 
 -- 最初と2番目のINSERTだけがコミットされる
 COMMIT;
 </syntaxhighlight>
<br>
==== 特徴 ====
* トランザクション内で複数のセーブポイントを設定できる。
* セーブポイントまでロールバックしても、トランザクション自体は継続する。
* セーブポイントは、InnoDBストレージエンジンのみサポートする。
* セーブポイントは、複雑なバッチ処理やETL処理で有用。
<br><br>

== デッドロック ==
デッドロックは、複数のトランザクションが互いにロックを待ち合い、処理が進行しなくなる状態である。<br>
<br>
==== 発生原因 ====
デッドロックは、以下に示すような状況で発生する。<br>
<br>
* ロック取得順序の不一致
*: トランザクションAがテーブル1をロックしてからテーブル2をロックしようとし、トランザクションBがテーブル2をロックしてからテーブル1をロックしようとする。
* 循環的なロック待機
*: トランザクションAがトランザクションBのロック解放を待ち、トランザクションBがトランザクションAのロック解放を待つ。
* 長時間実行トランザクション
*: トランザクションが長時間ロックを保持することで、他のトランザクションとのロック競合が発生しやすくなる。
<br>
==== InnoDBのデッドロック検出 ====
InnoDBは、デッドロックを自動的に検出して、解決する機能を持つ。<br>
<br>
* デッドロック検出はデフォルトで有効
*: <code>innodb_deadlock_detect=ON</code>
* デッドロックが検出されると、変更行数が最小のトランザクションがロールバック対象に選定される。
* ロールバックされたトランザクションはエラーコード <u>1213</u> を返す。
<br>
 <syntaxhighlight lang="mysql">
 -- デッドロック検出を有効化 (デフォルト)
 SET GLOBAL innodb_deadlock_detect = ON;
 
 -- デッドロック検出を無効化 (高同時実行性環境で使用)
 SET GLOBAL innodb_deadlock_detect = OFF;
 </syntaxhighlight>
<br>
==== デッドロックの診断 ====
デッドロック発生時の詳細情報は、<code>SHOW ENGINE INNODB STATUS</code> 文で確認できる。<br>
<br>
 <syntaxhighlight lang="mysql">
 SHOW ENGINE INNODB STATUS;
 </syntaxhighlight>
<br>
このコマンドは、最後に発生したデッドロックの情報を表示する。<br>
関与したトランザクション、ロック待機状況、ロールバックされたトランザクション等が確認できる。<br>
<br>
==== デッドロックの回避方法 ====
デッドロックを回避するには、以下に示す方法が有効である。<br>
<br>
* ロック取得順序の統一
*: 全てのトランザクションで、テーブルやレコードに対するロック取得順序を統一する。
*: <br>
* トランザクション時間の短縮
*: トランザクションを可能な限り短く保ち、ロック保持時間を最小化する。
*: <br>
* 適切なインデックスの使用
*: インデックスを適切に設定し、不要なロック範囲を最小化する。
*: <br>
* 分離レベルの変更
*: 必要に応じて、分離レベルをREAD COMMITTEDに変更し、ロック競合を減らす。
*: <br>
* デッドロック発生時のリトライ処理
*: アプリケーション側でデッドロックエラーを検出し、トランザクションを再実行する。
<br><br>

== XAトランザクション (分散トランザクション) ==
XAトランザクションは、複数のデータベースやリソースマネージャにまたがる分散トランザクションを実現する。<br>
X/Open XA仕様に基づき、2フェーズコミット (Two-Phase Commit) プロトコルを使用する。<br>
<br>
==== 概要 ====
XAトランザクションは、複数のデータベースインスタンスやストレージエンジンにまたがるトランザクションを管理する。<br>
全ての参加リソースが正常に準備できた場合のみ、全体がコミットされる。<br>
<br>
いずれかのリソースが失敗した場合、全体がロールバックされる。<br>
<br>
==== 構文 ====
XAトランザクションは、2つのフェーズで実行される。<br>
<br>
 <syntaxhighlight lang="mysql">
 -- フェーズ 1: 準備フェーズ
 XA START 'xid';
 
 -- SQL文を実行
 INSERT INTO table1 VALUES (...);
 UPDATE table2 SET ...;
 XA END 'xid';
 XA PREPARE 'xid';
 
 -- フェーズ 2: コミットフェーズ
 XA COMMIT 'xid';
 
 -- またはロールバック
 XA ROLLBACK 'xid';
 
 -- プリペア状態のトランザクションを確認
 XA RECOVER;
 </syntaxhighlight>
<br>
<code>xid</code> は、XAトランザクションを識別する一意の識別子である。<br>
<br>
==== 特徴 ====
* XAトランザクションは、InnoDBストレージエンジンのみサポートする。
* クラッシュリカバリー時に、<code>XA RECOVER</code> で未完了のトランザクションを確認できる。
* 分散データベースシステムやマイクロサービスアーキテクチャで使用される。
* 2フェーズコミットにより、全てのリソースの一貫性が保証される。
<br><br>

== パフォーマンスと推奨事項 ==
トランザクションのパフォーマンスを最適化し、問題を回避するための推奨事項を以下に示す。<br>
<br>
==== トランザクション設計 ====
* トランザクションを短く保つ。
*: トランザクションは可能な限り短く (数秒以内を推奨) 保つ。
*: 長時間のトランザクションはロック競合を増やし、デッドロックのリスクを高める。
*: <br>
* 大量の更新は小分けにする。
*: 数万行以上の更新は、複数のトランザクションに分割して実行する。
*: 1度に大量の更新を行うと、ロック競合が発生しやすい。
*: <br>
* トランザクション外で時間の掛かる処理を実行する。
*: ファイルI/O、外部API呼び出しなど、時間のかかる処理はトランザクション外で実行する。
*: トランザクション内では、データベース操作のみに集中する。
<br>
==== 分離レベルの選択 ====
アプリケーションの要件に応じて、適切な分離レベルを選択する。<br>
<br>
* READ UNCOMMITTED
*: 統計情報の収集等、精度が重要でない読み取りに使用する。
*: <br>
* READ COMMITTED
*: 多くのOLTPアプリケーションで適切。
*: ノンリピータブルリードが許容される場合に使用する。
*: <br>
* REPEATABLE READ
*: MySQLのデフォルトで、多くのアプリケーションに対応。
*: 一貫した読み取りが必要な場合に使用する。
*: <br>
* SERIALIZABLE
*: 金融取引など、完全な直列化が必要な場合に使用する。
*: 最も安全だが、最も低速。
<br>
==== ロック競合の最小化 ====
ロック競合を最小化することにより、デッドロックを回避してパフォーマンスを向上できる。<br>
<br>
* 適切なインデックスの作成
*: WHERE句で使用されるカラムにインデックスを作成する。
*: インデックスがないと、テーブル全体がロックされる可能性がある。
*: <br>
* クエリの最適化
*: スキャン対象のレコード数を最小化する。
*: 不要な行をロックしないように、WHERE句を正確に記述する。
*: <br>
* 必要最小限の行のみロック
*: <code>SELECT ... FOR UPDATE</code> は、必要な行のみに使用する。
*: 範囲ロックは避け、主キーによる行ロックを使用する。
<br>
==== バッチ処理の最適化 ====
大量のINSERT文 や UPDATE文は、自動コミットを無効化してバッチ処理することで高速化できる。<br>
 <syntaxhighlight lang="mysql">
 SET AUTOCOMMIT=0;
 
 -- 大量のINSERT処理
 INSERT INTO table1 VALUES (...);
 INSERT INTO table1 VALUES (...);
 INSERT INTO table1 VALUES (...);
 -- ... (数千行)
 
 -- 1括でコミット
 COMMIT;
 
 -- 自動コミットを元に戻す
 SET AUTOCOMMIT=1;
 </syntaxhighlight>
<br>
自動コミットを無効化することで、各INSERT文ごとのコミットオーバーヘッドを削減できる。<br>
ただし、トランザクションサイズが大きすぎると、ロールバックログが肥大化するため、適度なサイズで分割することが推奨される。<br>
<br><br>


{{#seo:
|title={{PAGENAME}} : Exploring Electronics and SUSE Linux | MochiuWiki
|keywords=MochiuWiki,Mochiu,Wiki,Mochiu Wiki,Electric Circuit,Electric,pcb,Mathematics,AVR,TI,STMicro,AVR,ATmega,MSP430,STM,Arduino,Xilinx,FPGA,Verilog,HDL,PinePhone,Pine Phone,Raspberry,Raspberry Pi,C,C++,C#,Qt,Qml,MFC,Shell,Bash,Zsh,Fish,SUSE,SLE,Suse Enterprise,Suse Linux,openSUSE,open SUSE,Leap,Linux,uCLnux,Podman,電気回路,電子回路,基板,プリント基板
|description={{PAGENAME}} - 電子回路とSUSE Linuxに関する情報 | This page is {{PAGENAME}} in our wiki about electronic circuits and SUSE Linux
|image=/resources/assets/MochiuLogo_Single_Blue.png
}}

__FORCETOC__
[[カテゴリ:MySQL]]