第5章_分布式数据库中的并发控制_1.ppt

5.1.3 分布式事务的可串行化调度测试 测试调度S的可串行化 对于调度 S中的事务Ti，在图中创建一个节点Ti 对于每一种这样的情形：如果S中的在Ti执行了W(X)操作后执行Tj的R(X)操作，那么在优先图中创建一条边（Ti→Tj ） 对于每一种这样的情形：如果S中的在Ti执行了R(X)操作后执行Tj的W(X)操作，那么在优先图中创建一条边（Ti→Tj ） 对于每一种这样的情形：如果S中的在Ti执行了W(X)操作后执行Tj的W(X)操作，那么在优先图中创建一条边（Ti→Tj ） 当且仅当优先图中没有闭环时，调度S是可串行化的 5.1.3 分布式事务的可串行化调度测试 测试调度S的可串行化 优先图中存在环路，说明调度是不可串行化的，否则是可串行化的。 环路是指有向图中每条边的起始节点（第一条边除外），都与前一条边的终止节点连接，而第一条边的起始节点于最后一条边的终止节点连接，即事务序列是以同一个节点作为开始和结束的 调度S中事务Ti在事务Tj之前，与S等价的调度中Ti也必须在Tj之前 某项数据导致了调度中的一条边的生成，就把数据项标注到优先图中这条边的旁边 如果调度S中不存在环路，那么就可能存在若干个与S等价的串行调度 5.1.3 分布式事务的可串行化调度测试 T1 T2 T1 T2 T1 T2 T1 T2 T1 T2 S1的优先图 S2的优先图 S3的优先图 S4的优先图 S5的