Berkeley cache
coherence
protocol:
state transition
diagram
The Berkeley
protocol is
representative of
how typical bus-
based SMPs work
Q: What has
to happen on a
“Bus read
miss”?
1. INVALID
2. VALID: clean, potentially shared, unowned
3. SHARED-DIRTY: modified, possibly shared, owned
4. DIRTY: modified, only copy, owned