1. . Why is such a contract needed?
2. A multiprocessor has a single bus. Is it possible to implement strictly consistent memory?
3. In an example of a sequentially consistent memory is shown. Make a minimal change to P2 that violates sequential consistency.