1. During the discussion of memory consistency models, we often referred to the contract between the software and memory. 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.