Distributed Systems, Consistency Model, Sequential Consistency, System Design Interview, Data Processing.
as a final value. Process P4 reads x as a and then b as the final value. That means if no more updates are coming, P3 and P4 have divergent values of x. As explained earlier, each process should have seen the same total ordering to be sequentially consistent. Not linearizable and not sequentially