摘要:

将冲突进行可串行化调度, 是解决冲突是一个基本功能. 对于冲突是否可被串行化调度, 比较有效的就是优先图的方法.

本文对检测冲突可串行化调度的优先图做一些分析.

上下文参考: 2023-08-30 数据库-并发控制-冲突可串行化的调度-思考_财阀悟世的博客-CSDN博客

事务的基本抽象:

1. 在考虑事务的调度时, 排除事务之间的偶然性和巧合性的影响
2. 那么事务的核心就是一些操作序列, 也就是读R和写W的序列
3. 可以将事务表示为:  T = R(A),W(A),R(A),W(B),W(A)
4. 上面公式中的A和B代表读/写所处理的数据库的资源
5. 事务内部的读/写的执行序列不能改变, 执行序列就是事务本身
6. 被调度是事务, 内部的执行序列存在与其他事务的交叉, 但是事务内部的之心序列的顺序绝不能被改变
7. 读操作不会修改数据库的资源, 只有写的操作会修改数据库的资源, 所以存在冲突的事务, 至少要存在一个写的操作

调度的基本抽象:

1. 调度的对象是事务, 且一般包含多个事务, 也就是一个调度同时处理多个事务的执行
2. 一个调度内的多个事务, 这多个事务之间的顺序的变化将会数据库的一致性产生影响
3. 考虑两个事务T1和T2, 每个事务内部分别有一个操作A1和A2，A1和A2都对数据库的资源A产生修改
   1. 如果语义上要求A1先执行, A2后执行, 那么就事务T1优先于事务T2执行, 记作 T1 < T2
   2. 由于A1和A2顺序不可改变, 那么T1和T2的要做到穿行调度, 那么必然T1要在T2前调度
4. 可以将调度表示为:  S = R1(A),W1(B); R2(A), W2(B)
5. 以上公式 R1,W1是事务1的执行序列, R2,W2是事务2的执行序列
6. 可以看到调度是单位虽然是事务, 但是具体执行的最小操作却是事务的执行序列

利用优先图检测冲突是否可串行化:

1. 基本思想是按照资源的操作顺序对事务进行排序
2. 以资源为单位, 每个资源的操作顺序进行一词事务的顺序的划分, 构建成图结构, 图的节点是事务
3. 多个资源构建出不同的顺序, 如果图形成了环, 说明了事务1不断优先于事务2先执行, 同时事务2还优先于事务1先执行！这是个可能的！从而就无法将冲突进行串行化