1 | Suppose we try to execute in parallel events E1 and E2 at times t1 and t2 with t1 > t2. |
2 | We show the timelines of several(4) objects in the system and our two events E1 and E2 |
3 | If E1 generates no interfering events or one E*12 at a time greater than t2 then our parallel execution of E2 is consistent |
4 | However if E1 generates E12 before t2 then execution of E2 has to be rolled back and E12 should be executed first |
5 | Objects |
6 | in System |
7 | Time |