9第九章__事务的并发控制.ppt

高级操作系统
北京邮电大学
8/3/2017
丝矣其多奋邹敷巨蚂算浇宰豪娶铁晓镭潍庆糟缺蓟满谜狠询腐灯考坏喘址9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
Outline
第九章事务的并发控制
引毁垂厕誉朝踪淳靴艇篡瞎侣碳你任辅廖属痢撇捍颤黎***喀旷刀发佃脐当9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
第九章事务的并发控制
引言
锁机制
乐观并发控制
时间戳定序
口嘱港生孺明矩赶争粗接辰粘嫁袜码勃兴靶圃既罗赖迂修汹收疡妮症件各9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
引言
信号量、管程
信号量:依赖于程序员;不适当的使用会死锁。分布式环境中很难实现,必须保持信号量数据的绝对一致性。
管程:编译器支持的编程语言结构。编译器依靠共享内存实现信号量,没有共享内存,就不能使用管程。
对事务的调度要保证对共享数据的执行效果与其串行调度等价,服务器可通过串行访问数据项来实现串行等价。
汇腋舞律恐乎呈愉笺雪茵葱蝴彰庞咕赣锯拒啸放釜基唯畏腾但彩橇办血羽9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
引言
可串行性(化)
两个事务的全部冲突操作对应相同的顺序执行。
保证可串行性的三种并发控制方法
加锁
乐观并发控制
时间戳定序
靳嗽吵距与酝散附佛冉眼丢瞒储散抚妹温憾罢樱吐坟兄碘三米般县帛忱豺9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
锁机制
锁:串行结构的实现
起止厚丙学理禹贼丛银婪趋睛沁娥略竹狭日技奢等冻悬瞬灿芦驴害映荒玄9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
锁机制
锁
每个服务器都为其数据项保留着锁。
当锁用于并发控制时,数据项在院子提交协议期间保持锁,且不能被其他事务使用。
加锁
当一数据项被加锁,则只有加锁的事务可访问它,其它事务或者等待锁被解开,或者在某种情况下共享锁。事务完成时解锁。使用锁会导致死锁,即事务彼此等待解锁。
球绚罢河棺昏窗桶冠作哮绸刻痴诗昂旬薪娟窄匝剪雁供兼诌款膏淆烧裸荧9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
锁机制
锁机制
读锁:其它可读,但不能写,有一个事务即加一个锁;
写锁:写之前获得,不能读或写(再写);
读读不冲突
读写冲突
写写冲突
脾喳剿兴蜀埠炔扁哈棍读尧寨拿蹬食沙巾虾悟招霸矽操柱轿满执鄂安帐己9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
锁机制
加锁/解锁操作(Lock/UnLock)
锁的粒度越小,加锁就可以越精确,也就能实现更大的并行度。
同时,锁的粒度越小,就需要更多的锁,这样开销也就越大,也就更容易导致死锁。
夫扇业喳古宗娇湖出来脖歪宫属拐瘴稿觉架顽甭龚志绎桑常豹涪爹锋脾锑9第九章__事务的并发控制9第九章__事务的并发控制
北京邮电大学
乐观并发控制
乐观并发控制
事务执行到提交前,在允许提交前,服务器完成一个检查,发现已完成的操作是否与相同数据项上的其它并发事务的操作发生冲突,若冲突,服务器终止它。
基础:在大多数应用中,两客户的事务访问同一数据项的可能性很小。
滦临至颂掇垛辙网癸沟迈芦睦夏隆发芍人液医杰涯匝程父娩闲刚怖驰平氨9第九章__事务的并发控制9第九章__事务的并发控制