第九章：Coherence 的高级主题

文档摘要

连贯性高级主题在第 7 章和第 8 章中，我们在最简单的系统模型的背景下介绍了窥探和目录一致性协议，这些模型足以解释这些协议的基本问题。在本章中，我们将在几个方向上扩展对一致性的表述。在第 9.1 节中，我们讨论了为更复杂的系统模型设计一致性协议所涉及的问题。在第 9.2 节中，我们描述了适用于窥探和目录协议的优化。在第 9.3 节中，我们解释了如何确保一致性协议保持有效（即避免死锁、活锁和饥饿）。在第 9.4 节中，我们提出了令牌一致性协议 [12]，这是一类包含窥探和目录协议的协议。我们在第 9.5 节中简要讨论了一致性的未来。 9.1 系统模型到目前为止，我们假设了一个简单的系统模型，其中每个处理器核心都有一个物理寻址的单级回写数据缓存。