中国人民大学（李海翔）：从根说起—可串行化理论的光与影.pdf

从根说起—

可串行化理论的光与影

演讲人：李海翔@那海蓝蓝

1.第三代分布式数据库（1）--踢球时代

2.第三代分布式数据库（2）--创新之源

3.第三代分布式数据库（3）--一致性八仙图

2023年中国数据库技术大会

/room/csdnlive1/8XwRwx6K

2023年1024程序员节

目录

CONTENTS▶什么是“可串行化理论”？

可串行化理论的“光”

可串行化理论的“影”

凭什么同时保证数据一致性与性能？

1什么是“可串行化理论”？

我们只是熟悉它（或只是听说过）？还是真的掌握了她？

1什么是“可串行化理论”？

•理论层面•真实含义

12

？3

•串行能带来•实践层面

数据异常不？

1什么是“可串行化理论”？

采用的冲突模式

文献年份并发算法可串行化实现

RWWRWW

[247]1976Locking事务和一致性并发度等概念被JimGrey提出

提出2PL协议，定义了被广泛使用的、用于验证事务并发执行正确性的“serialequivalence”标准，对可串行化的概念

[245、246]1976Locking———

进行了形式化的描述

[229]对于RR模式，读操作施加读锁互斥其它并发事务发生，实现可串行化。采用了RW、WR、WW三种冲突模式是用于弱

1979Locking是是是

于可串行化的其它隔离级别

[261]1979Locking是是是提出“STRICTSERIALIZABILITY”和冲突图等

[166]1982