3B001 — invalid_savepoint_specification（保存点说明无效）

速览

3B001 表示保存点操作引用了当前事务层级中不存在的保存点。它不同于 25P01：后者表示根本没有活动事务块。

含义

当 ROLLBACK TO SAVEPOINT 或相关操作无法在当前保存点栈中找到名称时，事务管理器会发出 3B001。PG18 源码模板包含名称；PG10 源码仍使用较早的 no such savepoint 措辞。缺失名称是事务结构问题，不是表数据冲突。

诊断

保存 SQLSTATE、主报文、事务状态和完整保存点序列。检查拼写、保存点是否已经 RELEASE，以及嵌套过程或子事务是否改变了当前层级。显式事务中的 ERROR 会令连接处于 INERROR；回滚之前不要在那里继续执行目录查询或修复 SQL。

处理

回滚失败块，开启新的显式事务，并建立名称和嵌套层级都明确的保存点。如果希望保留部分工作，应在风险语句前建立正确名称的保存点，并只回滚到已存在的标记；错误发生后不能凭空恢复缺失标记。重试应视为新的事务计划，并保留业务幂等检查。

报文

18.6 固定源码包含 savepoint "%s" does not exist 及当前层级的相关变体；选定 PG10 输出为 no such savepoint。这些是有源码依据的版本/调用差异，应根据 3B001 和事务状态处理，不要依赖单一英文完整报文。

代表案例

verify/cases/3B001/snippets.json（SHA-256 595ce7692e34d36cc31df94c65c7040ee9bc4558fa887c23b56ba3187d235deb）包含显式 BEGIN、已存在的 present 保存点、ROLLBACK TO SAVEPOINT missing，以及回滚后的修复序列。见公开案例导出和结构化证据。

BEGIN;
SAVEPOINT present;
ROLLBACK TO SAVEPOINT missing;
ROLLBACK;
BEGIN;
SAVEPOINT present;
RELEASE SAVEPOINT present;
COMMIT;

运行器使用 autocommit 只是为了让 registry 中的 BEGIN/ROLLBACK/COMMIT 边界完全显式；它断言缺失标记后是 INERROR，恢复提交后是 IDLE。

选定案例在 PostgreSQL 18.6 和 10.21 观察到 3B001。PG18 报 savepoint "missing" does not exist，PG10 报 no such savepoint；两者都让显式事务在 ROLLBACK 前保持 INERROR，之后合法保存点序列可以提交。

版本

目录从 8.0.0 或更早边界到正式快照都记录了 3B001。选定的 18.6 与 10.21 运行证明 SQLSTATE 和恢复边界；主要报文则从旧版泛化措辞变为包含保存点名称的模板。

相关

可对照3B000 保存点异常以及没有事务块时的25P01 无活动 SQL 事务。

来源

• src.errcodes.18.6（SHA-256 6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba）
• src.xact.18.6（SHA-256 75b012c0b047d1dc905a30975c244beec366e45eac0dbf109fd21bcd611a8e39）
• src.xact.10.23（SHA-256 9120bd418bd0f18e3f1065a3772c92ff68f3be54e1a8c6d415043197f6daa47c）
• SAVEPOINT 官方文档 · 本地调用扫描 src.calls.REL_18_6（SHA-256 9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf）