States
In this protocol, each block in the local cache is in one of these four states:
- Invalid: This block has an incoherent copy of the memory.
- Valid: This block has a coherent copy of the memory. The data may be possibly shared, but its content is not modified.
- Reserved: The block is the only copy of the memory, but it is still coherent. No write-back is needed if the block is replaced.
- Dirty: The block is the only copy of the memory and it is incoherent. This copy was written one or more times. This is the only state that generates a write-back when the block is replaced in the cache.
These states have exactly the same meanings as the four states of the MESI protocol (they are simply listed in reverse order), but this is a simplified form of it that avoids the Read for Ownership operation. Instead, all invalidation is done by writes to main memory.
For any given pair of caches, the permitted states of a given cache line are as follows (abbreviated in the order above):
| I | V | R | D | |
|---|---|---|---|---|
| I | Y | Y | Y | Y |
| V | Y | Y | N | N |
| R | Y | N | N | N |
| D | Y | N | N | N |
Read more about this topic: Write-once (cache Coherence)
Famous quotes containing the word states:
“The President of the United States ... should strive to be always mindful of the fact that he serves his party best who serves his country best.”
—Rutherford Birchard Hayes (1822–1893)
“In it he proves that all things are true and states how the truths of all contradictions may be reconciled physically, such as for example that white is black and black is white; that one can be and not be at the same time; that there can be hills without valleys; that nothingness is something and that everything, which is, is not. But take note that he proves all these unheard-of paradoxes without any fallacious or sophistical reasoning.”
—Savinien Cyrano De Bergerac (1619–1655)
“So the brother in black offers to these United States the source of courage that endures, and laughter.”
—Zora Neale Hurston (1891–1960)