volatile修饰符

 volatile它是被设计用来修饰被不同线程访问和修改的变量。如果没有volatile，基本上会导致这样的结果：要么无法编写多线程程序，要么编译器失去大量优化的机会。
volatile的作用： 作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接读值.不进行优化
如  a = 3;
    a = 4;
    a = 5;
编译器优化后会只执行a[1] = 5 这一句话    若对a进行了 volatile修饰 则每一步关于a的都会执行
优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子：
1）. 并行设备的硬件寄存器（如：状态寄存器）
2）. 一个中断服务子程序中会访问到的非自动变量（Non-automatic variables)
3）. 多线程应用中被几个任务共享的变量
这是区分C程序员和嵌入式系统程序员的最基本的问题：嵌入式系统程序员经常同硬件、中断、RTOS等等打交道，所有这些都要求使用volatile变量。不懂得volatile内容将会带来灾难。


1）. 一个参数既可以是const还可以是volatile吗？解释为什么。
2）. 一个指针可以是volatile 吗？解释为什么。
3）. 下面的函数被用来计算某个整数的平方，它能实现预期设计目标吗？如果不能，试回答存在什么问题：
 
1）. 是的。一个例子是只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。
2）. 是的。尽管这并不很常见。一个例子是当一个中断服务子程序修改一个指向一个buffer的指针时。
3）. 编译器将产生类似下面的代码：
int square( volatile int *ptr )
{
    int a,b;
    a = *ptr;
    b = *ptr;
    return a * b;
}
 
由于*ptr的值可能在两次取值语句之间发生改变，因此a和b可能是不同的。结果，这段代码可能返回的不是你所期望的平方值！正确的代码如下：
long square( volatile int *ptr )
{
    int a;
    a = *ptr;
    return a * a;
}


对于线程操作：
⒈编译器的优化（请高手帮我看看下面的理解）
在本次线程内，当读取一个变量时，为提高存取速度，编译器优化时有时会先把变量读取到一个寄存器中；以后再取变量值时，就直接从寄存器中取值；
当变量值在本线程里改变时，会同时把变量的新值copy到该寄存器中，以便保持一致
当变量在因别的线程等而改变了值，该寄存器的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致
当该寄存器在因别的线程等而改变了值，原变量的值不会改变，从而造成应用程序读取的值和实际的变量值不一致


for ( int i=0; i<100000; i++ );
这个语句用来测试空循环的速度的
但是编译器肯定要把它优化掉，根本就不执行
如果你写成
 
for ( volatile int i=0; i<100000; i++ );
它就会执行了




class Gadget
{
public:
    void Wait() 
    {
        while (!flag_)
        {
            Sleep（1000); // sleeps for 1000 milliseconds
        }
    }
void Wakeup()
{
    flag_ = true;
}
//...
private:
    bool flag_;
};




上面代码中Gadget::Wait的目的是每过一秒钟去检查一下flag_成员变量，当flag_被另一个线程设为true时，该函数才会返回。至少这是程序作者的意图，然而，这个Wait函数是错误的。
假设编译器发现Sleep（1000）是调用一个外部的库函数，它不会改变成员变量flag_，那么编译器就可以断定它可以把flag_缓存在寄存器中，以后可以访问该寄存器来代替访问较慢的主板上的内存。这对于单线程代码来说是一个很好的优化，但是在现在这种情况下，它破坏了程序的正确性：当你调用了某个Gadget的Wait函数后，即使另一个线程调用了Wakeup，Wait还是会一直循环下去。这是因为flag_的改变没有反映到缓存它的寄存器中去。编译器的优化未免有点太……乐观了。
在大多数情况下，把变量缓存在寄存器中是一个非常有价值的优化方法，如果不用的话很可惜。C和C++给你提供了显式禁用这种缓存优化的机会。如果你声明变量是使用了volatile修饰符，编译器就不会把这个变量缓存在寄存器里——每次访问都将去存取变量在内存中的实际位置。这样你要对Gadget的Wait/Wakeup做的修改就是给flag_加上正确的修饰：
 
class Gadget
{
public:
    //... as above ...
private:
    volatile bool flag_;
};


参考百度百科