Beweis: 2V2PL-Schedule ist MVCPSR
Annahme: Ein 2V2PL-Schedule S ist nicht MVCPSR.
G’(S) (Read-Write-Graph) daher zyklisch (o.B.d.A.):
T1 T2 ..... Tk T1
r1(x1) r2(x2) rk(xk)
w2(x1) ..... wk(xk-1) w1(xk)
Das ergibt folgenden Schedule mit Sperranforderungen:
S1(x1) r1(x1)
S2(x2) r2(x2) X2(x1) w2(x12) [CX2(x1) verzögert]
.....
Sk(xk) rk(xk) Xk(xk-1) wk(xk-12) [CXk(xk-1) verzögert]
X1(xk) w1(xk2) [CX1(xk) verzögert]
Previous slide
Next slide
Back to first slide
View graphic version
!!! Dieses Dokument stammt aus dem
ETH Web-Archiv
und wird nicht mehr gepflegt !!!
!!! This document is stored in the
ETH Web archive
and is no longer maintained !!!