从根说起—可串行化理论的光与影

从根说起—可串行化理论的光与影 演讲人：李海翔@那海蓝蓝 1.第三代分布式数据库（1）--踢球时代2.第三代分布式数据库（2）--创新之源3.第三代分布式数据库（3）--一致性八仙图 2023年中国数据库技术大会 https://live.csdn.net/room/csdnlive1/8XwRwx6K 2023年1024程序员节 目录CONTENTS 什么是“可串行化理论”？ 可串行化理论的“光” 可串行化理论的“影” 凭什么同时保证数据一致性与性能？ 1什 么 是“可 串 行 化 理 论”？ 我们只是熟悉它（或只是听说过）？还是真的掌握了她？ 1什 么 是“可 串 行 化 理 论”？ 1什 么 是“可 串 行 化 理 论”？ 目录CONTENTS 可串行化理论的“光” 可串行化理论的“影” 凭什么同时保证数据一致性与性能？ 2 . 1“可 串 行 化 理 论”解 决 了 哪 些 问 题 ？ ü完整性约束?üACID的C？ ü理论和实践不一致 2 . 2“可 串 行 化 理 论”的 价 值 在 哪 里 ？ 2 . 2“可 串 行 化 理 论”的 价 值 在 哪 里 ？ 2.2 “可串行化理论”的价值在哪里？ 一 个 满 目 疮 痍 的 世 界 目录CONTENTS 可串行化理论的“光” 可串行化理论的“影” 凭什么同时保证数据一致性与性能？ 3 . 1“可 串 行 化 理 论”不 能 解 决 哪 些 问 题 ？ 经典死锁问题 s = W1[x1] W2[y1] W2[x2] W1[y2] W3[x3]s` = W2[y1] W2[x1] W1[x2] W1[y2] W3[x3]s`是一个串行化调度（T2→T1→T3） 3 . 2“可 串 行 化 理 论”的 缺 陷 在 哪 里 ？ 目录CONTENTS 可串行化理论的“光” 可串行化理论的“影” 凭什么同时保证数据一致性与性能？ 4 . 1凭 什 么同 时保 证 数 据 一 致 性 与 性 能 ？ 1量化所有异常2去掉隔离级别3量化并发算法4改变“可串行化理论”—串行思路变为并发思路 Select…For Update 世界从此变得简单 4 . 1凭 什 么同 时保 证 数 据 一 致 性 与 性 能 ？ 分布式原理 分布式数据库理念第6到第8篇，对比阅读更佳；读完一轮后，再返回头重读第 一篇和第二篇，重新品味或批评其中的背景和观点，也许更有帮助。 1.分布式原理（1）--CAP始末（上）2.分布式原理（1）--CAP始末（下）3.分布式原理（2）--分布式一致性4.分布式原理（3）--依赖物理时间引发的问题5.分布式原理（4）--逻辑时钟6.分布式原理（5）--向量时钟7.分布式原理（6）--混合逻辑时钟8.分布式原理（7）--Paxos共识协议9.分布式原理（8）--Paxos共识协议的改进与扩展10.布式原理（9）--Raft共识协议11.分布式原理（10）--再聊一致性 1.第三代分布式数据库（1）--踢球时代2.第三代分布式数据库（2）--创新之源3.第三代分布式数据库（3）--一致性八仙图4.第三代分布式数据库（4）--为什么要100%保证数据的正确性？（上）5.第三代分布式数据库（4）--为什么要100%保证数据的正确性？（下）6.第三代分布式数据库（5）--一无是处的MySQL7.第三代分布式数据库（6）--没有价值的隔离级别8.第三代分布式数据库（7）--比较拉胯的PostgreSQL 谢 谢 观 看