volatile 详解

volatile代码说明

　　下面我们来一个个说明。

　　考虑下面的代码：

　　代码：

　　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_的改变没有反映到缓存它的寄存器中去。编译器的优化未免有点太……乐观了。

http://baike.baidu.com/view/608706.htm