PostgreSQL可序列化隔离级别下事务冲突的回退处理及保存点问询

一、步骤4插入触发序列化冲突后的回退操作 #

当insert操作抛出ERROR 40001时，直接执行rollback即可，无需先执行rollback to savepoint p1。原因如下：

• 序列化冲突会直接标记整个事务为失败状态，PostgreSQL会阻止该事务内的任何后续操作（包括保存点相关命令），此时调用rollback to savepoint会直接报错。
• 全量回滚后，重试事务时可以复用保存点名称p1——保存点是事务内的局部标识，每个新事务的保存点相互独立，名称重复不会产生冲突。

二、release savepoint p1触发冲突的处理 #

• release savepoint并非必然成功：在可序列化隔离级别下，释放保存点的操作会触发一致性校验，同样可能因读写依赖冲突抛出40001错误。
• 遇到该错误时不能执行rollback to savepoint p1：此时事务已处于失败状态，所有保存点都已失效，执行保存点回滚命令会报错。正确操作是直接rollback整个事务后重试。

三、可序列化隔离级别下减少/避免冲突的查询实践 #

要避免序列化冲突，核心是打破事务间的循环读写依赖，以下是关键实践要点：

• 统一资源访问顺序：对共享数据（如表行）的修改操作，尽量按照相同的顺序执行（例如按主键升序更新），避免交叉访问形成依赖循环。
• 优化只读事务：如果只读事务不需要实时最新数据，可设置SET TRANSACTION READ ONLY，这类事务的冲突概率更低；必要时可配合SET TRANSACTION SNAPSHOT复用已有快照，减少校验压力。
• 缩短事务时长：事务越短，与其他事务交叉执行的窗口越小，冲突概率越低。避免在事务内等待外部输入（如用户操作）。
• 拆分批量操作：将大规模的写操作拆分为多个小事务执行，降低单次事务的影响范围。
• 谨慎使用锁定查询：SELECT ... FOR UPDATE/SELECT ... FOR SHARE这类加锁查询会增加读写依赖的概率，非必要时尽量避免，或缩小锁定范围。

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