volatile的作用

用volatile修饰的变量是说此变量可能会被意想不到地改变，这样编译器就不会去假设这个变量的值了。确切地说，优化器在用到这个变量时必须每次都重新去读取这个变量 的值，而不是使用保存在寄存器里的备份。举三个例用到volatile变量的例子，这个经常会笔试或面试到：
1. 并行设备的硬件寄存器（如：状态寄存器）。
2. 中断服务子程序中会访问到的非自动变量(Non-automatic variables)。
3. 多线程应用中被几个任务共享的变量。

进一步对volatile关键字的考察会被问到：
1. 一个参数既可以是const还可以是volatile吗？为什么?
2. 一个指针可以是volatile 吗？为什么?
3. 下面的函数有什么错误：
int square(volatile int *ptr) {
return *ptr * *ptr;
}
答案如下：
1. 是的。一个只读的状态寄存器，它是volatile因为它可能被意想不到地改变，它是const因为程序不应该试图去修改它。
2. 是的。尽管这并不很常见，当一个中服务子程序修该一个指向一个buffer的指针时。
3. 得到不是你期望的结果。这函数的目的是用来返指针*ptr指向值的平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代码：
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;
}