Versions Compared

Key

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

...

A CC protocol ensures that only schedules with desirable properties are generated.

We will look for a CC protocol producing serializable schedules and matching aforementioned requirements. It is also desirable to be strict for ease of recovery and absence of cascading aborts. We also set a goal of an implementation ease to speed up the development of initial release. More complex protocols can be added later as an optimizations.

MV2PL (S2PL vs non-S2PL)

...