中国人民大学：从根说起—可串行化理论的光与影.docxVIP

从根说起—

可串行化理论的光与影

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

/room/csdnlive1/8XwRwx6K

2023年1024程序员节

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

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

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

2023年中国数据库技术大会

目录

CONTENTS

?

什么是“可串行化理论”？可串行化理论的“光”可串行化理论的“影”

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

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

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

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

?真实含义1

?真实含义

1

2

?理论层面

3?

3

?

?实践层面

?实践层面

?串行能带来数据异常不？

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

文献

年份

并发算法

采用的冲突模式

可串行化实现

RW

WR

WW

[247]

1976

Locking

事务和一致性并发度等概念被JimGrey提出

[245、246]

1976

Locking

—

—

—

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

[229]

1979

Locking

是

是

是

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

[261]

1979

Locking

是

是

是

提出“STRICTSERIALIZABILITY”和冲突图等

[166]

1982

OCC+DTA最早DTA

是

是

避免

基于锁替代临界区，互斥其它并发事务发生写写冲突，发生了RW、WR冲突则动态调整事务的时间戳范围，基于提交时间戳（通过协商动态获得）进行排序实现可串行化

[126]

1983

TO算法

提出基于时间戳的并发访问控制协议

[157]

2014

OCC+DTAMaaT

是

是

避免

基于提交时间戳排序，但时间戳是在RW、WR二种冲突模式种通过协商动态获得；在被写的数据项上加软写锁，避免第二次被写（避免写写冲突），软写锁替代临界区的作用

[129]

1984

OCC/BOCC

—

是

避免

基于临界区互斥其它并发事务进入验证阶段避免WW冲突，并先进入临界区者排序在前，完成可串行化排序目的；BOCC已经提交事务的写集和本事务的读集比较；FOCC本事务的写集和活跃事务的读集比较

OCC/FOCC

是

[113]

1995

无

—

—

—

对多种数据异常进行了形式化定义，没有提及可串行化实现方式（基于封锁技术定义数据异常和隔离级别）

[226]

2000

无

—

—

—

对多种数据异常进行了形式化定义，没有提及可串行化实现方式（基于封锁、乐观、MVCC技术定义数据异常和隔离级别）

[114]

2009

MVCC/SSI

—

—

避免

理论方面是通过打破依赖图中的环实现可串行化，实践中是通过破坏双方向的RW冲突发生实现可串行化（双方向的读-写冲突是形成环的必要条件）。读操作基于快照，禁止WW冲突发生

[79]

2012

MVCC/WSI

—

—

—

提交阶段，对于本事务的读集数据，检查是否被其他事务修改，即检查RW冲突（类似FOCC的方式）。读操作基于快照

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

目录

CONTENTS

?

什么是“可串行化理论”？可串行化理论的“光”可串行化理论的“影”

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

2.1“可串行化理论”解决了哪些问题？

?理论层面

?理论层面

?真实含义

12

1

2

??实践层面?

?

?实践层面

?串行能带来数据异常不？

3

ü完整性约束?üACID的C？

ü理论和实践不一致

2.2“可串行化理论”的价值在哪里？

解决部分异常现象

没有数据异常的全集，就没有好的鉴别力

提出普遍认可的算法

不能得到高效的并发算法

STEPSTEP

STEP

STEP

STEPSTESTEP

STEP

02

04

03

提供提高性能的手段

不能认知隔离级别的弊端

似乎有理的直观理论

不能有效认知可串行化理论的边界与缺陷

2.2“可串行化理论”的价值在哪里？

一

一

走路

走

来

一个满目疮痍的世界

2.2“可串行化理论”的价值在哪里？

一个满目疮痍的世界

目录

CONTENTS

?

什么是“可串