为什么这个选择更新示例有效？

Question

我正在运行一些简单的脚本来测试我正在解决的完整性问题的可能解决方案。假设我有一张桌子my_table

|foo     |
|1       |

我有这两个sn-ps：

// db_slow.php
<?php
$db = new PDO('mysql:host=localhost;dbname=my_playground;charset=utf8', 'root', '');
echo 'starting transaction<br />';
$db->beginTransaction();
$stmt = $db->query('select * from my_table for update');
$rows = $stmt->fetchAll();
echo 'count tables: ', count($rows), '<br />';
if (count($rows) == 1) {
    sleep(10);
    $db->query('insert into my_table(foo) VALUES(2)');
}
$db->commit();
echo 'done';

// db_fast.php
<?php
$db = new PDO('mysql:host=localhost;dbname=my_plyaground;charset=utf8', 'root', '');
echo 'starting transaction<br />';
$db->beginTransaction();
$stmt = $db->query('select * from my_table for update');
$rows = $stmt->fetchAll();
echo 'count tables: ', count($rows), '<br />';
if (count($rows) == 1) {
    $db->query('insert into my_table(foo) VALUES(3)');
}
$db->commit();
echo 'done';

db_slow.php 有 10 秒的延迟来模拟竞态条件。

据我了解，select ... for update 会锁定它选择的所有行。如果我运行db_slow，那么db_fast、db_fast 也会有10 秒的延迟，因为它正在等待db_slow，正如我所料。

但是，我没有得到的是输出：

// db_slow.php
starting transaction
count tables: 1
done

// db_fast.php
starting transaction
count tables: 2
done

还有my_table

|foo      |
|1        |
|2        |

---

据我了解，select ... for update 锁定了为该事务选择的所有行。所以这就是我所期望的：

1. db_slow：选择第 1 行并锁定它
2. db_slow: 看到只有 1 行，等待
3. db_fast：尝试选择第1行，看到它被锁定，等待
4. db_slow: 用 '2' 插入行
5. db_fast：继续，因为第 1 行已解锁
6. db_fast：只选择了 1 行，所以插入了 '3'
7. 以foo: 1, 2, 3 结尾

上面描述的输出和延迟似乎确认了步骤1、2、3、4。似乎db_fast在尝试获取锁后正在运行select？我以为它会选择一行，然后锁定或等待。

---

有点相关的问题：

当我使用select ... lock in share mode 运行它时，我最终会得到

// db_slow.php
starting transaction
count tables: 1
done

// db_fast.php
starting transaction
count tables: 1
done

还有my_table

|foo      |
|1        |
|3        |

为什么db_slow 认为表中只有 1 行（插入行的条件）却不插入行 '2'？

Answer 1

我认为预期的行为有点偏离。在 db_slow 提交之前，表中的所有行都被锁定。提交后，有两行。当 db_slow 提交时，db_fast 被解除阻塞。因此，行为是：

1. db_slow：选择第 1 行并锁定它
2. db_slow: 看到只有 1 行，等待
3. db_fast：尝试选择第1行，看到它被锁定，等待
4. db_slow: 用 '2' 插入行
5. db_slow：提交
6. db_fast：畅通并读取 2 行
7. db_fast：什么都不做
8. 以 foo 结尾：1, 2