volatile的用法

windows 核心编程（第5版） 第8章  用户模式下的线程同步

P205 中代码

volatile BOOL g_fFinishedCalution = FALSE;

这段程序我们注意到使用了volatile关键字，为了使这段代码能正常工作。volatile类型限定符是不可或缺的。它告诉编译器这个变量可能会被应用程序之外的其他东西修改，比如操作系统。硬件或者一个并发执行的线程。确切的说，volatile限定符告诉编译器不要对这个变量进行任何形式的优化，而是始终从变量在内存中的位置读取变量的值。

给一个结构加volatile限定符等于给结构中所有的成员都加volatile限定符，这样可以确保任何一个成员始终都是从内存中读取的。

······················下面来自百度的volatile的用法

就象大家更熟悉的const一样，volatile是一个类型修饰符（type specifier）。它是被设计用来修饰被不同线程访问和修改的变量。如果没有volatile，基本上会导致这样的结果：要么无法编写多线程程序，要编译器失去大量优化的机会

下面是volatile变量的几个例子：

　　1）. 并行设备的硬件寄存器（如：状态寄存器）

　　2）. 一个中断服务子程序中会访问到的非自动变量（Non-automatic variables)

　　3）. 多线程应用中被几个任务共享的变量

　

      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;