可串行化

冲突可串行化是可串行化的充分条件

CLR

Compensation Log Record

数据库恢复

分析阶段

graph TD
A(把事务加入事务表)-->C(把已结束的事务剔除出事务表)
C --> D(把影响到的页加入脏表, recLSN选最早影响它的日志的LSN)

重做阶段

把 检查点 后， 崩溃 前的没提交的事务的更新和CLR再过一遍， 目的 是使数据库恢复到崩溃时的状态。

反做阶段

graph TD
B(确定没完成的事务) --> |构建undo| A
A{查看undo集里的项}-->|有update| C(对应加入CLR)