Hallo zusammen,
weiss jemand vielleicht wie OCSR funktioniert. Ich habe einen Beipsielschedule:
s = w3(y) c3 w1(x) r2(x) c2 w1(y) c1
Das soll in OCSR sein. Ich weiss aber nicht warum. Laut Definition:
If t occurs completely before t' in s, then the same holds in s' (s' ist ein serieller Schedule).
Wir haben also in dem Fall folgenden seriellen Schedule:
s' = 3 -> 1 -> 2
Von dem Schedule s haben wir aber als Commit-Reihenfolge: t3 < t2 < t1
Also, t3 ist vor t2 beendet -> okay
t2 ist vor t1 beendet -> nicht okay (da im seriellen Schedule t1 vor t2 beendet ist)
Weiss jemand warum der Schedule da oben trotzdem in OCSR ist?
Vielen Dank