c# Interlocked.Exchange 和 volatile 赋值的区别

老强姑娘_4836

老强姑娘_4836

2026-01-20

497人浏览

原创

Interlocked.Exchange 提供原子交换和全内存栅栏,适用于读-改-写、需返回旧值或强顺序保障场景;volatile 仅保证单次读/写的可见性与禁止重排,不保证原子性,仅适用于单写多读纯状态通知。

c# interlocked.exchange 和 volatile 赋值的区别

Interlocked.Exchange 会原子交换并保证内存可见性,volatile 赋值只保证可见性和禁止重排,不保证原子性

这是最根本的区别:如果你需要“读旧值 → 算新值 → 写入”这一整套动作不可打断(比如实现无锁栈、状态切换、引用替换),Interlocked.Exchange 是唯一安全选择;而 volatile 只是告诉编译器和 CPU:“这个变量别缓存,每次都要从主内存读/写”,它连 i++ 都保护不了——因为 i++ 本身包含读、加、写三步,volatile 对其中任意一步都“原子”,但对整个序列毫无约束。

什么时候该用 Interlocked.Exchange,而不是 volatile 赋值?

看操作是否涉及“读-改-写”逻辑或需要返回旧值:

  • 要替换一个引用并拿到被替换掉的旧对象(比如无锁队列头节点更新)→ 必须用 Interlocked.Exchange
  • 多个线程可能同时尝试设置同一个标志(如 _currentHandler),且你希望只让第一个成功者生效 → 用 Interlocked.CompareExchange 更合适,但 Exchange 也常用于“强制覆盖”场景
  • 需要确保写入后,其他线程立刻看到新值,**同时还要确保写入动作本身不会被其他线程的并发写入干扰** → Interlocked.Exchange 提供完整栅栏(full memory barrier),volatile 没有这种保障
  • 给 volatile 字段赋值(如 _flag = true)仅适合单写多读、纯状态通知场景,且写入方唯一、无依赖前序状态

volatile 写入和 Interlocked.Exchange(ref, value) 的实际行为差异

哪怕目标字段已声明为 volatile,也不能把 Interlocked.Exchange 替换成普通赋值——它们底层语义完全不同:

C#
C#

"避开 C# 常见错误——空陷阱、异步陷阱、LINQ 陷阱及资源泄漏。"

下载
  • volatile 字段赋值(如 _ptr = newValue):生成的是带 acquire-release 语义的单次写入,但不阻止其他线程在同一时刻执行自己的写入
  • Interlocked.Exchange(ref _ptr, newValue):不仅写入,还返回原值;且整个操作在硬件层面是原子的(x86 上对应 XCHG 指令),天然具备 full barrier 效果,等效于加了 Thread.MemoryBarrier()
  • 传参限制:Interlocked.Exchange **不能接受 volatile 字段直接作为 ref 参数**(编译报错 CS0190),必须先去掉 volatile 修饰,或用局部变量中转——这是很多人踩坑的第一步
private volatile object _cache;
private object _cacheNonVolatile; // 实际存储用非 volatile 字段
<p>// ❌ 错误:不能将 volatile 字段传给 ref 参数
// Interlocked.Exchange(ref _cache, newValue);</p><p>// ✅ 正确:用非 volatile 字段 + Interlocked
Interlocked.Exchange(ref _cacheNonVolatile, newValue);</p><p>// ✅ 或用临时变量(但失去 volatile 的可见性保障,需配合其他同步)
var temp = _cache;
Interlocked.Exchange(ref temp, newValue);
_cache = temp; // 这里又需要 volatile 写入来通知读者</p>

性能与适用边界:别为了“看起来高级”硬套 Interlocked

在高竞争、高频更新场景下,Interlocked.Exchange 比 volatile 写入开销大得多(涉及总线锁定或 cache line 无效化),但它换来了确定性。反过来,如果只是后台线程轮询一个开关,volatile bool _shouldStop 就足够轻量且正确:

  • 单写多读、无状态依赖 → 优先考虑 volatile
  • 需要返回旧值、需强顺序保证、需替换引用并防止 ABA 类问题(哪怕概率低)→ 必须用 Interlocked 系列
  • 若涉及多个字段协同更新(比如同时改 _value 和 _timestamp),两者都不够,得上 lock 或 SpinLock

真正容易被忽略的是:volatile 不是“弱 lock”,Interlocked 也不是“轻量 lock”——它们解决的是不同维度的问题。混用或替代,往往不是性能差一点,而是 bug 出现在压测后期、偶发超时、数据错乱,极难复现。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c#

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

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

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

2025.10.23

794

12

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

6367

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2668

6

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

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

2023.08.10

4498

6

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

2025.12.01

563

16

Vite 项目如何打包和部署
Vite 项目如何打包和部署

Vite项目打包部署专题汇集生产构建、产物预览、输出目录、资源路径、Nginx与GitHub Pages部署及常见白屏和路由404问题的已审核文章,帮助读者完成上线流程。

2026.10.28

60

16

Vite 如何搭配 Vue.js
Vite 如何搭配 Vue.js

Vite搭配Vue.js专题汇集创建Vue 3项目、配置开发环境、路径别名、Vue插件、代理、多环境构建与调试的已审核文章,帮助读者完成从初始化到日常开发的配置。

2026.10.28

40

15

Vite 项目目录怎么看
Vite 项目目录怎么看

Vite项目目录专题汇集入口文件、src源码、public静态资源、路径别名、项目根目录和构建输出目录相关的已审核文章,帮助读者理解各文件夹的用途与引用方式。

2026.10.28

140

10

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

2026.10.22

140

11

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
GDB Reference Card
GDB Reference Card

共0课时 | 0人学习

《Debugging with GDB》用户手册
《Debugging with GDB》用户手册

共0课时 | 0人学习

Valgrind FAQ
Valgrind FAQ

共0课时 | 0人学习