Concurrency Control Theory¶
约 229 个字 15 张图片 预计阅读时间 1 分钟
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¶
