Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

S = r1[x] r2[x] w1[x] c1 w2[x] c2

So, S is the strict schedule which is not serializable and strict.

TBD schedules diagram tree.

...