Percolator 背景
- Bigtable: 大表打散每行到各个节点,每一行作为一个kv。
- 解决的问题
一个事务涉及的行在多个节点,如何用单行对一个事务进行控制,实现原子性。
快照隔离级别(snapshot )
白色点:代表事务开始时间
黑色点:代表事务结束时间
事务2是不能看到事务1的修改(事务2的开始时间是早于事务1的提交时间)
事务3的开始时间是晚于事务1和事务2的提交时间,所以都能看到。
快照隔离级别类似可重复读,事务能读到的数据都是事务开始那一刻能看到的数据。
分布式时钟
分布式时钟: 给事务分配时间标识
Percolator 事务执行流程
primary key: 选择任一一行作为主行,这里不是说主键
prewrite
其它行也加锁(但这个锁的内容是指向主行),所以真正的锁只有一把在主行上。
如果此时其它行 无法加这个锁,则表示其他行正在被其它事务写入,则此时当前这个事务会报错,把指向的主行上面的锁也清掉。 (相当于整个分布式事务直接回滚)
Percolator 案例
- 修改数据
- prewrite
- 提交主行
- 主行提交完毕,提交其它行
如果主行提交完成,其它行提交异常(数据库down了),其实是不影响事务的一致性。因为重新发起事务后,发现上面有个锁(记录主锁信息)发现主锁已经清理,则此时会将lock当中的信息清掉,保持其他行已提交。
优缺点
- 优点
- 实现简单
- 基于单行的事务基础上,实现了跨行事务
- 去中心化的锁管理
- 缺点
- 需要管理中心化的版本号
- 网络交互较多