Volatile 在程序设计中的作用

编译器优化的时候可能会出现问题，如当遇到多线程编程时，变量的值可能因为别的线程而改变了，而该寄存器的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致。例如，在本次线程内，当读取一个变量时，为提高存取速度，编译器优化时有时会先把变量读取到一个寄存器中；当以后再取变量值时，就直接从寄存器中取值；当变量值在本线程里改变时，会同时把变量的新值复制到该寄存器中，以便保持一致。

     volatile是一个类型修饰符，它用来修饰被不同线程访问和修改的变量。在原子操作中同样会用到。 如果没有它, 很有可能使得编程写的多线程程序出现不可预期的错误, 
也可能因为编译器的各种优化而导致编译后的结果表达了不同的意思, 使得程序出现难以发现的错误.被volatile类型定义的变量，系统每次用到它的时候都是直接从对应的
内存当中提取，而不会利用cache中的原有数值，以适应它的未知何时会发生的变化，系统对这种变量的处理不会做优化。所以，volatile一般用于修饰多线程间被多个任务
共享的变量和并行设备硬件寄存器等。

 编译器的2种调试模式：

Debug版本：调试版本，通过一系列编译选项的配合，编译的结果通常包含调试信息，而且不做任何优化，以为开发人员提供强大的应用程序调试能力。 
Release版本：发布版本，是为用户使用的，一般客户不允许在发布版本上进行调试。所以不保存调试信息，同时，它往往进行了各种优化，以期达到代码最小和速度最优。
为用户的使用提供便利。


对于volatile关键字的作用，可以通过在代码中插入汇编代码，测试有无volatile关键字对程序最终代码的影响。
测试：
不加volatile关键字时：

在Debug调试版本模式下的运行结果：

在Release版本模式下的运行结果：

输出的结果表明：

     在Release模式下，编译器对代码进行了优化，第二次没有输出正确的i值。

加上volatile关键字时：

运行结果：

可知：在Debug调试版本和Release发布版本运行程序，输出结果相同，i值均被改变。

结论：

   一个定义为volatile的变量是说这个变量可能会被意想不到地改变，这样编译器就不会去假设这个变量的值了。

准确地说，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值（From Memory），而不是使用保存在寄存器里的备份。