0

0

C++多核CPU如何避免伪共享 缓存行填充与对齐技术实践

P粉602998670

P粉602998670

发布时间:2025-08-11 13:54:03

|

248人浏览过

|

来源于php中文网

原创

伪共享会导致多线程性能退化,解决方法是缓存行填充与对齐。伪共享是指多个线程修改各自独立的变量时,因这些变量位于同一缓存行而引发缓存频繁失效;识别方法包括使用perf、valgrind、intel vtune等#%#$#%@%@%$#%$#%#%#$%@_20dc++e2c6fa909a5cd62526615fe2788a分析cache miss和热点;解决手段主要有1.手动填充结构体至缓存行大小;2.使用alignas关键字指定内存对齐;3.利用c++17的std::hardware_destructive_interference_size保证变量间隔;此外还需合理组织数据访问模式、注意编译器优化并实际测试验证效果。

C++多核CPU如何避免伪共享 缓存行填充与对齐技术实践

在C++多线程编程中,如果你发现程序在多核CPU上性能提升不如预期,甚至出现退化,那很可能是“伪共享”(False Sharing)在作祟。它会导致缓存一致性协议频繁触发,从而拖慢性能。

C++多核CPU如何避免伪共享 缓存行填充与对齐技术实践

解决这个问题的核心方法就是缓存行填充与对齐技术。下面我来具体讲讲怎么做。


什么是伪共享?

伪共享是指多个线程访问不同变量,但这些变量位于同一个缓存行中,导致其中一个线程修改变量时,整个缓存行被标记为无效,迫使其他核心重新加载数据。虽然变量之间没有逻辑上的依赖,但在硬件层面却互相干扰了。

立即学习C++免费学习笔记(深入)”;

C++多核CPU如何避免伪共享 缓存行填充与对齐技术实践

举个例子:两个线程分别操作

struct
中的两个不同字段,如果这两个字段靠得太近,刚好落在同一个64字节的缓存行里,那么每次写入都会造成缓存失效,影响性能。


如何识别伪共享问题?

伪共享不容易从代码直接看出来,通常需要借助性能分析工具来定位:

C++多核CPU如何避免伪共享 缓存行填充与对齐技术实践
  • 使用
    perf
    (Linux下)查看cache miss情况
  • 使用Valgrind的
    cachegrind
    模块模拟缓存行为
  • Profiling工具如Intel VTune也能帮助识别热点

一旦发现某个结构体或变量频繁被不同线程读写,并且性能表现异常差,就要考虑是否是伪共享造成的。


缓存行填充和对齐怎么做?

避免伪共享的关键在于让每个线程访问的数据尽量独占一个缓存行。常见的做法是在结构体内加入填充字段,确保相邻变量不在同一缓存行。

绘蛙AI修图
绘蛙AI修图

绘蛙平台AI修图工具,支持手脚修复、商品重绘、AI扩图、AI换色

下载

方法一:手动填充

struct alignas(64) PaddedCounter {
    int64_t value;
    char padding[64 - sizeof(int64_t)]; // 填充到64字节
};

这样每个

PaddedCounter
实例占用一个完整的缓存行,不会和其他数据冲突。

方法二:使用
alignas
关键字(C++11以上)

C++11引入了

alignas
,可以强制指定类型或变量的内存对齐方式:

struct alignas(64) SharedData {
    int a;
    int b;
};

这样,

SharedData
对象会被分配在64字节对齐的位置,有助于减少跨缓存行访问的问题。

方法三:使用标准库提供的
hardware_destructive_interference_size

C++17开始提供了这个常量,表示当前平台可能引发伪共享的最小间隔大小(通常是64字节):

#include 

struct Data {
    int x;
    alignas(std::hardware_destructive_interference_size) int y;
};

这样就能保证

x
y
之间至少隔开一个缓存行。


实际应用中的一些技巧

  • 将只读数据放在一起:它们不会被修改,不会有缓存一致性压力。
  • 将频繁更新的变量彼此隔离:尤其是被不同线程访问的。
  • 注意编译器优化:有时候编译器会自动重排结构体字段顺序,要特别小心。
  • 测试验证:改完结构体后,不要假设有效果,一定要实际跑一下测试对比性能变化。

最后一点提醒

伪共享不是所有场景都会出现,也不是只要用了填充就一定能提升性能。但它确实是一个值得留意的潜在瓶颈点,尤其是在高性能并发场景中。缓存行填充和对齐技术看起来简单,但用好了能带来明显的性能收益。

基本上就这些。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1435

2023.10.24

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

193

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

185

2025.07.04

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

469

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

106

2025.12.24

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

1345

2023.06.21

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

698

2023.06.29

linux find
linux find

find是linux命令,它将档案系统内符合 expression 的档案列出来。可以指要档案的名称、类别、时间、大小、权限等不同资讯的组合,只有完全相符的才会被列出来。find根据下列规则判断 path 和 expression,在命令列上第一个 - ( ) , ! 之前的部分为 path,之后的是 expression。还有指DOS 命令 find,Excel 函数 find等。本站专题提供linux find相关教程文章,还有相关

293

2023.06.30

vlookup函数使用大全
vlookup函数使用大全

本专题整合了vlookup函数相关 教程,阅读专题下面的文章了解更多详细内容。

26

2025.12.30

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 6.3万人学习

Git 教程
Git 教程

共21课时 | 2.3万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号