了解更多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都在岗,然后更新两位医生为离岗状态。这就违背了可串行化隔离级别,因为业务逻辑是要保证至少有一位医生在岗。如果两个事务串行方式依次执行&#x