Skip to content

Correctness 2PL Tests 03-06


w 1 x

r 2 x

w 2 y

r 3 y

w 3 z

r 1 z

c 3

c 2

c 1



2PL
w 1 x
w 2 y
w 3 z
a 1
r 2 x
c 3
c 2
r 3 y

``` from test 3

I think the test is not correct atm, for example w2y is scheduled before r2x and r3y is after c3

the other 2pl variants also seem incorrect for the same reasons

similar things seem to be happening in tests 4-6 as well