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