C++ volatile 关键字

volatile is a type qualifier that you can use to declare that an object can be modified in the program by the hardware.

注意 volatile 和多线程/多进程没有关系。该上锁还是要上锁 (互斥锁、自旋锁)。

硬件一般是因为 memory-mapped hardware device 。

我们需要用内存地址去访问设备，内存映射到硬件上，所以内存地址的映射内容跟硬件状态有关，跟程序本身无关。

编译器有时自作聪明，认为内存地址的内容不会变，就直接优化了。但这样其实不行。

出了硬件，还有操作系统 ，比 system lock , 信号量,

这样内存中的对象内容可能被操作系统修改 (并不在运行的程序内修改)。

可以看 SEI CERT C Coding Standard

里面举了 LED 的例子。

总结起来，就是硬件、操作系统 **可能改变某个对象/内存地址里的内容**，

但硬件、操作系统 的行为是在当前程序的控制范围之外的。

volatile 不能解决多线程中的问题。
按照 Hans Boehm & Nick Maclaren 的总结，volatile 只在三种场合下是合适的。
- 为内存映射 I/O 端口的对象
- 异步信号处理(Asynchronous signal handling)程序修改的对象
- 调用 setjmp 的函数中声明的自动存储持续时间对象，其值在 setjmp 调用和相应的 longjmp 调用之间会更改

C++服务编译耗时优化原理及实践