THIS IS A TEST INSTANCE. ALL YOUR CHANGES WILL BE LOST!!!!
...
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)
...