Multiprocessor cache coherence

Informally, we could say a memory system is coherent if any read of a data item returns the most recently written value of that data item.

The protocols to maintain coherence for multiple processors are called cache coherence protocols. key to implementing a cache coherence protocol is tracking the state of any sharing of a data block.

私有数据被单个处理器使用，而共享数据被多个处理器使用，当共享数据装载到cache中时，会有多个cache中形成副本。

两类协议：
1）目录式：把物理存储器的共享状态存放在一个地点，成为目录。
2）监听式：每个含有物理存储器中书记块副本的cache还要保留该数据块共享状态的副本，但是并不集中的保存状态，cache通常可以通过广播没接访问，所有的cache控制器对总线进行监视或监听，来确定它们是否含有总线或交换机上请求的数据块的副本。