こんにちは。

kuyo@xxxxxxxxxxさんの
<m3acx1gj1l.wl@xxxxxxxxxx>
"[mysql 10009] Re: データのロックについて"


> 松枝さんはこれ以上スレッドを伸ばすおつもりが無いようですが、
> ネタを振られたのでもう少しおつき合い願えますか。

　「もう少しおつき合い願えますか」それは結構ですけど、疲労感を与えない様
にお願いします。ずっと前の日本語フィールド名のスレッドでも分かると思いま
すが、ラチも無い(とボクが思う)話が続くと、ブチっと切れる可能性があります。
実際、既に切れかかっていますけどね。


> 「どのような実装があるか」という私の問いに対して教えて頂いた MSDE で検
> 証を行っていますが、私の予想とは異なる挙動になっています。

　「私の予想とは異なる挙動」とは、山本さんが正しいと信じ込んでいたのとは
異なる挙動となっている、ですね？

　[mysql 09988]で「InnoDB の挙動は SQL92の REPEATABLE READ の通りに動作
していると私は思いました」等と仰っているのですから、「私の予想とは異なる
挙動」等と持って回った言い方ではなく、

　　　　MSDEの挙動は絶対におかしい！ぜーーーってーーー変！変、変、変！

とか言ってみるのが、男気があって非常に宜しいかと。


> 松枝さんが望む挙動は、「端末1 で commit された結果が時系列で直後の端末
> 2 の select の結果に反映する」と理解しました。(上記の私の予想がこの動
> 作です) 
> InnoDB では、「端末2 で commit しなければ端末2 の select に反映されず、
> 挙動が正しくない」と理解しました。

　不正確な理解だと思いますよ。

(A) non-transactonal read-op selectの結果が現状のDBの状況を正しく反映
    している
(B) transactonal read-op selectの全てで同一の結果が得られる

　ついでに、REPEATABLE READ分離レベルのキツさを考えれば、

(B-1) read-op selectを行うトランザクションの外部で、select結果に影響を与
      える操作は制限される(遅延等)。
(B-2) transactonal read-op selectで得られる結果と実際のDBの内容に一貫性
      がある(read-op selectで得られた結果が実際のDBの内容と似ても似つか
      ないインチキ結果ではない)。

　も考えるべきでしょう。


> また InnoDB と MSDE の挙動も異なりました。
> (MSDEでの私の検証結果の詳細はさしあたって伏せておきます)

　「異なりました」で済ませようとするのは如何なものでしょうね。何が理由で
実験結果を晒せないのですか？


> term1 :: set implicit_transactions on

　implicit_transactionsをonにした理由は何ですか？トランザクション/非トラ
ンザクションや REPEATABL READ分離レベルの動きを確認する場合に、そういう
夾雑物を突っ込んだ結果は元より、その思考や過程も信用なり確信なり出来るも
のですか？

−−−

　ボクが期待する所のMSDEの挙動とはこんなものです。デッドロックでどっちが
転けるか分からない、これは常々問題だろうとは思っていますが、ここでは関係
無い事です。

※ 準備、端末１
----------------------------------------------------------------
use test
set transaction isolation level repeatable read
delete from bbb
insert into bbb values(1)
go


※ 準備、端末２
----------------------------------------------------------------
use test
set transaction isolation level repeatable read
go


※端末１：non-transactional read-op select、端末２：update
　read-op selectで直近の変更が反映されている。

端末１                          |端末２
--------------------------------+--------------------------------
select * from bbb               |
go                              |
(select結果表示、ID=1)          |
                                |begin tran
                                |update bbb set ID=2 where ID=1
                                |go
select * from bbb               |
go                              |
(停止)                          |
                                |commit
                                |go
(select結果表示、ID=2)          |
(プロンプト戻る)                |
select * from bbb               |
(select結果表示、ID=2)          |


※端末１：transactional read-op select、端末２：update
　read-op selectで外部の更新が遅延させられる。

端末１                          |端末２
--------------------------------+--------------------------------
update bbb set ID=1             |
go                              |
begin tran                      |
go                              |
                                |begin tran
                                |go
select * from bbb               |
go                              |
(select結果表示、ID=1)          |
                                |update bbb set ID=2 where ID=1
                                |go
                                |(停止)
select * from bbb               |
go                              |
(select結果表示、ID=1)          |
select * from bbb               |
go                              |
(select結果表示、ID=1)          |
commit                          |
go                              |
                                |(プロンプト戻る)
select * from bbb               |
go                              |
(停止)                          |
                                |commit
                                |go
(select結果表示、ID=2)          |
(プロンプト戻る)                |


※端末１：transactional read-op select、端末２：update
　外部の非コミッテッドデータの存在により、read-op selectが遅延させられる。

端末１                          |端末２
--------------------------------+--------------------------------
update bbb set ID=1             |
go                              |
begin tran                      |
go                              |
                                |begin tran
                                |go
                                |update bbb set ID=2 where ID=1
                                |go
select * from bbb               |
go                              |
(停止)                          |
                                |commit
                                |go
(select結果表示、ID=2)          |
(プロンプト戻る)                |
select * from bbb               |
go                              |
(select結果表示、ID=2)          |
commit                          |
go                              |


※端末１/２：transactional read-op select＋update
　read-op selectによるupdateの遅延、デッドロックを起こすupdateの発行によ
　る片方のトランザクションの終了(rollback)

端末１                          |端末２
--------------------------------+-------------------------------
update bbb set ID=1             |
go                              |
begin tran                      |
go                              |
                                |begin tran
                                |go
select * from bbb               |
go                              |
(select結果表示、ID=1)          |
                                |select * from bbb
                                |go
                                |(select結果表示、ID=1)
update bbb set ID=11 where ID=1 |
go                              |
(停止)                          |
                                |update bbb set ID=22 where ID=1
                                |go
                                |(停止)
(デッドロックによるアボート)    |(１件処理)
         <<<<<<上アボート/１件処理は逆の場合あり>>>>>>
(プロンプト戻る)                |(プロンプト戻る)
select * from bbb               |
go                              |
(停止)                          |
                                |select * from bbb
                                |go
                                |(select結果表示、ID=22)
                                |commit
                                |go
                                |
(select結果表示、ID=22)         |
(プロンプト戻る)                |
commit                          |
go                              |
(エラー、BEGIN TRANSACTION無し) |


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