CMU 15-445/645-Note9-CONCURRENCY CONTROL(下)

0.写在前面

based on CMU 15-445/645 2020fall, Lecture #18 ~ Lecture #19.

1: 并发控制 - Timestamp Ordering (T/O)

（上）中主要介绍2PL，在下中我们介绍并发控制的另一种方法Timestamp Ordering (T/O)。

1.1 关于timestamp选择

1.system clock：如果使用clock，那么在分布式系统中时间同步可能出现问题。（夏令时回调时间）
2.logic counter：（32位或者64位）一旦溢出存储大小，会出问题。
3.hybird：一般采用1和2的混合。前几位是系统时间，后几位是逻辑时间。

1.2 Timestamp Ordering (T/O) 定义

简单来说就是read和write不需要锁。每一个Object都有2个Timestamp（read and write）定义为W-TS（X）、R-TS（X）。

Read的规则：

Write的规则：

例子：init：TS(T1)=1, TS(T2)=2.
首先更新R-TS(T1)=1,W-TS(T1)=2. 当遇到T1进行W(A)的时候，出现TS(T1) < W-TS(A),即重复写的操作。

Tomas write rule：

根据Tomas write rule，上述的例子就可以忽视T1中W(A)的操作，因为在shedule中T1比T2先执行，所以T1中的W(A)会被T2中的W(A)覆盖掉。

1.3 BASIC T/O PERFORMANCE ISSUES（问题）

1.复制数据库数据到私人领域的开销很大。
2. starved（饥饿）。

2: OPTIMISTIC CONCURRENCY CONTROL（OCC）

2.1 定义阶段

2.1.1 第一个是读写阶段，在私人领域读写；
2.2.2 第二个阶段是验证阶段，判断是否产生冲突；
验证阶段的核心：1）guarantee serializable schedules 。 2） check RW and WW conflicts
2.2.3 第三个阶段是写阶段，将私人领域的变化写到数据库中。

2.2 例子

3: MULTI-VERSION CONCURRENCY CONTROL（MVCC）

MVCC叫做多版本并发控制，实际上就是保存了数据在某个时间节点的snapshot（快照）。
有三个特点：
1）写不会阻塞读；读也不会阻塞写。
2）仅仅读的事物不会收到锁的限制。
3）对于time-travel 询问会非常快。

3.1例子（1）

T1会读版本A0，因为TS（T1）=1，在A1的begin，end的时间戳中。

3.2例子（2）

T2会读到A0的版本，这里也是因为事务的隔离级别导致的，如果是Serializable的话会等到T1commit之后才会生效。

3.2 MVCC 设计的决策

1）Concurrency Control Protocol（2PL，OCC，TO…）
2）Version Storage
3）Garbage Collection
4）Index Management
5）Deletes

3.2.1 Version Storage（version chain，链表）

方法三：将改变的属性复制到额外的空间中。只维护这些改变的属性。

version chain的方法：从新到旧，从旧到新。

3.2.2 Garbage Collection

例子：T1和T2都大于A100和B100中的end的时间戳，所以可以直接回收。具体实现可以使用bitmap的思想。