PostgreSQL可序列化隔离级事务是否需额外用FOR UPDATE行锁？

不需要强制使用，但得根据具体操作场景判断：

• 可序列化事务不会自动将行锁定至事务提交。它的隔离保障依赖的是事务提交阶段的序列化冲突检查，而非长期持有行锁。普通SELECT在可序列化级别下只会获取短期共享锁，查询完成后就会释放，完全不影响其他事务修改该行。

• 如果你需要在事务中读取行后确保后续能安全修改（避免其他事务先修改导致序列化失败或数据不一致），或者要阻止其他事务修改/锁定该行直到当前事务结束，就必须显式使用SELECT ... FOR UPDATE（或类似锁行语句，比如FOR NO KEY UPDATE）。

举个实际场景：
假设你要读取用户余额并扣除金额：

BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE;
-- 不加FOR UPDATE：其他事务可能在此期间修改balance
SELECT balance FROM users WHERE id = 1;
-- 假设这里做金额计算逻辑
UPDATE users SET balance = balance - 100 WHERE id = 1;
COMMIT;

这种情况下，若另一个事务同时修改该用户余额，当前事务提交时很可能触发serialization_failure错误，需要重试。

如果加上FOR UPDATE：

BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE;
SELECT balance FROM users WHERE id = 1 FOR UPDATE;
-- 此时该行被排他锁锁定，其他事务无法修改或加锁该行，直到当前事务提交/回滚
UPDATE users SET balance = balance - 100 WHERE id = 1;
COMMIT;

这样就能避免序列化冲突，确保操作原子性，无需处理重试逻辑（除非遇到死锁，但概率极低）。

• 补充：可序列化级别本身能自动处理不少并发冲突，但代价是可能出现事务回滚（序列化失败）。如果你的业务无法接受重试逻辑，显式加行锁是更稳妥的选择；如果能接受重试，也可以依赖可序列化的自动检查，省去手动加锁的复杂性。

内容的提问来源于stack exchange，提问作者Jimski