Four cache line states:
Broadcast invalidations on
bus unless cache line is
exclusively “owned”
(DIRTY)
Read miss:
If another cache has the
line in SHARED-DIRTY
or DIRTY,
it is supplied
changing state to
SHARED-DIRTY
Otherwise
the line comes from
memory. The state of the
line is set to VALID