kaitoukito / a-primer-on-memory-consistency-and-cache-coherence

A Primer on Memory Consistency and Cache Coherence (Second Edition) 翻译计划

A-Primer-on-Memory-Consistency-and-Cache-Coherence

本项目是《A Primer on Memory Consistency and Cache Coherence (2nd Edition)》的中文翻译。

英文版pdf下载地址

译序

由于历史原因，"memory consistency" 被翻译为 “内存一致性”，"cache coherence" 被翻译为“缓存一致性”，中文翻译并没有很好地将 "consistency"、"coherence" 这两个单词区分开来。为做区分，本系列文章将 "memory consistency" 翻译为“内存连贯性”，"cache coherence" 翻译为“缓存一致性”。当然了，为避免混淆，如无必要，尽量不对这两个术语进行翻译。

目录

序言

第一章：Consistency 和 Coherence简介

第二章：Coherence 基础

第三章：内存 Consistency 动机和顺序 Consistency

第四章：TSO 和 x86 内存模型

第五章：宽松内存一致性

第六章：Coherence 协议

第七章：监听一致性协议

第八章：目录一致性协议

第九章：Coherence 的高级主题

第十章：异构系统的一致性和连贯性

第十一章：指定和验证 Memory Consistency Models 和 Cache Coherence

a-primer-on-memory-consistency-and-cache-coherence's Issues

缺失的翻译内容？

Hi，

你好。感谢分享翻译内容。从知乎追过来。。。
翻看了一下md，看到还有些内容没有翻译完，可否罗列出缺失的翻译章节？方便大家补充翻译好后提供PR？

Thx~

question on Table 8.4: MESI directory protocol ?

Hi，sirs, I learning this book too, and be happy to know you guys are doing something interesting on this book
my question is about the directory MSEI protocol in the Table8.4 implemented by directory controller.
when directory controller recoreds a block is in E state, how can the directory controller recieve a putS-NonLast or a putS-Last message ? in what situation this sernario will happen ?
from my point of view, directory controller can be in E state when and only when the previous state of dir controller is I and all the caches in the system do NOT have a copy of tbe cache block, and the putS should be a massage send by a cache which have the block in S state, the two condition conflict!!
hope your reply , thanks~