About Cache Coherence, Atomic Operation, Memory Ordering, Memory Barrier, Volatile

最新推荐文章于 2023-03-12 17:30:56 发布

置顶

s1mba

最新推荐文章于 2023-03-12 17:30:56 发布

阅读量7.4k

点赞数 4

本文链接：https://blog.csdn.net/jnu_simba/article/details/22985913

版权

本文从缓存一致性问题开始，探讨了多核处理器中的Cache Write Policy和Cache Coherence Protocol。接着，介绍了原子操作的重要性，特别是在32位系统中处理64位数据的场景。接着，讲解了内存排序（Reordering）和CPU Memory Barrier的使用。对于volatile关键字，对比了C/C++和Java中的行为，并指出在多线程环境中，volatile无法确保指令执行顺序，可能需要额外的内存屏障。最后，通过一个测试代码案例讨论了内存屏障在多核处理器上的影响。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

写这篇文章的起因是看到何登成博士发的一个微博问题，如下：

自己想不太明白，顺下找了他以前分享的一些资料和其他人的博客阅读，在这里做个笔记，内容主要来自何博的ppt。关于微博问题的讨论最后再说。

实际上问题所涉及到的知识点非常多，我也有很多还没理解，这里尽量省去细枝末节，更详细的内容请参考附录链接。

一. Cache Coherence

1. What is a cache? cache line ?

cache : Small, fast storage used to improve average access time to slow memory.

cache line : The minimum amount of cache which can be loaded or stored to memory

2. Cache Write Policy

– Write Back

•脏数据，写出到Cache；

– Write Through

•脏数据，写穿到Memory;

– Write Invalidate（大部分系统采用）

Write时，同时发出Invalidate消息，使得所有其他CPU L1/L2 Cache中同一Cache Line失效

– Write Update

•Write时，同时更新其他CPU L1/L2 Cache中同一Cache Line；

3. Cache Coherence

在多核处理器上，由于每个核都有自己的cache，如果有多层cache，如L3往往是多核共享的。所以会存在Cache Coherence 问题，

False cache line sharing：When one processor modifies a value in its cache, other processors cannot use the old value anymore.

That memory location will be invalidated in all of the caches. Furthermore, since caches operate on the granularity of cache lines and

not individual bytes, the entire cache line will be invalidated in all caches!

Cache Coherence Protocol (MESI, MOESI)，作用于CPU Cache与Memory层面，若操作的数据在Register，或者是Register与L1

Cache之间(下面会提到的Store Buffer，Load Buffer)，则这些数据不会参与Cache Coherence协议。

二、Atomic Operation

•An operation acting on shared memory is atomic if it completes in a single step relative to other threads. When an atomic store is performed on a shared variable, no other thread can observe the modification half-complete. When an atomic load is performed on a shared variable, it reads the entire value as it appeared at a single moment in time.

1. 高级语言与汇编指令的映射

高级语言(如：C/C++)，被编译为汇编语言，才能够被执行。因此，高级语言与汇编语言之间，存在着几种简单的映射关系。

•Simple Write

– Write to Memory