分布式事务基本原理

事务定义

事务是在数据库上进行的一系列操作的集合，是数据改变的不可分割的基本单位。

• 原子性(atomicity, 或称不可分割性)
• 一致性(consistency)
• 隔离性(isolation，又称独立性)
• 持久性(durability)

隔离级别

• 脏读
  • 事务 A 修改了数据 data，但并未提交;
  • 与此同时事务 B 读到了 data 的修改，称为脏读。
• 不可重复读
  • 在事务 A 的两次读 data 之间，事务 B 访问了数据 data，并修改了 data，并进行了提交。
  • 如果事务 A 的前后两次读由于事务 B 的修改，导致的不一致称为不可重复读。
• 幻读
  • 与不可重复读的主要差别在于幻读是涉及插入操作，而不可重复读主要是更新。
  • 事务 A 读某一范围数据并进行了修改，与此同时事务 B 在该范围新增一行 insert data。
  • 事务 A 可重复读，能读到原数据，但提交时发现有之前未查到的数据 insert data。

未提交读 (Read Uncommited)

提交读 (Read Committed)

可重复读 (Repeatable Read)

隔离级别与现象

事务在分布式系统的挑战

TCC

SAGA

2PC (Two-Phase Commit)

Percolator 事务模型原理

Percolator 背景

快照隔离级别（Snapshot Isolation）

分布式时钟

Percolator 事务执行流程

Percolator 案例

TiDB 事务的实现方式与优化

TiDB 数据库事务实现 – 事务在 TiDB 中的存储

事务执行过程

• Prewrite 版本检查
  
• Prewrite 锁冲突检测
  
• Prewrite 加锁
  
• commit 锁检查与提交
  
  

TiDB 数据库悲观锁

• DML 上锁
  
  
  
• Prewrite
  
• Commit
  
  

事务的去中心化

TiDB 数据库事务优化

• TiDB 数据库的锁
  
• 写偏斜 (write skew)