关于volatile变量

volatile是一个类型修饰符（type specifier）。它是被设计用来修饰被不同线程访问和修改的变量。如果没有volatile，基本上会导致这样的结果：要么无法编写多线程程序，要么编译器失去大量优化的机会。volatile在英语里是短瞬，不稳定，易挥发的意思

volatile变量告知编译器，程序可能用不可见的方式改变变量，这些方式取决于具体实现。

何为不可见呢，举个例子：

所谓的不可见,是指编译器不可预见.
具体实现包括中断例程,多线程都可以改变变量的值.
举个例子:
volatile int v;

void func()
{ int a,b;
  a=5*v;
  b=5*v;
  ....
}

如果v是个普通的变量,编译器很可能会做这样的优化,
第一次计算出5*v的值后,先赋给a,然后直接又从寄存赋给b,
而不会重新计算5*v.
如果定义成volatile,编译器则不会做任何优化,每次都会
重新读取v的值.

在执行a=5*v之后,有可能恰好在此时出现中断,
将v的值改变,这时再执行b=5*v,结果应该是a和b的值不相同,
但如果编译器按上面的规则一优化,则a和b永远会相同,为了
避免出现这种情况,于是将v定义成volatile的.

可能理解为指示编译器不对该变量做优化，而安全按照程序的写法运行。

参考：http://baike.baidu.com/view/608706.htm

http://bbs.csdn.net/topics/60169778