SMP Symmetiric Multi-Processing | DSM(NUMA) | |
有两种主要的方法来保证cache一致性:监听cache一致性协议 和 基于目录的cache一致性协议。
监听协议的想法来自于基于总线的系统:当多个核共享总线时,总线上传递的信号都能被连接到总线的所有核“看”到。因此,当某个核更新它cache中的xx副本时,它也将这个更新信息在总线上广播,并且假如其他存有xx副本的核正在监听总线,那么它们就会知道xx已经更新了,并将自己cache中的xx的副本标记为非法的。这就是监听cache一致性的大致工作原理。(广播会通知的是整个cache行更新, 硬件不知道你这里是哪个变量更新,它们就整块儿的作废重读)
现在假设系统没有使用写直达,其他核被标记非法的行重新去主存读载入数据的时候,碰巧,主存的数据没有被更新(写回策略导致,cache的更新没有立即更新到主存),这种情况时候会发生:其他核重新读取了旧值。