openGauss数据库源码解析 | 事务机制源码解析（3）

2. 事务底层状态

TransState结构体代码如下：从内核视角的事务状态，真正意义上的事务状态。

typedef enum TransState
{
TRANS_DEFAULT,/* 当前为空闲缺省状态，无事务开启*/
TRANS_START,/* 事务正在开启*/
TRANS_INPROGRESS,/* 事务开始完毕，进入事务运行中*/
TRANS_COMMIT,/* 事务正在提交*/
TRANS_ABORT,/* 事务正在回滚*/
TRANS_PREPARE/* 两阶段提交事务进入PREPARE TRANSACTION阶段*/
} TransState;

图5-3事务底层状态

内核内部底层状态如图5-3所示，底层状态机的描述见结构体TransState。

（1） 在事务开启前事务状态为TRANS_DEFAULT。

（2） 事务开启过程中事务状态为TRANS_START。

（3） 事务成功开启后一直处于TRANS_INPROGRESS。

（4） 事务结束/回滚的过程中为TARNS_COMMIT/ TRANS_ABORT。

（5） 事务结束后事务状态回到TRANS_DEFAULT。

事务状态机系统实例

本小节给出一条SQL的状态机运转实例，有助于更好地理解内部事务如何运作。在客户端执行SQL语句：

BEGIN;
        SELECT * FROM TABLE1; 
    END;

1） 整体流程

整体执行过程如图5-4，任何语句的执行总是先进入事务处理接口事务块中，然后调用事务底层函数处理具体命令，最后返回到事务块中。

图5-4  整体流程

2） BEGIN执行流程，如图5-5所示。

（1） 入口函数exec_simple_query处理begin命令。

（2） start_xact_command函数开始一个query命令，调用StartTransactionCommand函数，此时事务块上层状态未TBLOCK_DEFAULT，继续调用StartTransaction函数，设置事务底层状态TRANS_START，完成内存、缓存区、锁资源的初始化后将事务底层状态设为TRANS_INPROGRESS，最后在StartTransactionCommand函数中设置事务块上层状态为TBLOCK_STARTED。

（3） PortalRun函数处理begin语句，依次向下调用函数，最后调用BeginTransactionBlock函数转换事务块上层状态为TBLOCK_BEGIN。

（4） finish_xact_command函数结束一个query命令，调用CommitTransactionCommand函数设置事务块上层状态从TBLOCK_BEGIN变为TBLOCK_INPROGRESS，并等待读取下一条命令。

图5-5  BEGIN执行流程

3） SELECT执行流程，如图5-6所示。

（1） 入口函数exec_simple_query处理“SELECT * FROM table1；”命令。

（2） start_xact_command函数开始一个query命令，调用StartTransactionCommand函数，由于当前上层事务块状态为TBLOCK_INPROGRESS，说明已经在事务块内部，则直接返回，不改变事务上层以及底层的状态。

（3） PortalRun执行SELECT语句，依次向下调用函数ExecutorRun根据执行计划执行最优路径查询。

（4） finish_xact_command函数结束一条query命令，调用CommitTransactionCommand函数，当前事务块上层状态仍为TBLOCK_INPROGESS，不改变当前事务上层以及底层的状态。

图5-6  SELECT执行流程

4） END执行流程，如图5-7所示。

（1） 入口函数exec_simple_query处理end命令。

（2） start_xact_command函数开始一个query命令，调用StartTransactionCommand函数，当前上层事务块状态为TBLOCK_INPROGESS，表明事务仍然在进行，此时也不改变任何上层及底层事务状态。

（3） PortalRun函数处理end语句，依次调用processUtility函数，最后调用EndTransactionBlock函数对当前上层事务块状态机进行转换，设置事务块上层状态为TBLOCK_END。

（4） Finish_xact_command函数结束query命令，调用CommitTransactionCommand函数，当前事务块状态TBLOCK_END；继续调用CommitTransaction函数提交事务，设置事务底层状态为TRANS_COMMIT，进行事务提交流程并且清理事务资源；清理后设置底层事务状态为TRANS_DEFAULT，返回CommitTansactionCommand函数；设置事务块上层状态为TBLOCK_DEFAULT，整个事务块结束。

图5-7  END执行流程

4. 事务状态转换相关函数简述

1） 事务处理子函数：根据当前事务上层状态机，对事务的资源进行相应的申请、回收及清理。

具体介绍如表5-2所示。

表5-2  事务处理子函数

子函数	说明
StartTransaction	开启事务，对内存及变量进行初始化操作，完成后将底层事务状态置为TRANS_INPROGRESS
CommitTransaction	当前的底层状态机为TRANS_INPROGRESS，然后置为TRANS_COMMIT，本地持久化CLOG及XLOG日志，并清空相应的事务槽位信息，最后将底层状态机置为TRANS_DEFAULT
PrepareTransaction	当前底层状态机为TRANS_INPROGRESS，同前面描述的CommitTransaction函数类似处理，设置底层状态机为TRANS_PREPARE，构造两阶段GXACT结构并创建两阶段文件，加入dummy的槽位信息，将线程的锁信息转移到dummy槽位中，释放资源，最后将底层状态机置为TRANS_DEFAULT
AbortTransaction	释放LWLock、UnlockBuffers、LockErrorCleanup，当前底层状态为TRANS_INPROGRESS，设置为TRANS_ABORT，记录相应的CLOG日志，清空事务槽位信息，释放各类资源
CleanupTransaction	当前底层状态机应为TRANS_ABORT，继续清理一些资源，一般紧接着AbortTransaction调用
FinishPreparedTransaction	结束两阶段提交事务
StartSubTransaction	开启子事务
CommitSubTransaction	提交子事务
AbortSubTransaction	回滚子事务
CleanupSubTransaction	清理子事务的一些资源信息，类似于CleanupTransaction
PushTransaction/PopTransaction	子事务类似于一个栈式的信息，Push/Pop函数是开启和结束子事务时使用

2） 处理函数，根据相应的状态机调用子函数。

具体介绍如表5-3所示。

表5-3  事务执行函数

函数	说明
StartTransactionCommand	事务开始时根据上层状态机调用相应的事务执行函数
CommitTransactionCommand	事务结束时根据上层状态机调用相应的事务执行函数
AbortCurrentTransaction	事务内部出错，长跳转longjump调用，提前清理掉相应的资源，并将事务上层状态机置为TBLOCK_ABORT

3） 上层事务状态机控制函数

具体介绍如表5-4所示。

表5-4  上层事务状态机控制函数

函数	说明
BeginTransactionBlock	开启一个显式事务时，将上层事务状态机变为TBLOCK_BEGIN
EndTransactionBlock	显式提交一个事务时，将上层事务状态机变为TBLOCK_END
UserAbortTransactionBlock	显式回滚一个事务时，将上层事务状态机变为TBLOCK_ABORT_PENDING/ TBLOCK_ABORT_END
PrepareTransactionBlock	显式执行PREPARE语句，将上层事务状态机变为TBLOCK_PREPARE
DefineSavepoint	执行savepoint语句，通过调用PushTransaction将子事务上层事务状态机变为TBLOCK_SUBBEGIN
ReleaseSavepoint	执行release savepoint语句，将子事务上层状态机转变为TBLOCK_SUBRELEASE
RollbackToSavepoint	执行“rollback to”语句，将所有子事务上层状态机转变为TBLOCK_SUBABORT_PENDING/ TBLOCK_SUBABORT_END，顶层事务的上层状态机转变为TBLOCK_SUBABORT_RESTART