第5章 并发控制示例.ppt

* * 可串行性是并行事务正确性的唯一准则 例：现在有两个事务，分别包含下列操作： 　 事务1：读B；A=B+1；写回A； 事务2：读A；B=A+1；写回B； 假设A的初值为2，B的初值为2。 Slock B Y=B=2 Unlock B Xlock A A=Y+1 写回A(=3) Unlock A ? ? ? ? ? ? ? Slock A X=A=3 Unlock A Xlock B B=X+1 写回B(=4) Unlock B ? ? ? ? ? ? ? Slock B Y=B=3 Unlock B Xlock A A=Y+1 写回A(=4) Unlock A SlockA X=A=2 Unlock A Xlock B B=X+1 写回B(=3) Unlock B T1 T2 T1 T2 可串行化 Slock B Y=B=2 ? ? Unlock B ? Xlock A A=Y+1 写回A(=3) ? ? ? Unlock A ? ? Slock A X=A=2 ? Unlock A ? ? ? Xlock B B=X+1 写回B(=3) ? Unlock B Slock B Y=B=2 Unlock B Xlock A ? A=Y+1 写回A(=3) Unlock A ? ? ? ? ? ? ? ? Slock A 等待 等待 等待 X=A=3 Unlock A Xlock B B=X+1 写回B(=4) Unlock B T1 T2 T1 T2 可串行化 不可串行化 事务的并发执行 read(A); write(A); read(B); write(B); T1 T2 read(B); write(B); read(A); write(A); read(A); write(A); read(B); write(B); T1 T2 write(B); read(A); write(A); read(B); read(A); write(A); read(B); write(B); write(B); read(A); write(A); read(B); read(A); write(A); read(B); write(B); write(B); read(A); write(A); read(B); 可串行化 read(A); A := A - 50 write(A); T1 T2 A=950￥ B=2000￥ A=1000, B=2000 可串行化 read(A); A := A - 50 write(A); T1 T2 A=950￥ B=2000￥ A=960￥ B=2000￥ read(A); A := A + 10 write(A); A=1000, B=2000 可串行化 read(A); A := A - 50 write(A); T1 T2 read(B); B := B + 50 write(B); A=950￥ B=2000￥ A=960￥ B=2000￥ A=960￥ B=2050￥ read(A); A := A + 10 write(A); A=1000, B=2000 可串行化 read(A); A := A - 50 write(A); T1 T2 read(B); B := B - 10 write(B); read(B); B := B + 50 write(B); A=950￥ B=2000￥ A=960￥ B=2000￥ A=960￥ B=2050￥ A=960￥ B=2040￥ read(A); A := A + 10 write(A); A=1000, B=2000 可串行化 read(A); A := A - 50 write(A); T1 T2 T1 T2 read(B); B := B - 10 write(B); read(B); B := B + 50 write(B); read(A); A := A - 50 write(A); read(B); B := B + 50 write(B); A=950￥ B=2000￥ A=960￥ B=2000￥ A=960￥ B=2050￥ A=960￥ B=2040￥ A=950￥ B=2050￥ read(A); A := A + 10 write(A);