共 1,304 篇文章

共 6,317 篇文章及评论

多处理器系统下的伪共享（false sharing）问题

作者： sy8111 (1 篇文章) 日期： 二月 26, 2010 在 11:39 下午

1. 背景介绍

首先简单说一下计算机中处理器-内存体系结构。由于CPU速度远大于内存访问速度，现代CPU设计中都引入了缓存（cache）作为CPU和内存两者之间交流的缓冲中介。缓存的速度也介于两者之间。缓存中存放了最经常被访问的内存数据，CPU在很大程度上只需要访问高速缓存，大大提高了系统性能。系统对缓存进行读写的单位被称作缓存行（cache line）。大家知道系统对内存的操作单位一般是word，如果对缓存操作也用word作单位，就显得太小，缺乏效率，因此一般cache line大概是8个word，这是缓存与内存沟通的最小单位。

在可以预见的几年内，计算机系统会逐渐向多核心CPU或者多CPU结构过渡，出现多个处理核心共享内存的局面。一个很自然的问题马上出现，那就是多个处理核心对单一内存资源的访问冲突。这个冲突本来不难解决，只要给内存访问加锁就可以了。但是，当把缓存纳入考虑范围时，情况就复杂了。缓存是集成在每个CPU内部的小内存，除了这个CPU，其他CPU不能访问。而按照单CPU系统的简单缓存设计，缓存并不能察觉除本CPU以外的外部因素对内存内容的修改。因此，假设出现下面的情况：处理器A将内存中某块内容C读入自己的缓存，并在缓存中修改了该内容，然后处理器B也将内存中这块内容C读入自己的缓存，那么，B看到的只是原始版本的内容，而看不到存在于A缓存中的更新的内容，这就产生了内容不一致的问题。多处理器系统一般是设计控制协议来协调各个CPU缓存读写，保证内容一致，以解决这种冲突。

2. 伪共享

顾名思义，“伪共享”就是“其实不是共享”。那什么是“共享”？多CPU同时访问同一块内存区域就是“共享”，就会产生冲突，需要控制协议来协调访问。会引起“共享”的最小内存区域大小就是一个cache line。因此，当两个以上CPU都要访问同一个cache line大小的内存区域时，就会引起冲突，这种情况就叫“共享”。但是，这种情况里面又包含了“其实不是共享”的“伪共享”情况。比如，两个处理器各要访问一个word，这两个word却存在于同一个cache line大小的区域里，这时，从应用逻辑层面说，这两个处理器并没有共享内存，因为他们访问的是不同的内容（不同的word）。但是因为cache line的存在和限制，这两个CPU要访问这两个不同的word时，却一定要访问同一个cache line块，产生了事实上的“共享”。显然，由于cache line大小限制带来的这种“伪共享”是我们不想要的，会浪费系统资源。

举例来说，当多进程程序操作同一个int型数组int a[100]时，如果进程0只访问a[0]，进程1只访问a[1]，进程2只访问a[2]，... 那么，实际上每个进程不应该发生数据共享。但是，一般cache line可以包含几个int，因此访问同一个cache line内int数组元素的几个进程就需要系统花费额外资源和时间运用控制协议来协调，这是不必要的。在这种情况下，把每个数组元素单独放在一个cache line大小的内存区域里在时间上是最有效率的，然而空间上就变成最没效率的了。

计算机设计就是处理矛盾的艺术

分类： 博客征文专栏
标签：多核

如需了解英特尔软件产品相关的性能和优化选项，请参阅优化注意事项.

 评论 (13)

2010年03月01日 06:09 mybenet

学习了。以我个人认为这种共享冲突，也是以后电脑界急需要解决的问题。从一般的非智能机器工作模式到智能思维逻辑学习模式，应该是个过渡问 题，一句话--主从关系和分工合作关系。。。

2010年03月01日 20:20 yshuise

填充字节，可以解决cache line 切换的问题。因为后者会严重影响执行效率，比单线程还差。

2010年03月01日 23:50 gavinduan

真是太NB了，令电脑经销商黯然失色

2010年03月04日 11:16 chogo

可以参考数据库方面的事务。 另外我觉得还有个问题：以现在的总线结构，如何解决多cpu同时访问内存的冲突？ 要么给总线加锁（目前的实现方式），但是这样一来其实cpu访问内存时也可能需要进行等待； 要么，改变整个系统架构。

2010年03月05日 03:27 阳光雨露

开始还不知道“伪共享”这个概念，学习了真是受益匪浅啊！

2010年03月07日 02:26 sdgfds

试试看！应该不错！

2010年03月08日 17:58 jm2000

能，怎样才能避免或者说处理“伪共享”的情况那？

2010年03月09日 08:09 zhoujk

学习了，这个问题也可能理解成粒度的问题吧？

2010年03月10日 06:01 bluestar2

学习了，知道了什么事为共享，那么请问intel是怎么解决这个问题的那？

2010年03月10日 08:49 spztf

得了吧，这不就是缓存一致性问题吗？ 缓存一致性问题有的是解决方案，大致分两类，一类叫总线监听协议，一类叫目录协议，随便找本系统结构书看看即可。

2010年03月11日 03:14 mymtom

楼主没有学过计算机体系结构吧？ CACHE控制器的监听功能就是干这个的。

2010年03月11日 03:27 mymtom

这种水平还写文章？

2010年03月19日 15:42 joe

"在可以预见的几年内，计算机系统会逐渐向多核心CPU或者多CPU结构过渡，出现多个处理核心共享内存的局面。一个很自然的问题马上出现 " ”多核心CPU或者多CPU结构“这个在数年前已经出现并不是问题。共用cache,或者，cache管理让chche写回。 想象可能离现实距离颇远。

 引用 (0)

 写评论