Question 4. Global States:
1. Draw the event diagram of Question 1 and find a consistent cut and an inconsistent cut.
2. Using the Chandy-Lamport algorithm, show when each process records its local state (you can annotate the figure) and list the channel states for each process captured in the snapshot. Black dotted lines are marker messages. Red lines are messages (A to F).
P1
E
P2 A
P3
B
D
F