Distributed Systems, Consistency Model, Sequential Consistency, System Design Interview, Data Processing.
observes one possible and sequentially valid interleaving of the operations of P1 and P2. The first non-example has the issue that the program order for P2 is violated. The issue with the second non-example is that two observers see different total ordering. If events d and c were writes to x, we