PostgreSQL数据库事务实现方法分析

本文实例讲述了PostgreSQL数据库事务实现方法。分享给大家供大家参考，具体如下：

事务简介

• 事务管理器：有限状态机
  • 日志管理器
    • CLOG：事务的执行结果
    • XLOG：undo/redo日志
  • 锁管理器：实现并发控制，读阶段采用MVCC，写阶段采用锁控制实现不同的隔离级别

事务是所有数据库系统的一个基本概念。 一次事务的要点就是它把多个步骤捆绑成了一个单一的，不成功则成仁的操作。 其它并发的事务是看不到在这些步骤之间的中间状态的，并且如果发生了一些问题， 导致该事务无法完成，那么所有这些步骤都完全不会影响数据库。PostgreSQL为每条事务创建一个postgre进程，并发执行事务。采用分层的机制执行事务，上层事务块和底层事务。上层事务块是用户眼中的事务，用于控制事务执行的状态；底层事务是事务中的每条语句，可以改变上层事务块的状态。

上层事务块

每个postgre进程只有一个事务块，上层事务块记录着本次事务执行过程中的各个状态。

typedef enum TBlockState
{
/* not-in-transaction-block states */
TBLOCK_DEFAULT, /* idle */
TBLOCK_STARTED, /* 执行简单查询事务 */
/* transaction block states */
TBLOCK_BEGIN, /* 遇见事务开始BEGIN */
TBLOCK_INPROGRESS, /* 事务正在执行中 */
TBLOCK_PARALLEL_INPROGRESS, /* live transaction inside parallel worker */
TBLOCK_END, /* 遇见事务结束COMMIT/END的时候设置 */
TBLOCK_ABORT, /* 事务出错，等待ROLLBACK */
TBLOCK_ABORT_END, /* 事务出错，收到ROLLBACK */
TBLOCK_ABORT_PENDING, /* 事务处理中，接收到ROLLBACK */
TBLOCK_PREPARE, /* 事务处理中，收到PREPARE(分布式事务) */
/* subtransaction states */
TBLOCK_SUBBEGIN, /* starting a subtransaction */
TBLOCK_SUBINPROGRESS, /* live subtransaction */
TBLOCK_SUBRELEASE, /* RELEASE received */
TBLOCK_SUBCOMMIT, /* COMMIT received while TBLOCK_SUBINPROGRESS */
TBLOCK_SUBABORT, /* failed subxact, awaiting ROLLBACK */
TBLOCK_SUBABORT_END, /* failed subxact, ROLLBACK received */
TBLOCK_SUBABORT_PENDING, /* live subxact, ROLLBACK received */
TBLOCK_SUBRESTART, /* live subxact, ROLLBACK TO received */
TBLOCK_SUBABORT_RESTART /* failed subxact, ROLLBACK TO received */
} TBlockState;