#事务管理

# 事务结构

YashanDB事务由一条或多条SQL语句(DML或DDL)以及一条特殊的SET TRANSACTION语句组成。

事务可以分为如下两类:

  • 一条或多条DML语句的组合,一起构成对数据库的原子修改

  • 一条DDL语句

以从账户A给账户B转账100元的操作为例,该操作包含以下步骤:

  1. 减少A账户的余额
  2. 增加B账户的余额
  3. 在事务日志中记录转账操作

正常情况下,这3个步骤都正常完成,事务提交,全部修改生效。

若操作过程中发生了故障,例如余额不足、账户冻结、营业厅断电等情况,事务将无法完整完成,则必须全部回滚。回滚后,所有的账户余额维持原状。

该操作对应的事务示例如下:

INSERT INTO ACCOUNTS VALUES(10, 500);
UPDATE ACCOUNTS SET MONEY = MONEY - 100 WHERE ID = 'A';
UPDATE ACCOUNTS SET MONEY = MONEY + 100 WHERE ID = 'B'; 
INSERT INTO transaction_log (from_account, to_account, amount, transaction_time)
VALUES ('A', 'B', 100, NOW()); 
COMMIT;

# 事务状态

事务启动后直至结束,期间事务始终处于活跃状态。

活跃状态的事务可以接受新的修改,但需提交后才真正生效。在事务活跃期间,以下内容会产生缓存更改:

  • 数据缓冲区页面修改

  • undo日志

  • redo日志

  • 有数据更改的行被锁定

查询事务活跃状态的示例如下:

INSERT INTO TABLE_TEST VALUES(1);
SELECT xid, status FROM V$TRANSACTION;

                  XID STATUS
--------------------- ---------
           4371578888 OPEN

# 事务控制

# 事务启动

YashanDB事务是隐式启动的,由第一条可执行的SQL语句触发启动。

事务启动时,YashanDB会为其分配运行期间所需的资源,包括事务运行需要的内存、锁区、UNDO等,同时会为其分配一个全局唯一的事务ID。

事务启动后,可以通过V$TRASACTION视图查到事务相关信息。

# 事务结束

YashanDB事务可以通过手动和自动方式来结束,通常包含以下方式:

  • 手动执行COMMIT事务提交,事务更改将永久生效。

  • 手动执行ROLLBACK且不指定TO SAVEPOINT,整个事务将回滚。

  • 运行一个DDL,例如CREATE TABLE等操作,YashanDB的事务会在DDL运行前触发自动提交。自动提交后,DDL会作为一个新的事务运行。

  • 用户通过断开连接、logout等方式退出连接。退出连接时,根据该驱动或客户端工具的指令设置,事务会被自动提交或回滚。通常,正常退出时事务触发提交,异常退出时事务触发回滚。

INSERT INTO TABLE_TEST(1,2,3);
COMMIT;

如上述示例,提交一个事务后,(1,2,3)这条数据将持久化至该表内,事务修改生效。

# 事务控制语句

事务控制语句可用于管理事务的行为,包括以下语句:

  • COMMIT语句:

    用于提交当前事务,使事务所有的修改都持久化并生效。提交事务后,将归还事务所占用的所有资源,包括SAVEPOINT、锁资源、内存资源、UNDO。

  • ROLLBACK语句:

    • ROLLBACK:用于回滚当前事务,使事务所有的修改被回退,丢弃更改。
    • ROLLBACK TO SAVEPOINT:只将事务数据和资源回退至SAVEPOINT处的状态,而不会结束整个事务。
  • SAVEPOINT:

    用于标识一个保存点,记录了当前的事务状态和资源持有情况,后续事务可以回滚到已标记的保存点。

以下是事务控制语句的使用示例:

编号 语句 说明
0 UPDATE MONEY SET SALARY=SALARY-100 WHERE ACCOUNT = A 此语句执行一个DML,并触发事务启动,将账户A的余额减少100。
1 UPDATE MONEY SET SALARY=SALARY+100 WHERE ACCOUNT = B 此语句执行一个DML,并触发事务启动,将账户B的余额增加100。
2 SAVEPOINT TRANSFER_MONRY 创建一个保存点TRANSFER_MONRY
3 DELETE MONEY WHERE ACCOUNT = A 在余额表内删除账户A的记录,进行销户。
4 ROLLBACK TO TRANSFER_MONRY 将事务回滚至保存点TRANSFER_MONRY,上一条销户操作被撤销。
5 COMMIT 提交事务,最终转账操作生效。

# SAVEPOINT

当在未结束事务中设置保存点后,后续发生的任何操作,都可以通过ROLLBACK TO SAVEPOINT而撤销,数据和资源都将恢复到SAVEPOINT时的状态。

YashanDB在ROLLBACK TO SAVEPOINT时会做以下操作:

  • 回滚SAVEPOINT后的所有语句。

  • 释放指定SAVEPOINT后所有的其他SAVEPOINT。

  • 释放指定SAVEPOINT后的所有表锁和行锁资源。

在指定SAVEPOINT前的数据和锁都不受影响,事务仍处于活跃状态,可以继续执行事务操作。

以下是一个使用SAVEPOINT的示例,若先执行ROLLBACK TO A,则A后面才记录的SAVEPOINT B将会自动释放:

SAVEPOINT A;
INSERT INTO TEST_TABLE VALUES(1);
SAVEPOINT B;
DELETE FROM TEST_TABLE;
ROLLBACK TO B;
ROLLBACK TO A;

# 自治事务

自治事务时一种独立事务,可以在主事务中嵌套使用。YashanDB允许用户使用自治事务,可以在其中执行SQL操作,并独立结束自治事务。结束自治事务后,可以继续操作主事务。

自治事务一般用于必须独立执行的、不需要关注调用它的主事务最终如何结束的操作。自治事务具有以下特点:

  • 自治事务对主事务中的未提交修改不可见,也不会与主事务共享锁或资源。

  • 自治事务提交后,其他事务即可以对其修改可见,而不需要等待主事务提交。

  • 自治事务内可以启动自治事务,允许多层嵌套。

在PL中,自治事务在发起后,可以自由使用一组SQL语句执行数据修改。在自治事务的范围内,资源独立于其父事务执行。

示例如下,详细用法可以查看PL参考手册中相关语法。

CREATE OR REPLACE PROCEDURE AUTON_INSERT
AS
   PRAGMA autonomous_transaction;
BEGIN
    INSERT INTO test VALUES ( 'Autonomous Insert' );
    INSERT INTO test VALUES ( 'Autonomous Insert' );
    COMMIT;
END;
/