有一个三个事务的调度r3(b)r1(a)w3(b)r2(b)r2(a)w2(a)r1(b)w1(a),是冲突可串行化调度吗,如果不是请说明理由并分析原因?
时间: 2024-02-19 19:02:08 浏览: 27
这个调度是冲突可串行化的。
我们可以通过构建这个调度的冲突图来判断它是否冲突可串行化。冲突图中,每个事务表示为一个节点,如果两个事务之间存在数据冲突,则在它们之间连一条边。如果冲突图是一个有向无环图(DAG),则说明调度是冲突可串行化的。
对于这个调度,我们可以得到以下的冲突图:
┌───┐
│ T1 │
└───┘
▲
│ w1(a)
▼
┌───┐
│ T2 │
└───┘
▲
│ r1(a)
▼
┌───┐
│ T3 │
└───┘
▲
│ r1(b)
▼
┌───┐
│ T2 │
└───┘
▲
│ w2(a)
▼
┌───┐
│ T3 │
└───┘
▲
│ r2(a)
▼
┌───┐
│ T2 │
└───┘
▲
│ r2(b)
▼
┌───┐
│ T3 │
└───┘
▲
│ w3(b)
▼
┌───┐
│ T1 │
└───┘
可以看出,冲突图是一个有向无环图,因此该调度是冲突可串行化的。
相关推荐
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![gz](https://img-home.csdnimg.cn/images/20210720083447.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![rar](https://img-home.csdnimg.cn/images/20210720083606.png)