《A primer on memory consistency and cache coherence》第一版翻译本

工作中出于兴趣翻译了此书，有需要的朋友可以去看看，业余时间翻译，有不懂的请结合英文原版查看

内存一致性模型入门的翻译说明 - 知乎

1 Introduction to Consistency and Coherence - 知乎多数现代计算机系统以及绝大多数多核芯片都支持硬件共享内存。在这种共享内存的系统中，每个处理器的核心可以读写同一个共享的地址空间。这些设计出发点是为获得不同的好处，如高性能，低功耗以及低成本。当然，在…https://zhuanlan.zhihu.com/p/4607378292 Coherence Basics - 知乎本章会介绍足够用来理解consistency模型和cache是如何交互的关于cache coherence的信息。2.1节会展示贯穿于整本入门的系统模型。为简化本章及后续章节里的问题阐述，我们选择了最简单的同时足以说明重要问题的系统…https://zhuanlan.zhihu.com/p/4607387653 Memory Consistency Motivation and Sequential Consistency - 知乎本章进入内存一致性模型（memory consistency models也叫内存模型）的讨论，内存模型定义了编程者和实现者所使用的共享内存系统的相关行为。这些模型定义了正确性，因此编程者会清楚系统预期的行为，实现者会清楚…https://zhuanlan.zhihu.com/p/4607404164 Total Store Order and the x86 Memory Model - 知乎一个被广泛实现的内存一致性模型是TSO（total store order）。TSO被用在SPARC的实现中，更重要的是TSO看起来和广泛使用的x86架构的内存模型是匹配的。本章会呈现这种重要的一致性模型，使用和前一章SC类似的模式阐…https://zhuanlan.zhihu.com/p/4607425975 Relaxed Memory Consistency - 知乎前两章探索了SC和TSO这两种内存一致性模型。SC很直观，TSO被广泛应用(例如x86)。两个模型有些时候被称作是强类型的（strong），因为每个模型的全局内存顺序通常维持的是每个线程的程序顺序。回忆一下SC为同一个线…https://zhuanlan.zhihu.com/p/4607438986 Coherence Protocols - 知乎本章中，我们回到在第二章中介绍的cache cohrence主题。我们在第二章中定义了coherence，主要是为了理解其在支撑consistency里所扮演的角色，但我们没有深入讨论特定的coherence协议如何工作或者它们是如何实现的…https://zhuanlan.zhihu.com/p/4607448737 Snooping Coherence Protocols - 知乎本章中，我们展示snooping coherence协议。Snooping协议是第一个广泛部署的协议类型，并且它们持续在大量不同的系统中使用。Snooping协议提供了许多极具吸引力的特性，包括低延迟coherence事务以及相比于可选的dir…https://zhuanlan.zhihu.com/p/4607459188 Directory Coherence Protocols - 知乎本章中，我们展示directory coherence协议。Directory协议最初被设计用来处理snooping协议缺乏伸缩性的问题。传统的snooping系统在一个总体排序的互联网络上广播所有请求，并且所有请求被所有coherence控制器所嗅…https://zhuanlan.zhihu.com/p/4607483799 Advanced Topics in Coherence - 知乎在第七章和第八章里，我们已经展示了snooping和directory coherence协议，使用了最简单的系统模型，模型足以解释清这些协议的基础问题。本章中，我们将coherence延伸到几个方向去讨论。9.1节里，我们讨论一些针对…https://zhuanlan.zhihu.com/p/460750308