Coherence vs. Consistency
Intuition says loads should return latest value
Coherence concerns only one memory location
Consistency concerns apparent ordering for all locations
A Memory System is Coherent if
- can serialize all operations to that location such that,
- operations performed by any processor appear in program order
- program order = order defined program text or assembly code
- value returned by a read is value written by last store to that location