分布式系统 12 事务和事务的并发控制.ppt

分布式系统_12_事务和事务的并发控制分布式系统概念与设计张兆心******@hit.*事务和并发控制在服务器管理共享对象时的应用嵌套事务定义了若干事物之间的嵌套结构,在分布式系统中可以具有更高的并发度所有的并发控制协议都是基于串行相等的标准,起源于用于解决操作间冲突的规则:锁用于在多个事务访问同一个对象时,根据这些操作访问同一对象的先后顺序给事务排序乐观并发控制不会阻塞事务运行,只是在提交时通过检查来确定已执行的操作是否存在冲突时间戳排序利用时间戳将访问同一对象的事务根据其起始时间进行排序*第八章事务和事务的并发控制简介事务嵌套事务锁※乐观并发控制※时间戳排序※并发控制方法比较*:免受其他线程中并发操作干扰的操作服务器的操作同步*事务的故障模型Lampson提出分布式事务的故障模型可以保证算法在可预见故障下正确工作,但是对于不可预见的灾难性故障则不能保证正常处理Lampson故障模型写操作可能发生故障:写操作无效或写入错误的值服务器可能崩溃:一个崩溃的服务器由一个新进程代替,其内存被重置消息传递可能有任意长的延迟:重复、损坏、丢失*,原子性包含两方面的含义:全有:一个事物或者成功完成,使其操作的所有效果都记录到相关对象中全无:由于故障或有意取消等原因而不留下任何效果*全有或全无包含三层含义:故障原子性:服务器崩溃时事务的效果是原子的持久性:一旦事务完成,所有效果被永久保持隔离性:每个事务的执行不受其他事务的影响为了支持故障原子性和持久性,对象必须是可恢复的支持事务的服务器必须有效地对操作进行同步以保证事务之间的隔离性任何支持事物的服务器的目标:最大化并发度*事务的执行历史成功执行:close结束执行失败客户放弃服务器放弃服务进程崩溃新的替代服务器放弃所有未完成的事务,恢复到最新提交后的事务的状态客户等待超时,或继续事务时收到动作异常通知*事务的并发多用户、多线程多事务的执行交错微观:实际执行中是串行*事务并发的“更新丢失问题”账户A,B,C分别有100,200,300元事务T事务Uread(B);read(A);Deposit(B,B*);Withdraw(A,B*);read(B);read(C);Deposit(B,B*);Withdraw(C,B*);read(B);read(A);Deposit(B,B*);Withdraw(A,B*);read(B);read(C);Deposit(B,B*);Withdraw(C,B*);*串行结果A:80B:242C:278并发执行B:220B:220A:80C:280