Write propagation: Writes all become visible to other processors eventually.

Relaxed consistence Reads can move in front of its ownwrite,

Total store ordering (TSO): P can read B reads by other processors cannot return new value of A until the write to A is observed by all processors.

PC: Can Return thevalue of any writebefore ht write isobserved by all processors.

Cache coherence:

Memory consistency:

Relaxed memory consistency:

Processor Consistency is cache coherent!

PSO: