扫码关注
加了volatile，中断共享变量为何仍会错？
volatile能防止访问被随意省略，却不能把三条指令合并成不可打断的一步
主循环和中断共享变量时，volatile解决的是编译器是否真正发生访存。它不保证counter++是一条指令，不保证多字节读写不被打断，也不提供两个执行上下文之间的互斥。
计数器已经声明为volatile，主循环每次读到的也是内存新值，长时间运行后却还是会偶发少计一次。错误很难复现，降低中断频率又会减少，很容易把它当成编译器或芯片偶发异常。
volatile只是要求访问可见，不是并发保护。一条C语句若被编译成载入、运算和写回三步，中断就可以插入任意两步之间。两个上下文都拿着旧副本写回，就会覆盖其中一次更新。
先分清可见性、原子性和顺序性
可见性关心的是代码是否真正从指定对象读取或写入，volatile主要在这个层面起作用。原子性关心一次状态转换是否会被中途观察或打断，顺序性则关心多个访问在编译器、CPU和外设看来的先后关系。
图1 Cortex-M3位带别名区展示了单位操作与普通寄存器读改写的差异
这三个问题不能用一个关键字通包。内存映射外设寄存器常需要volatile，但对一个需要读改写的共享状态，仍需要临界区、原子原语或更清晰的通信结构。
**看见新值和不丢更新，是两个不同的正确性条件。**
counter++的危险窗口就藏在读与写之间主循环先将counter读入寄存器，还没写回时中断到来，ISR将同一变量加一并写回。中断返回后，主循环继续使用之前寄存器里的旧副本加一并写回，ISR的那次更新就消失了。
图2 位带地址映射可避免某些外设位操作的普通读改写
变量本身是一个CPU能单次读写的字宽，也不代表counter++是原子操作。单次load或store可能不被拆分，但“读出旧值、计算新值、写回”仍然是一串操作。
看汇编比看C语句更容易确认原子边界源码里的counter++只占一行，编译后常见的结构是计算变量地址、从内存载入、加一、再写回。优化级别、变量类型、目标核和存储位置都可能改变实际指令，不能凭印象判断。
图3 STM32外设位读改写需要多条指令完成
同一个项目里，将关键共享操作的反汇编结果作为审查证据，可以直接标出中断可能插入的窗口。这种检查不是为了依赖某次编译器巧合，而是验证设计所假定的原子边界真的存在。
**一行C代码是语义单元，不是CPU不可打断单元。**
三种修法对应三种不同共享方式主循环和ISR必须共同更新同一计数时，可用尽可能短的临界区保护读改写，并评估中断延迟。目标架构和工具链提供原子原语时，则优先使用语义清晰、经验证的接口，不手写一段只在某版编译器下巧合安全的代码。
更常见的做法是重设数据所有权：ISR只写入事件计数或环形缓冲，主循环只读取和消费；或者ISR只置位标志，复杂状态转换全部留给主循环。减少双写者，通常比在每个变量前继续堆关键字更可靠。
图4 实际Cortex-M3编译结果将counter++展开为load、add和store
用故意放大窗口的测试验证修复将中断频率提高或在读写之间临时插入可控延迟，可以放大竞态窗口，但这类代码只用于调试，不进入产品版本。同时记录ISR产生的事件数和主循环消费数，用守恒关系判断是否丢更新。
修复后在不同优化级别、不同中断密度和最长运行工况下重复验证。若换了编译器或目标核，再检查原子原语与内存顺序假设。正确结论不应依赖“当前这个优化级别恰好没出错”。
对于一个CPU上的主循环和中断，短临界区通常是最直接的互斥方式，但关中断的范围必须只包含真正需要不可分割的读写。将计算、日志、通信和等待也包在临界区里，会增加中断延迟和实时性风险。正确结构通常是在临界区内复制或更新最小状态，出临界区后再做复杂处理。
把并发边界写成可审查接口多字节状态更要警惕擕裂读取。在8位或16位内核上读取更宽的计数器，或读取由多个字段组成的时间戳，可能在高字和低字之间被中断更新。最终读到的值从来没在内存中完整存在过。即使每个字段都是volatile，也只能保证分别读取，不能保证多字段是同一时刻的快照。
单写者模型能显著减少需要原子保护的操作。例如ISR只累加生产计数，主循环在短临界区中将它交换到本地副本并清零，之后的统计都对本地副本进行。这种设计不会让主循环和ISR长时间同时修改一个复杂对象，也更容易建立事件总数守恒的测试。
在带缓存、多核或DMA的系统中，volatile的边界更窄。它无法代替缓存一致性操作，无法为多核提供锁，也不自动建立DMA与CPU之间的所有内存顺序。这些情况应使用目标平台定义的内存屏障、原子类型、缓存维护和同步原语。把单核MCU上“当前能用”的volatile经验直接复制到复杂内存系统，风险会更大。
结论volatile能让主循环真正去读一个可变对象，却不会保护读改写中间的窗口。变量“看得见”与更新“不会丢”必须分开验证。
打开反汇编，标出load、运算和store，再选择短临界区、原子原语或单写者结构。只要共享边界说清了，“偶发丢一次”就不再是玄学。
声明：
本文由凡亿教育整理，转载请注明来源！
投稿/招聘/广告/课程合作/资源置换 请加微信：13237418207
