分布式系统-分布式事务（P1）.PDFVIP

12/3/2018 Accela推箱子 分布式系统-分布式事务 （P1） OriginalAccela推箱子 Accela推箱子 9月24 日 分布式事务理论古老 ，实现不易 。谷歌发布 的Percolator、Spanner大型数据 系统 ，让分 布式事务有 了经典 实现 。如今 开源分布式数据库TiDB、CockroachDB，更让其有 了平 民 版 。T LA +形式化语 言 （和TiDB开发组所 写的Percolator.tla ） ，让复 杂 的分 布式事务协 议 ，有 了透 明严谨 的范本 。 [Github Percolator.tla](https /// pingcap/tla- plus/ blob/ master/ Percolator/ Percolator.tla) 云服务数据库 常需考虑分布式事务 ，分布式文件 系统 的元数据管理也需事务支持 ，互联 网 业订单库存等管理也 常需分布式事务及其变种 。 事务模型、读写依赖、Serializable （直接介绍知识 写腻 了）换种方式 ，假如分布式事务是个新课题 ，如何从零到有建立概念 研