A Primer on Memory Consistency and Cache Coherence

简介：
An introductory guide on memory coherence and cache consistency, Second Edition. contemporary computing platforms, particularly those incorporating multi-core processors (chip multiprocessors), are characterized by the implementation of shared memory at the hardware level. In a shared memory architecture, every processor core is capable of reading from and writing to a unified shared address space, thereby enabling concurrent processing tasks to be executed efficiently. The concept of memory consistency establishes the architectural-level behavior governing how memory operations function within such systems, ensuring consistent outcomes even when multiple accesses occur simultaneously. 该一致性定义制定了若干规范，用于指导对负载及存储操作的处理。为了支持内存一致性模型，许多机器采用了缓存一致性协议，其目的是使数据的各个缓存副本保持同步更新。缓存一致性协议的作用在于，当某一处理单元对共享数据进行更改时，其它处理单元的缓存将实现同步更新。本导论旨在为读者提供关于一致性与缓存一致性的基础概念及其应用的全面理解。本书不仅深入探讨了相关技术原理，并通过真实世界的系统案例进行了详细分析。第二版在第一版的基础上充分体现了近年来的技术进步，并新增了两部分内容：一是针对非CPU加速器（如GPU）的一致性问题进行了深入探讨；二是对一致性与缓存一致性相关的理论框架及工具开发展开了系统研究。《内存连贯性和缓存一致性导论》第二版由Vijay Nagarajan、Daniel J. Sorin、Mark D. Hill和David A. Wood四位学者著者，他们分别隶属爱丁堡大学、杜克大学和威斯康星大学麦迪逊分校。该书属于工程与计算机科学领域中的《Synthesis Digital Library系列》，其宗旨是迅速传播具有影响力的研究成果，并以印刷版和电子版的形式供读者查阅。通过透彻研读本书，读者将掌握共享内存系统中一致性模型的运行机制及其在多处理器间通信中的关键作用，同时深入分析缓存一致性协议如何保证数据访问的一致性同步。这些内容对于提升多处理器系统的效能具有重要意义。此外，对非CPU加速器（如GPU）一致性问题的深入分析，反映了当前硬件发展趋势对软件开发和系统设计的新挑战。这不仅有助于理解共享内存系统的核心机制，而且能够为开发有效的一致性协议提供理论基础。