openGauss源码解析（70）

openGauss源码解析：事务机制源码解析（2）

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。

3. 事务状态机系统实例

本小节给出一条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执行流程