こんにちは。

とみたまさひろ <tommy@xxxxxxxxxx>さんの
<20040810233937.443f0ed3.tommy@xxxxxxxxxx>
"[mysql 09989] Re: データのロックについて"


> 私もちゃんとマニュアルを調べて発言しているわけではなく、怪しげな記憶に
> 頼って発言していたので、この機にマニュアルを読んでみました。
> 
> この辺でしょうか…。
> 
> http://dev.mysql.com/doc/mysql/ja/InnoDB_transaction_model.html

　ありがとうございます。なるほど、そういう実装であるのですね、MySQLは。

　「REPEATABLE READ分離レベルで云々」の話は、常にイン・トランザクション
であるのがMySQLの実装である、と言う事でめでたく解決です、と言いたい所で
すが、REPEATABLE READ分離レベルと言いつつ実は非なるもの、が段々明確にな
って来た様な。もう、何が何だか訳が分からなくなって来ましたね(再掲)。


> > 　更に、「自動トランザクション開始」を仮定すると、その接続は常にイン・ト
> > ランザクションと言う事ですね。つまり常にアクティブなトランザクションが残
> > る事になります。そうなると、マニュアルの別の所で色々と齟齬を生じてしまい
> > ます。例えば rename tableとか。こんな説明があったりします。
> > 
> > > When you execute RENAME, you can't have any locked tables or active
> > > transactions.
> 
> この記述ははなんでしょうね。実際に試してみたら、BEGIN 後でも RENAME は
> 成功してしまいますし…。こんな記述もありました。
> 
> http://dev.mysql.com/doc/mysql/ja/Implicit_commit.html
> 
>     次のコマンドでは、トランザクションが（コマンドの実行前に COMMIT を
>     発行した場合と同じように）暗黙的に終了します。
> 
>     コマンド		コマンド 	コマンド
>     ALTER TABLE 	BEGIN		CREATE INDEX
>     DROP DATABASE 	DROP INDEX 	DROP TABLE
>     LOAD MASTER DATA 	LOCK TABLES 	RENAME TABLE
>     SET AUTOCOMMIT=1 	START TRANSACTION 	TRUNCATE
> 
> こっちの記述の方が実際の動きに合ってるようです。

　ある接続がイン・トランザクションであるとして、そのトランザクションに対
して重大な影響を与える他の接続での操作を許してしまうのは、一体どういう事
なんでしょうね。「トランザクションが暗黙的に終了します」は、その影響を喰
らう他の接続のトランザクションも、と言う事ですか？（笑）

　REPEATABLE READ分離レベルのイン・トランザクションで REPEATABLE READが
保証されない場合がある事、これは結構重大ですね。本来あってはならない事で
すから。ダーティリードと逆のコミットされているデータが読めない、selectの
結果を信じて出したupdate等が実はスカになってしまう、などと言う珍妙な事も
起こりますね。REPEATABLE READ分離レベルの動作としては、「コミットされた
データ」の存在自体がかなり異様でしょう。

　また色々な箇所でドキュメンテーション上 (だけと言えるかは微妙ですが)の
齟齬を生じている事、気にならない人は気にならないでしょうが、気になる人は
気になるでしょうね。ドキュメントに齟齬がある、これを非常に危険な事と考え
なければならない職種もある、と言う事で。


> > 　「自動トランザクション開始」は、read-opの selectでトランザクションが開
> > 始されてしまうのと同程度に異様に見えます。もう、何が何だか訳が分からなく
> > なって来ましたね。
> 
> いえ、私は別に異様とも思いませんし、そんなに訳が分からなくなってはいま
> せん。このスレッドを読んでると、訳が分からなくなってるのは松枝さんだけ
> のような気もしますが :-)

　基点の有無やその基点が何か、ではないでしょうか。そして疑問に思わなけれ
ば、疑問と思う事も無いでしょうし。当たり前の事ですが。

　他のMLで、「ベースのスペックから見て、この動作は如何なものか」の疑問に
対して、「実装がそうなっているから問題無し」攻撃や「こうすれば回避出来る」
攻撃を喰らって辟易した事がありましたが。


　　　　松枝知直　　　　<tomom@xxxxxxxxxx>
　　　　　　　　　　　　http://www.argus.ne.jp/~tomom/