Coherence and Memory Ordering: a hardware perspective
I will go through coherence and memory ordering from a hardware implementation perspective.
After a short introduction to the topic, I will describe a sequentially coherent system where
it is OK for a piece of data to exist in two different copies with different values. I will also
go though some important properties to consider for verification of coherence and memory ordering.