ロールバックの順序で納得のいかないことがあり、ご教示願いたいです。宜しくお願い致します。

質問事項

WordPressのロールバックですが以下hogehoge()で成功しました。

私の理解によれば成功しないはずなのに、なぜ成功したのか？（つまり私の理解は何が間違いなのか？）を知りたいです。

hogehoge()

・まずfinaryが実行されますからロールバックの前にアンロックが処理されます。
・そしてアンロックしてしまってはロールバックは効かないはずです。

こう理解をしているので、以下hogehoge()でなぜ成功したのか疑問です。

php
1function hogehoge() {
2    global $wpdb;
3
4    // トランザクションを開始
5    $wpdb->query("START TRANSACTION"); // BEGINでもOK
6
7    // 処理対象のテーブルをロック(table_name1, table_name2は適宜変更)
8    $wpdb->query("LOCK TABLES table_name1 WRITE, table_name2 WRITE");
9
10    try{
11        // 更新処理
12        $result = update_hogehoge();
13
14        // エラー起こしてないか確認
15        if( is_wp_error( $result ) ){
16            $wpdb->query('ROLLBACK'); // Rollback
17            // 必要があればエラー処理
18            return;
19        }
20
21        $wpdb->query('COMMIT'); // Commit
22
23    }catch( Exception $e ){
24        $wpdb->query('ROLLBACK'); // Rollback
25        // エラー処理をもごもご
26
27    }finally{
28        // テーブルのロックを解除
29        $wpdb->query('UNLOCK TABLES');
30    }
31}

確認事項1

まずfinaryが実行される

という理解は、このページによるものです。
https://qiita.com/eijenson/items/7e9e112e69b37f72353c

この理解は間違っているでしょうか？

###確認事項2

アンロックしてしまってはロールバックは効かないはず

という理解は、以下コードが「//失敗」と「//成功」になったからです。

確認事項1が正しければ、hogehoge()ではfinaryにあるアンロックがまず処理されます。
それは以下「//失敗」の順序と同じはずです。しかしこれは失敗してしまいました。

逆にアンロックを後に処理した「//成功」が成功したので、こう理解しています。

この理解は間違っているでしょうか？

php
1//失敗
2global $wpdb;
3if( $flag_rollback ){
4	$wpdb->query('UNLOCK TABLES'); 
5	$wpdb->query('ROLLBACK');								
6}else{
7	$wpdb->query('COMMIT');
8	$wpdb->query('UNLOCK TABLES'); 
9}								
10
11//成功
12global $wpdb;
13if( $flag_rollback ){	
14	$wpdb->query('ROLLBACK');
15}else{
16	$wpdb->query('COMMIT');
17}
18$wpdb->query('UNLOCK TABLES');	
19

ツールのバージョン

バージョンが関係あるかわかりませんが、WordPressは5.4で、PHPは7.3.0になります。

hentaiman

2020/07/21 23:31

質問内容が「trycatchfinallyが僕の思った通りに動かないなんておかしい！」という意味合いが強いならphpマニュアルを確認しろと言うしかなく、「trycatchfinallyの動作が分からない！」という事なら各ブロックでechoしてみた？という状況確認になるが

sazi

2020/07/22 00:28

当然、「InnoDB」ですよね？

hungry

2020/07/22 02:20

はい、「InnoDB」でした。

行動規範の内容に同意します

回答4件

ベストアンサー

php
1function hoge(){
2	try{
3		return print('try');
4	}
5	catch(Exception $e){}
6	finally{
7		return print('finally');
8	}
9}
10hoge();//tryfinally

try内でreturnが宣言されても実際に値を返す前に
finallyが実行されているだけで
決してfinallyが先に実行されているというわけではないです

PHPのマニュアルのcatchの項に書いてます

return 文は出現した時に評価されますが、結果は finally ブロックが実行された後に返されます。さらに、finally ブロックにも return 文が存在した場合は、 finally ブロックから値が返されます。

投稿2020/07/22 02:44

KazuhiroHatano

総合スコア7804

hungry

2020/07/22 02:58

そういうことでしたか。引用までつけて頂きありがとうございます。助かりました。

hungry

2020/07/22 03:01

皆様のおかげで確認事項１が間違いだとわかりましたが、確認事項２で「//失敗」がなぜ失敗し、「//成功」がなぜ成功するのかが疑問です…

KazuhiroHatano

2020/07/22 10:15

UNLOCK TABLESで暗黙的にトランザクションがコミットされてしまうからロールバックできないんじゃないですか

hungry

2020/07/22 11:41

ああああーー！なるほどなるほどなるほど！納得ですね。どうもありがとうございます。とても助かりました。

行動規範の内容に同意します

・まずfinaryが実行されますからロールバックの前にアンロックが処理されます。

他の方の指摘にもありますが、認識誤りです。

・そしてアンロックしてしまってはロールバックは効かないはずです。

LOCK/UNLOCKは他のセッションとのトランザクションを制御するもので、
COMMIT/ROLLBACKは自身のトランザクションに関するものです

自身のトランザクションに限定した場合、それぞれは関係はありません。

投稿2020/07/22 00:35

sazi

総合スコア25173

hungry

2020/07/22 01:00 編集

