描述

SAVEPOINT语句用来实现事务的部分回滚。

格式

  1. 创建savepoint:
  1. SAVEPOINT spname
  1. 回滚到savepoint:
  1. ROLLBACK [WORK] to [SAVEPOINT] spname
  1. 删除savepoint:
  1. RELEASE SAVEPOINT spname

参数说明

  • spname:指定savepoint的名称。savepoint是事务范围内唯一的,一个savepoint会覆盖前一个同名的savepoint。创建savepoint后可以将事务回滚到指定savepoint,也可以使用ROLLBACK语句回滚整个事务。

举例

假设一个事务执行了如下语句:

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>的映射关系:

image.png

事务参与者列表

事务为了支持回滚某条sql之后的所有修改,需要将每条语句涉及的参与者以及对应的sql_no记录下来,以上事务执行了7条sql,涉及p1~p6共6个partition:

image.png

savepoint回滚过程

  1. 根据savepoint链表查询spname对应的sql_no

假设用户执行ROLLBACK to SAVEPOINT sp2,根据savepoint链表查询到sp2对应的sql_no为3。

  1. 根据事务参与者列表查询sql_no对应的partition

根据事务参与者列表查询到sql_no大于3的语句操作的分区涉及p1、p3、p5、p6。

  1. 回滚分区数据

根据第2步查询到的分区,调度程序向这些分区发起回滚请求,回滚当前事务在这些分区上sp2之后的所有修改。其中p1、p3、p5上关于本事务的部分修改被回滚掉,p6上关于本事务的所有修改都被回滚掉。

  1. 更新事务参与者列表信息

修改事务参与者列表,将sql_no大于3的操作信息从事务参与者列表中删除,由于p6上的所有修改都被回滚掉,因此p6可以从参与者列表中删除。

image.png

  1. 删除无效的savepoint

用户执行ROLLBACK to SAVEPOINT sp2成功后,系统会删除sp3和sp4的savepoint,不允许再回滚到sp3和sp4。

image.png