0

0

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

星降

星降

发布时间:2026-01-20 09:29:02

|

437人浏览过

|

来源于php中文网

原创

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 替换成普通赋值——它们底层语义完全不同:

Otter.ai
Otter.ai

一个自动的会议记录和笔记工具,会议内容生成和实时转录

下载
  • 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 字段

// ❌ 错误:不能将 volatile 字段传给 ref 参数 // Interlocked.Exchange(ref _cache, newValue);

// ✅ 正确:用非 volatile 字段 + Interlocked Interlocked.Exchange(ref _cacheNonVolatile, newValue);

// ✅ 或用临时变量(但失去 volatile 的可见性保障,需配合其他同步) var temp = _cache; Interlocked.Exchange(ref temp, newValue); _cache = temp; // 这里又需要 volatile 写入来通知读者

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

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

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

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

相关专题

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

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

69

2025.10.23

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

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

392

2023.07.18

堆和栈区别
堆和栈区别

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

572

2023.08.10

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

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

481

2023.08.10

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

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

61

2025.12.01

PHP WebSocket 实时通信开发
PHP WebSocket 实时通信开发

本专题系统讲解 PHP 在实时通信与长连接场景中的应用实践,涵盖 WebSocket 协议原理、服务端连接管理、消息推送机制、心跳检测、断线重连以及与前端的实时交互实现。通过聊天系统、实时通知等案例,帮助开发者掌握 使用 PHP 构建实时通信与推送服务的完整开发流程,适用于即时消息与高互动性应用场景。

11

2026.01.19

微信聊天记录删除恢复导出教程汇总
微信聊天记录删除恢复导出教程汇总

本专题整合了微信聊天记录相关教程大全,阅读专题下面的文章了解更多详细内容。

79

2026.01.18

高德地图升级方法汇总
高德地图升级方法汇总

本专题整合了高德地图升级相关教程,阅读专题下面的文章了解更多详细内容。

109

2026.01.16

全民K歌得高分教程大全
全民K歌得高分教程大全

本专题整合了全民K歌得高分技巧汇总,阅读专题下面的文章了解更多详细内容。

153

2026.01.16

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
国外Web开发全栈课程全集
国外Web开发全栈课程全集

共12课时 | 1.0万人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.3万人学习

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

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