Concurrency Control Theory
Transaction in sql
ACID
Mechanisms for ensuring atomicity
Logging
LSM tree 是针对单个表文件配置的；而 logging 是针对全局跨文件设置的
Shadow Paging
即使改变几字节，也会复制整个页
Consistency
很多系统采用最终一致性，但在过程中可能出现不一致的情况
Mechanisms for ensuring isolation
Formal Properties of schedules
Unreaptable Read
读写冲突的情况下，同一事务在两次读取同一个值时读到两个不同的值
Dirty Read
写读冲突下，另一个事务读取了其他事务并未提交的值并提交
Lost Update
写写冲突导致事务更新值消失
Dependency Graph & Confict Serializable
大多数 DBMS 实现冲突可串行化
如果图中出现环路，说明这个调度是 bad schedule
Transaction Durability
