8-第八章:事务管理(2)

8-第八章:事务管理(2)

ID:33601554

大小:283.28 KB

页数:73页

时间:2019-02-27

8-第八章:事务管理(2)_第1页
8-第八章:事务管理(2)_第2页
8-第八章:事务管理(2)_第3页
8-第八章:事务管理(2)_第4页
8-第八章:事务管理(2)_第5页
资源描述:

《8-第八章:事务管理(2)》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、本讲简要说明授课目的与要求:掌握基于时标和乐观的并发控制,了解一般的恢复机制。授课重点:基于时标的并发控制、基于日志的恢复。作业安排:p.2633,4,6,15,168.2并发控制复习¢调度、串行调度、并行调度¢可串行调度¢视图(或称计算)可串行¢冲突可串行(冲突操作对)¢调度S是冲突可串行当且仅当前驱图G中无环8.3基于锁的并发控制机制¢二值锁¢共享互斥锁¢两段锁¢S满足2PL协议⇒S是冲突可串行调度¢如果T1,T2,T3,…是放锁的顺序,则调度冲突等价于S=T1T2T3...s¢死锁8.4其它并发控制机制1)基于时标的并发控制机制基本思想:基于时标大小解决操作冲突,保证按时间顺

2、序执行冲突操作。即日常生活中的先来后到。情景分析T2writesXT1readsXT1startT2start读得太晚了!情景分析T2readsXT1writesXT1startT2start写得太晚了!情景分析T2writesXT1writesXT1startT2start丢失修改了!1)基于时标的并发控制机制a.每个事务T开始执行时,系统给它打上时标t(一般为当前时间)。事务越老,时标越小。b.系统中维持每个数据项x的最近读时标RTM(x)和最近写时标WTM(x)。c.当执行到某事务T的某操作O(x)时,比较事务T的时标t与操作对象x的最近读写时标,并按如下规则运作:1)基于时

3、标的并发控制机制①当O是读操作时,读得太晚!如果t=WTM(x),执行O,修改x的读时标,使得:RTM(x)=max{t,RTM(x)}写得太晚!丢失修改!②当O是写操作时,如果t

4、t2T2:W(A)t3t2T1:R(A)t3t3T1:W(A)若事务时标的顺序为T1,T2,T3,…则调度冲突等价于Ss=T1T2T3...2)多版本(Multiversion)并发控制技术T2writesXT1readsX…T1startT2start读得太晚了!3)多版本(Multiversion)并发控制技术系统对数据项x维持k个版本x1,x2,…,xk,对每个版本保存:read_TS(xi):xi的最近读时标write_TS(xi):xi的最近写时标使用两条规则控制事务T(时标为t)对数据项x的读写:(1)读:设x的所有版本中写时标小于等于t的最后版本为xi,返回该版本的值

5、,并修改其读时标。(读总可行)(2)写:设x的所有版本中具有最大写时标的版本为xi,ifwrite_TS(xi)≤t

6、rystorage¢nolocking(2)Validate¢checkifschedulesofarisserializable(3)Write¢ifvalidateok,writetoDB4)乐观的并发控制¢每个事务Ti维持:RS(Ti)={Ti读的所有数据项}WS(Ti)={Ti写的所有数据项}4)乐观的并发控制校验必须阻止的情形:RS(T2)={B}∩RS(T3)={A,B}=φWS(T2)={B,D}WS(T3)={C}T2T2T3T3startvalidatedvalidatedstarttime4)乐观的并发控制校验通过的情形:RS(T2)={B}∩RS(T3)={A

7、,B}=φWS(T2)={B,D}WS(T3)={C}T2T2T3T3startvalidatedvalidatedstartT2T3timefinishstartphase34)乐观的并发控制校验必须阻止的另一情形:RS(T2)={A}RS(T3)={A,B}WS(T2)={D,E}WS(T3)={C,D}T2T3validatedvalidatedfinishT2timeBAD:w3(D)w2(D)4)乐观的并发控制校验通过的情形:RS(T2)={A}RS(T3)

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。