page1
update_i
thrd1
update_r
thrd1
read_i
thrd1
read_r
thrd1
update_i
thrd2
update_r
thrd2
read_i
thrd2
read_r
thrd2
x.read
x.update
y.read
y.update
update_i
thrd1
update_r
thrd1
read_i
thrd1
read_r
thrd1
update_i
thrd2
update_r
thrd2
read_i
thrd2
read_r
thrd2
Reordered
Trace
Original
Trace
program
order