可以说我有一个结构:
struct Foo {
char a; // read and written to by thread 1 only
char b; // read and written to by thread 2 only
};
现在据我了解,当两个线程在两个不同的内存位置上操作时,C++ 标准保证了上述的安全性。
我认为,由于 char a 和 char b 属于同一缓存行,因此编译器必须进行额外的同步。
这里到底发生了什么?
这取决于硬件。在我熟悉的硬件上,C++ 不需要做任何特殊的事情,因为从硬件角度来看,即使在缓存行上访问不同字节也是“透明”处理的。从硬件上来说,这种情况与
char a[2];
// or
char a, b;
在上面的情况下,我们讨论的是两个相邻的对象,保证它们可以独立访问。
然而,我将“透明地”放在引号中是有原因的。当你确实遇到这样的情况时,你可能会(从性能角度)遭受“错误共享”的困扰 - 当两个(或更多)线程同时访问相邻内存并且最终被缓存在多个 CPU 的缓存中时,就会发生这种情况。这会导致缓存不断失效。在现实生活中,应尽可能注意防止这种情况发生。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)