Postgresql可串行化快照隔离浅析

了解更多Greenplum相关内容，欢迎访问Greenplum中文社区网站

引 言

PostgreSQL数据库采用快照隔离（Snapshot Isolation）技术实现并发控制，快照隔离是利用数据的多版本实现并发控制的一种方式。快照保存了某个特定时间点活跃事务的状态信息。在PostgreSQL数据库中，对于Read Committed隔离级别，事务中的每条SQL语句的执行都会获取一个快照，对于Repeatable Read隔离级别，事务只在第一条SQL语句的执行时获取一个快照，后续的SQL语句使用同一个快照。

 

快照隔离存在的异常现象

尽管快照隔离可以避免脏读、不可重复读、幻读这三种读异常现象，但并不是真正的可串行化隔离级别，文献[1]指出快照隔离级别中存在写偏斜（Write Skew）的异常现象。写偏斜发生在两个并发的事务读取相同的数据，然后都修改了数据的交集部分。

我们以一个示例讲述，这个示例来自于Dan和Kevin关于PostgreSQL数据库SSI实现的论文[2]。这个示例有两个并发的事务参与，每个事务完成的操作是：查找当前在值守的医生的数量，如果数量大于等于2，那么就选择一位医生离岗。在快照隔离级别下，假如两个事务执行之前，医生Alice和Bob都在岗，每个事务开始执行，首先取得自己的快照，查询满足条件的医生数量，就是Alice和Bob都在岗，然后更新两位医生为离岗状态。这就违背了可串行化隔离级别，因为业务逻辑是要保证至少有一位医生在岗。如果两个事务串行方式依次执行，就能保证这个业务逻辑。