§05 SQL 实验

可串行化调度

逐个执行调度 S 的操作，标出冲突对（同数据 · 不同事务 · 至少一个写），再交换非冲突相邻操作，把 S 化成等价串行 T1→T2——这就是冲突可串行化。概念状态机演示（非 SQL 执行）。

可串行化调度

第 01 / 12 步

Ready 比较 0 · 交换 0

冲突分析


				
					
					1
					调度 S：R1(A) R2(A) W1(A) W2(A) R1(B) W1(B)
				
			
				
					
					2
					冲突条件：不同事务 · 同一数据 · 至少一个写
				
			
				
					
					3
					冲突对：(R1(A),W2(A)) (R2(A),W1(A)) (W1(A),W2(A))
				
			
				
					
					4
					交换相邻「非冲突」操作尝试化成串行
				
			
				
					
					5
					串行化成功：等价于 T1 → T2

01 / 12

速度