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的思想。
在这里插入图片描述
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值