|
Properties
Properties
- A memory system is Coherent if
- A READ by Pi to X that follows a WRITE by Pi to X (X=A), with no WRITE by other Pk return value A.
- A READ by Pi to X that follows a WRITE by Pk to X (X=A), returns value A.
- WRITEs to X by Pi , Pk are serialized.
|