1 并发与隔离
1.1 事务隔离级别
1.2 悲观锁与乐观锁
1.3 多版本并发控制
目前多数的乐观锁都基本于版本实现，多版本并发控制(Multi-Version Concurrent Control)是较为成熟的一种乐观锁实现。
1.3.1原理
MVCC是并发条件下实现事务隔离的有效手段。其本质是快照读：每个元组维护多个版本的快照，每个事务只能看到在此之前提交的事务插入或修改的元组。这样避免了读-读冲突和读-写冲突，极大地提高了并发度。
所谓的“在此之前”有两情况：
(1) 在事务的当前命令之前。实际上对应“读已提交”的隔离级别。
(2) 在事务开始之前。实际上对应“序列化”的隔离级别。
MVCC对并发冲突处理如下：
(1) 读读
(2) 读写
(3) 写读
(4) 写写
MVCC实现的序列化不是绝对意义上的序列化。MVCC与谓词约束的区别在于，MVCC限制读的范围，谓词约束限制写的范围。
1.3.2 实现
1.4 锁
1.4.1 需要锁的场景
在使用了MVCC进行隔离之后，锁的使用场景大大减少了。但锁仍然是必要的。在MVCC环境中，需要锁的场景有：
(1) 多层结构下，对子节点进行写操作时，需在父节点做加锁保护。
(2)
1.4.2 共享/排它锁
1.4.2.1
1.4.2.2 共享锁升级
读锁可升级为写锁，等价于读已提交。读锁不可升级为写锁，等价于可重复读。
1.4.3 意向锁
1.4.3.1 为什么要有意向锁
1.4.3.2 意向锁类型
(1) 要对某一子元素加共享锁，则先对其父对象加意向共享锁(IS)。
(2) 要对某一子元素加排他锁，则先对其父对象加意向排他锁(IX)。
对于非叶子元素，理论上还存在以下4种意向锁：
(3) 该元素同时加共享锁与意向共享锁(SIS)。
(4) 该元素同时加共享锁与意向排他锁(SIX)。
(5) 该元素同时加排他锁与意向共享锁(XIS)。
(6) 该元素同时加排他锁与意向排他锁(XIX)。
但是，可以看到从强度而言：SIS=S, XIS=X, XIX=X，只有SIX有新的强度。所以实际上意向锁只有三种：IS, IX, SIX
1.4.4 偏序锁的一般化实现
1.4.5 锁管理
1.4.5.1 两阶段锁
1.4.5.2 死锁检测与处理
2 原子与持久化
2.1 撤销日志
事务的原子性一般通过撤销日志(undo log)实现。
2.2 重做日志
事务的持久化通过重做日志(redo log)实现。通过写redo log而不是直接将数据刷到磁盘的原因在于。日志是追加写的，速度要比数据的随机写要快速得多。
2.3 撤销/重做日志
2.3.1 具体形式
2.3.2 撤销/重做日志的实现
2.4 日志合并树
3 事务执行流程