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