怎么判断一个调度是否为冲突可串行化
1个回答
展开全部
判定方法分为两个步骤：
- 步骤1：产生调度的优先图;
- 步骤2：采用一个合适的算法(如基于深度优先或广度优先的环检测算法，这是《图论》课程中的内容)检查优先图中是否有有向环。如果有，则该调度就不是冲突可串行化的，否则就是冲突可串行化的。
设S是一个调度，由S构造一个有向图，称为优先图。该图由两部分G=(V,E)组成，其中V是顶点集，E是边集。顶点集由所有参与调度的事务组成。边集由满足下列三个条件之一的边Ti→Tj组成：
- Ti的write(Q)在Tj的read(Q)之前执行;
- Ti的read(Q)在Tj的write(Q)之前执行;
- Ti的write(Q)在Tj的write(Q)之前执行;如果有向图中存在边Ti→Tj，则在任何与S等价的串行调度S'中，Ti都必须出现在Tj之前，即如下所示：<…, Ti,…, Tj,…。
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
