これは素晴らしい質問です。InnoDB は行レベルのロック エンジンですが、バイナリ ログ (レプリケーション、ポイント イン タイム リカバリに使用) の安全性を確保するために、追加のロックを設定する必要があります。それを説明するために、次の(単純な)例を考えてみましょう。
session1> START TRANSACTION;
session1> DELETE FROM users WHERE is_deleted = 1; # 1 row matches (user_id 10), deleted.
session2> START TRANSACTION;
session2> UPDATE users SET is_deleted = 1 WHERE user_id = 5; # 1 row matches.
session2> COMMIT;
session1> COMMIT;
ステートメントは一度コミットされるとバイナリ ログにのみ書き込まれるため、スレーブではセッション #2 が最初に適用され、異なる結果が生成され、データの破損につながります。
InnoDB が行うことは、追加のロックを設定することです。がインデックス化されている場合is_deleted
、session1 がコミットされる前に、他の誰も変更したり、レコードの範囲に挿入したりis_deleted=1
できなくなります。にインデックスがない場合is_deleted
、 InnoDB はテーブル全体のすべての行をロックして、リプレイが同じ順序になるようにする必要があります。これは、ギャップをロックすることと考えることができます。これは、行レベルで直接ロックすることとは異なる概念です。
その場合ORDER BY position ASC
、 InnoDB は、最小のキー値と「特別な」最小の可能な値の間で新しい行が変更されないようにする必要があります。..のようなことをした場合ORDER BY position DESC
、誰もこの範囲に挿入できませんでした。
だからここに解決策があります:
4 月 22 日更新: テストケースの改良版をコピーして貼り付けるには (「ギャップ内」を検索していませんでした):
session1> CREATE TABLE test (id int not null primary key auto_increment, data1 int, data2 int, INDEX(data1)) engine=innodb;
Query OK, 0 rows affected (0.00 sec)
session1> INSERT INTO test VALUES (NULL, 1, 2), (NULL, 2, 1), (5, 2, 2), (6, 3, 3), (3, 3, 4), (4, 4, 3);
Query OK, 6 rows affected (0.00 sec)
Records: 6 Duplicates: 0 Warnings: 0
session1> start transaction;
Query OK, 0 rows affected (0.00 sec)
session1> SELECT id FROM test ORDER BY data1 LIMIT 1 FOR UPDATE;
+----+
| id |
+----+
| 1 |
+----+
1 row in set (0.00 sec)
session2> INSERT INTO test values (NULL, 0, 99); # blocks - 0 is in the gap between the lowest value found (1) and the "special" lowest value.
# At the same time, from information_schema:
localhost information_schema> select * from innodb_locks\G
*************************** 1. row ***************************
lock_id: 151A1C:1735:4:2
lock_trx_id: 151A1C
lock_mode: X,GAP
lock_type: RECORD
lock_table: `so5694658`.`test`
lock_index: `data1`
lock_space: 1735
lock_page: 4
lock_rec: 2
lock_data: 1, 1
*************************** 2. row ***************************
lock_id: 151A1A:1735:4:2
lock_trx_id: 151A1A
lock_mode: X
lock_type: RECORD
lock_table: `so5694658`.`test`
lock_index: `data1`
lock_space: 1735
lock_page: 4
lock_rec: 2
lock_data: 1, 1
2 rows in set (0.00 sec)
# Another example:
select * from test where id < 1 for update; # blocks