关于“选择更新”的一些问题？

Question

这是使用 libpq.so 的伪代码；但它并不像我想的那样。

transaction begin

re1 = [select ics_time from table1 where c1=c11, c2=c22, c3=c33, c4=c44 for update];

if(re1 satisfies the condition)
{
   re2 = [select id where c1=c11, c2=c22, c3=c33, c4=c44 for update];
   delete from table1 where id = re2;
   delete from table2 where id = re2;
   delete from table3 where id = re3;
   insert a new record into table1,table2,table3 with the c1,c2,c3,c4 as primary keys;
]
commit or rollback

注意c1,c2,c3,c4在数据库中都设置为主键，所以数据库中只有一行有这些键。

让我感到困惑的是：

1. 有两个“选择更新”将锁定同一行。在 这段代码，第二条 SQL 语句是否等待排他锁 被第一个语句阻止？但是，实际情况是这样的 不会发生。
2. 出乎我的意料。在日志中，我看到一个大 重复插入错误的数量。在我看来，“选择 for update " 用唯一的 for 键锁定行，两个过程 依次进行。插入操作在删除之后进行。这些怎么可能 出现重复插入？ “选择更新”是否添加了一个 该行的排他锁，它阻塞所有其他进程 想要锁定同一行？

Answer 1

关于您的第一点：语句不持有锁，周围事务持有锁。您的伪代码似乎对一个事务使用一个连接，而该事务又使用多个语句。所以第二个SELECT FOR UPDATE 不会被第一个阻止。请阅读docs about locking 了解此内容：

[...]当行被更新或删除时，会自动获取特定行上的排他行级锁。锁一直保持到事务提交或回滚，就像表级锁一样。行级锁不影响数据查询；他们只阻止同一行的写入者。

否则，如果一个交易可以这么容易地阻止自己，那就太可笑了。

关于您的第二点：我无法回答这个问题，因为a）您的伪代码是针对这个问题的伪代码，b）我不明白您所说的“进程”和确切的用例是什么意思。