なるほどfinaryの話は納得いたしました。ありがとうございます。トランザクションの話ですが、関係ないということは、ロールバックの前にアンロックしても、ロールバックは効くということでしょうか？しかし以下はロールバックが効かないのですが、これはどうしてだと思われますか？ロールバックの前にアンロックしているから効かない、というわけではないのでしょうか？ /失敗 global $wpdb; if( $flag_rollback ){ $wpdb->query('UNLOCK TABLES'); $wpdb->query('ROLLBACK'); }else{ $wpdb->query('COMMIT'); $wpdb->query('UNLOCK TABLES'); }

hentaiman

2020/07/22 01:42

正しいか誤っているかは別としても、その理解の仕方だったら質問文に書くコードはトランザクションの前にロックが来てないとおかしい

sazi

2020/07/22 01:49

ロールバックはトランザクションを開始していないとエラーになる場合もありますけど、MYSQLだとrollbackでエラーになる場合は、EnginにMyISAMを指定している場合のケースがあります。 enginには何を指定していますか？

hungry

2020/07/22 02:19

確認しましたらすべてのテーブルが「InnoDB」でした。そうなりますと、 $wpdb->query('UNLOCK TABLES'); $wpdb->query('ROLLBACK'); でも $wpdb->query('ROLLBACK'); $wpdb->query('UNLOCK TABLES'); でも同じになるはずだということですか？

sazi

2020/07/22 02:33

トランザクション開始しているなら、関係は無いはずです。

hungry

2020/07/22 02:39

なるほど、不思議ですね。「//成功」の方でうまくいくということは、トランザクションは開始されていると考えていいと思います。なので別の場所でトランザクションを停止するような処理を書いてしまっているのでしょうか…何かございましたらご返信いただければ幸いです。

sazi

2020/07/22 02:50

トランザクションは明示的に開始するものですよ。通常は自動コミットモードです。

hungry

2020/07/22 03:02

たびたび細やかなご返信痛み入ります。改めて確認しましたが、autocommitは0にしていました。

sazi

2020/07/22 03:42

自動コミットでないなら、何処かでトランザクション開始していると思います。 START TRANSACTIONしている箇所を確認してみて下さい。

hungry

2020/07/22 11:43

こんばんは。どうやら「UNLOCK TABLESで暗黙的にトランザクションがコミットされてしまうから」というのが原因だったようです。

sazi

2020/07/22 13:02 編集

UNLOCK に限らず、LOCKでもコミットのようですね。 https://dev.mysql.com/doc/refman/5.6/ja/lock-tables-and-transactions.html それから、UNLOCKでコミットされるのはLOCKされている事が前提

hungry

2020/07/22 13:46

なるほど、それは知れてよかったです。追加ありがとうございます。そうやってさらに調べると詳しくなれるんですね。度重なるやりとりにご親切に応じて頂き感謝です。

行動規範の内容に同意します

まずfinaryが実行されますからロールバックの前にアンロックが処理されます。

そんな処理にfinallyなんて名前をつけないでしょう。

という理解は、このページによるものです。

https://qiita.com/eijenson/items/7e9e112e69b37f72353c

そのページで解説されているのは、「try内でreturnするときにもfinallyの処理が行われるよ」ということです。

この理解は間違っているでしょうか？

明確に間違っています。

投稿2020/07/21 23:57

Daregada

総合スコア11990

hungry

2020/07/22 01:03

「try内でreturn」ですか？「catch内でreturn」の間違いでしょうか？なんにせよ、そのreturnの前にfinaryが処理されていますよね？↓ finally句が実行されました。 Catch句からのリターンです。これは、finaryが先に処理されているという理解にならないのでしょうか？

Daregada

2020/07/22 01:30

ええと、「まずfinallyが実行される」というあなたの文章は、「try-chatch-finally内で例外が発生した場合、catchでの処理より前に、まずfinallyが実行される」ということを言いたかったんですか? それで動作の理解は合っています。しかし、あまりに言葉足らず過ぎるでしょう。「ロールバックと書いてあるじゃないか」と言いたいのかもしれませんが、ロールバックは2カ所に書いてあるのでそれではわかりません。ちなみに、上記のリンク先のページの主題は「returnを書いても実行されたり、try句の中のreturnにまでカバーしてくれるとは思わなかった」です。

hungry

2020/07/22 02:17

>それで動作の理解は合っています。なるほど。そうなりますと、hoge()の最後の }catch( Exception $e ){ $wpdb->query('ROLLBACK'); // Rollback // エラー処理をもごもご }finally{ // テーブルのロックを解除 $wpdb->query('UNLOCK TABLES'); } } は、 $wpdb->query('UNLOCK TABLES'); の後に $wpdb->query('ROLLBACK'); が実行されてるという順序になりませんか？そしてこの順序は「//失敗」と同じだと思うのですが、この順序では失敗してしまいます。なぜなのでしょうか？

Daregada

2020/07/22 02:20

質問の仕方が悪かったといった反省よりも、自分の疑問の解消が優先されているようですね。付き合いきれないので放置しますね。

行動規範の内容に同意します

何を確認したいのか、何が確認できたのかよくわかっていませんが、理解できていない機能 2 種類を同時に検証せず、一つづつ検証してみては？

投稿2020/07/21 21:55