Observations
Reads and writes from a given process happen in the given “program order”
But process execution may be .
How many permutations? Resulting Balance
- Rben Wben Rbud Wbud $100.00
- Rbud Wbud Rben Wben .
- Rben Rbud Wbud Wben .
- Rben Rbud Wben Wbud .