OceanBase SAVEPOINT
描述
SAVEPOINT
语句用来实现事务的部分回滚。
格式
- 创建
SAVEPOINT
:
SAVEPOINT spname
- 回滚到
SAVEPOINT
:
ROLLBACK [WORK] to [SAVEPOINT] spname
参数说明
参数 |
描述 |
---|---|
spname |
指定 |
示例
假设一个事务执行了如下语句:
sql_no |
语句 |
分区 |
---|---|---|
1 |
update... |
p1, p4 |
savepoint sp1 |
||
2 |
update... |
p2, p4 |
3 |
update... |
p3, p5 |
savepoint sp2 |
||
4 |
update... |
p1, p3, p6 |
5 |
update... |
p1, p5 |
savepoint sp3 |
||
6 |
select... |
|
7 |
update... |
p5, p6 |
savepoint sp4 |
记录 Savepoint
用户在提交事务之前可以创建SAVEPOINT
,需要根据SAVEPOINT
创建的顺序,将事务的SAVEPOINT
串成链表。以上事务包含了 7 条 SQL 和 4 个SAVEPOINT
,记录SAVEPOINT
的链表如下图所示,其中每个节点记录了<spname, sql_no>
的映射关系:
事务参与者列表
事务为了支持回滚某条 SQL 之后的所有修改,需要将每条语句涉及的参与者以及对应的 sql_no
记录下来,以上事务执行了 7 条 SQL,涉及 p1~p6 共 6 个分区:
Savepoint 回滚过程
- 根据
SAVEPOINT
链表查询spname
对应的sql_no
假设用户执行ROLLBACK to SAVEPOINT sp2
,根据savepoint链表查询到 sp2 对应的sql_no
为 3。 - 根据事务参与者列表查询
sql_no
对应的分区根据事务参与者列表查询到sql_no
大于 3 的语句操作的分区涉及 p1、p3、p5、p6。 - 回滚分区数据根据第 2 步查询到的分区,调度程序向这些分区发起回滚请求,回滚当前事务在这些分区上 sp2 之后的所有修改。其中 p1、p3、p5 上关于本事务的部分修改被回滚掉,p6 上关于本事务的所有修改都被回滚掉。
- 更新事务参与者列表信息修改事务参与者列表,将
sql_no
大于 3 的操作信息从事务参与者列表中删除,由于 p6上的所有修改都被回滚掉,因此 p6 可以从参与者列表中删除。 - 删除无效的 Savepoint用户执行
ROLLBACK to SAVEPOINT sp2
成功后,系统会删除 sp3 和 sp4 的SAVEPOINT,不允许再回滚到 sp3 和 sp4。