浅析volatile的用法

为什么需要volatile

在介绍volatile之前，先来了解一个GCC编译器优化的例子。
如我们有如下代码：

static int foo;

void bar(void) {
    foo = 0;

    while (foo != 255)
         ;
}

那么GCC或者其他编译器在编译的时候，发现上面的代码while处需要一直读取foo变量的值，但这个foo变量在代码中并没有被变化，就直接将其优化成下面的代码：

void bar_optimized(void) {
    foo = 0;

    while (true)
         ;
}

这样的话，程序运行时将不用再去读取foo内存，而是直接执行while体内的代码，从而极大的提高了效率。

但是有一种情况上面的优化会出现问题。如果这个变量foo，我们将其绑定到某个io mapped memory中，这样的话，当硬件IO发生变化时，该变量可能会发生变化。但编译器却将原有代码中都该变量的正确读取优化掉了，从而产生错误。解决的办法，就是在foo变量定义的时候申明volatile，告诉编译器不要对这个变量相关的代码进行优化：
static volatile int foo;

volatile的好处

使用volatile，有以下好处：
1. 如前面所述，它保证编译器不对其变量进行优化，这样就能保证该IO MAPPED变量能够正常工作，见前面例子，foo变量不仅在程序内被访问，作为IO MAPPED的变量，有可能被外部端口访问。
2. 另外它也能防止编译器将没有被使用的volatile变量优化掉。
3. 保证编译器不对使用其变量的代码顺序进行修改。

下面的代码，编译器对”data = x;”和”flag = 1;”这两行代码的次序会进行调整。

int data;
int flag;

void func( int x)
{
    data = x;
    flag = 1;
}

而下面的代码，虽然其中一个变量使用了volatile，但这两行代码仍然被编译器调整，原因是data变量不是volatile，所以编译器把”data = x”优化到了”flag = 1”的后面。

int data;
volatile int flag;

void func( int x)
{
    data = x;
    flag = 1;
}

但下面的代码，执行次序与这两行代码的次序一致。因为两者volatile，编译器对使用volatile的变量次序进行了保证。

volatile int data;
volatile int flag;

void func( int x)
{
    data = x;
    flag = 1;
}

需要注意的是，编译器虽然能够保证对volatile变量所在代码的次序，但对于采用weak ordered的CPU，如ARM/POWERPC等，依然有可能改变它们的执行顺序。
一般对单线程而言，编译器和CPU都能保证它们对代码执行顺序的调整，不会改变程序的执行结果；但对于多线程而言，对那些volatile变量的使用场景，有可能导致错误，因为C++11之前的标准，并不支持多线程。（什么？你说那以前的C++多线程程序是怎么出来的？那是POSIX Thread标准提供的，是由库提供多线程支持的，C++语言本身并没有支持，所以编译器也没有支持）。这个更具体的内容，请参考C++11并发编程

所以在C++11开始，volatile只用于io mapped变量，不再用来保证代码执行次序，后者功能由atomic来提供了。