随笔分类 - consistence与coherence
摘要：侦听协议 MESI协议 “Read Hit”和“Write Hit”表示内核在本地缓存中读写命中并获得有效数据；“Read Miss”和“Write Miss”表示内核在本地缓存中读写缺失，未获得有效数据；“Probe Read Hit”和“Probe Write Hit”表示内核在其他内核的 Ca
阅读全文
摘要：chapter7：snooping coherence 协议 简介 窥探(Snooping)缓存一致性协议是最早被广泛使用的协议并被沿用至今。它有较短的一致性传输延时以及相对于目录(directory)协议更简单的设计。 窥探协议通过要求对一个缓存行的所有要求按顺序到达，实现了所有分布式缓存控制器都
阅读全文
摘要：chapter6：cache coherence 1、大局观 coherence的目标，具体包括： 单写多读（single-writer-multiple-reader, SWMR）不变性：对任何内存地址A，在任何时间点上只存在一个可以向A写入的内核，但可以存在多个从A读取的内核。 数据-值（dat
阅读全文
摘要：chapter5：宽松的内存一致性 之前所讨论的SC和TSO需要对所使访存顺序符合程序顺序，称为强一致性模型。而目的在于只保留程序员真正需要的顺序的弱一致性模型，可以允许更多的硬件或软件优化（编译器或运行时）减少排序约束，进一步提升性能。 1、为什么需要宽松内存一致性 程序员总是期望以下执行顺序 S
阅读全文
摘要：chapter4：TSO于X86内存模型 1、为什么需要TSO/x86 处理器内核长期以来使用write buffer来保存已提交的store指令，直到内存系统可以处理这些store请求。当store指令提交时，store请求进入write buffer，而当需要写入的缓存行在内存系统中可以保证缓存
阅读全文
摘要：chapter3：内存为什么需要consistency和顺序 Consistency 本章深入研究内存 consistency 模型，这些模型为程序员和实现者定义了共享内存系统的行为。这些模型定义了行为正确性，以便程序员知道期望什么，实现者知道提供什么。 1、共享内存行为存在的问题 要了解为什么必须
阅读全文
摘要：chapter2：coherence基础 在本章将充分介绍cache coherence，以了解一致性模型如何与缓存交互。2.1节开始介绍贯穿本书的系统模型。第2.2节解释了必须解决的缓存一致性问题以及不一致性的可能性是如何产生的。第2.3节精确地定义了缓存一致性 1、基准系统模型（Baseline
阅读全文
摘要：chapter1：简介 单核处理器对访存行为的结果定义为一个正确和多个不正确，根据给定的输入获得明确的输出。但是对于共享内存，涉及到多个线程的loads和stores，来自不同线程的指令可能存在很多种合法交织，这就导致了确定当前执行结果是否正确变得十分复杂。 对于cache coherence是内存
阅读全文
