0

0

为什么c++中的volatile关键字不能保证线程安全? (正确使用场景)

穿越時空

穿越時空

发布时间:2026-01-18 01:15:22

|

502人浏览过

|

来源于php中文网

原创

volatile不提供线程同步,仅防止编译器优化读写操作;它不阻止指令重排、无内存屏障、不保证原子性,适用于硬件寄存器等异步可见性场景,线程通信应使用std::atomic。

为什么c++中的volatile关键字不能保证线程安全? (正确使用场景)

volatile 不阻止指令重排,编译器和 CPU 都可能乱序执行

volatile 告诉编译器:这个变量的值可能在任何时候被外部(比如硬件、信号处理函数)修改,所以每次读写都必须真实发生,不能被优化掉。但它**不生成内存屏障(memory barrier)**,也不约束其他变量的访问顺序。例如:

volatile bool ready = false;
int data = 0;
<p>// 线程 A
data = 42;              // 编译器/CPU 可能把它重排到 ready = true 之后
ready = true;           // 但 volatile 并不阻止这种重排

线程 B 看到 ready == true,却可能读到未初始化的 data(仍是 0)。这不是编译器“错”,而是 volatile 本就不承诺同步语义。

它不提供原子性,对复合操作完全无效

volatile 修饰的变量,其读或写操作本身可能是原子的(如对齐的 int 在多数平台),但像 +++=fetch_add 这类操作本质上是“读-改-写”三步,volatile 不保证这三步不可打断:

  • volatile int counter = 0;
  • 两个线程同时执行 ++counter,结果很可能是 1 而不是 2
  • 因为两者都读到 0,各自加 1,再各自写回 1

真正需要原子递增,请用 std::atomic<int></int> 及其 fetch_add() 成员函数。

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

Misum AI
Misum AI

一站式聚合多模型AI问答工具

下载

正确使用场景:非线程同步的异步可见性

volatile 的本职工作是与**硬件寄存器、信号处理函数、内存映射 I/O** 打交道,这些场景不需要互斥或顺序保证,只需要“别给我优化掉读写”:

  • 嵌入式中轮询一个硬件状态寄存器:while (*(volatile uint32_t*)0x40001000 == 0) { }
  • 信号处理函数中设置标志位,主循环检查:volatile sig_atomic_t flag = 0;(注意:必须是 sig_atomic_t 类型)
  • 内存映射的帧缓冲区(framebuffer)写入:volatile uint16_t* fb = (volatile uint16_t*)0xA0000;

这些场景里没有多线程竞争,只有“程序 vs 外部世界”的可见性问题——volatile 刚好够用,也仅够用。

替代方案:用 std::atomic 替代 volatile 实现线程通信

如果你原本想靠 volatile 实现“一个线程写、另一个线程读”的简单通知,应该换成 std::atomic

std::atomic<bool> ready{false};
int data = 0;
<p>// 线程 A
data = 42;
ready.store(true, std::memory_order_release);  // 写屏障,确保 data=42 不会重排到后面</p><p>// 线程 B
while (!ready.load(std::memory_order_acquire)) { }  // 读屏障,确保后续读 data 不会重排到前面
std::cout << data << "\n";

std::atomic 提供可选的内存序、真正的原子操作、以及隐式/显式的屏障语义——这才是 C++ 线程模型认可的协作方式。把 volatile 当成线程安全的“轻量级替代品”,是 C++ 新手最常踩的坑之一。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
while的用法
while的用法

while的用法是“while 条件: 代码块”,条件是一个表达式,当条件为真时,执行代码块,然后再次判断条件是否为真,如果为真则继续执行代码块,直到条件为假为止。本专题为大家提供while相关的文章、下载、课程内容,供大家免费下载体验。

105

2023.09.25

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

970

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

605

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

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

294

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

212

2025.08.29

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

75

2025.10.23

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

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

763

2023.08.10

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

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

376

2025.12.24

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

23

2026.03.06

热门下载

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

精品课程

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

共94课时 | 10.8万人学习

C 教程
C 教程

共75课时 | 5.2万人学习

C++教程
C++教程

共115课时 | 20.9万人学习

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

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