http://www.chensj.cn/article/postgresql-source-code-analysis-big-picture/ PostGresql之MVCC代码分析（1）：概览 PostGresql采用“快照”方式来实现MVCC。具体地说，这意味着每一个事务中的查询仅能看到： 1.该事务启动之前已经提交的事务所作出的数据更改。 2.当前事务中该查询之前的查询所作出的更改。 PostGresql在每个事务启动时为该事务获取一个当前的数据库快照，快照中数据结构如下： typedef struct SnapshotData { SnapshotSatisfiesFunc satisfies; /*行测试函数指针*/ TransactionId xmin; /* id小于xmin的所有事务更改在当前快照中可见 */ TransactionId xmax; /* id大于xmax的所有事务更改在当前快照中可见 */ uint32 xcnt; /* 正在运行的事务的计数 */ TransactionId *xip; /* 所有正在运行的事务的id列表 */ /* note: all ids in xip[] satisfy xmin <= xip[i] < xmax */ int32 subxcnt; /* # of xact ids in subxip[],-1 if overflow */ TransactionId *subxip; /* array of subxact IDs in progress */ CommandId curcid; /* in my xact,CID < curcid are visible */ uint32 active_count; /* refcount on ActiveSnapshot stack */ uint32 regd_count; /* refcount on RegisteredSnapshotList */ bool copied; /* false if it’s a static snapshot */ } SnapshotData; Transaction启动时形成快照就是要记录该Transaction可见的TransactionID，排除不可见的ID。PostGresql中每一个版本的数据有两个ID，其中一个是CreationID即插入该数据的TransactionID，一个是ExpiredID，即删除或更新该数据的TransactionID。对一个Transaction可见的数据的ID要满足以下条件： 1.CreationID<当前TransactionID 2.ExpiredID>当前TransactionID或ExpiredID不存在 Transaction启动形成快照的过程： 遍历当前所有活动的Transaction，记录在一个活动Transaction的ID数组中；根据Transaction的先后顺序，选择当前Transaction可见的最小TransactionID，记录在xmin，选择可见的最大TransactionID，记录在xmax中。 PostGresql8.5中进行最终的版本选择是在从外存中获取一个页面的数据之后，由一个检验函数（HeapTupleSatisfiesMVCC等一系列函数）检验所有该页面数据的数据对当前Transaction的可见性，如果不可见，则将数据除去，最后返回所有可见数据。 相关文章: PostGresql之MVCC代码分析 MVCC（多版本并发控制）是数据库中用以实现事务Lock-Free的方式之一。相对于传统的两段锁等方式的事务并发处理机制，MVCC在读写同时操作时并不需要加锁，而只在两个写操作同时进行时，才加一个互斥锁。其实现思想是展示给每个事务该事务开始时数据库的快照。继续阅读 »... 原文链接：https://www.f2er.com/postgresql/196130.html