volatile自我理解

volatile自我理解

 

目录

英文单词

1. 简介： 

2. Volatile 变量 

3. 正确使用 volatile 变量 

4. 编译器优化 

 

英文单词

   volatile[英][ˈvɔlətail]     adj.易变的，不稳定的；（记住‘易变’）

1. 简介：

         volatile 类型修饰符（type specifier），与使用const一样修饰变量。

          目的：修饰变量(易变的，不同线程访问或者修改) ，告诉编译器“直接存取变量原始内存地址”，不要使用cache寄存器取值进行优化。

2.Volatile 变量

         定义一个volatile的变量：精确地说就是，优化器在用到这个变量时必须每次都小心地从内存中重新读取这个变量的值，而不是使用保存在寄存器里的备份。

         使用过volatile变量的几个例子：

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

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

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

             （上面3种情况都体现了，变量是易变的，即其他的线程、外部驱动、中断服务子程序，让当前线程使用该变量时，编译器不易察觉变量可能被修改，而使用cache寄存器里原来的备份值。）

3. 正确使用 volatile 变量

      1.并行设备的硬件寄存器     

      储器映射的硬件寄存器通常也要加volatile，因为每次对他的读写都可能有不同的意义，假设要对一个设备进行初始化，此设备的某一寄存器为oxff800000.

       int  *output = (unsigned int*)oxff800000;//定义一个io端口。

       int init（void）

       {    

            int i ;

            for(i =0; i<10;i++)

            {

                *output = i;

             }

        }

      经过编译器优化后，编译器认为前面的循环后，最后的结果是将9赋值给output，因此对代码优化为：

        int init（void）

        {

          *output = 9;

         }

      如果你对外部设备进行初始化的过程是按顺序赋值，显然优化达不到你想到结果。此时需要使用volatile通知编译器这个变量是易变的，使用此变量不要进行优化。

     使用为：volatile int  *output = (unsigned int*)oxff800000;//定义一个io端口。

   

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

       Static int i = 0;

      int main(void)

     {

         while(i)

        {

             if（i）dosomething();

        }

     }

     /*interrupt service routine*/

    void ISR_2(void)

    {

        i = 1;

    }

      程序的本意是希望ISR_2中断产生时，在main函数中调用dosomething函数，但是编译器判断在main函数里面没有修改过ｉ，因此 可能只执行一次对从ｉ到寄存器的读操作，然后if判断都只使用寄存器里“i的副本”，导致dosomething永远也不会被调用。 此时需要使用volatile，是编译器不对i进行优化.

 

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

       该关键字在多线程环境下经常使用，因为在编写多线程的程序时，同一个变量可能被多个线程修改，而程序通过该变量同步各个线程，例如：
        DWORD __stdcall threadFunc(LPVOID signal)
        {
             int* intSignal=reinterpret_cast<int*>(signal);
              *intSignal=2;
              while(*intSignal!=1)
                   sleep(1000);
             return 0;
        }
       该线程启动时将intSignal 置为2，然后循环等待直到intSignal 为1 时退出。显然intSignal的值必须在外部被改变，否则该线程不会退出。但是实际运行的时候该线程却不会退出，即使在外部将它的值改为1，看一下对应的伪汇编代码就明白了：
       mov ax,signal
       label:
       if(ax!=1)
              goto label
        对于C编译器来说，它并不知道这个值会被其他线程修改。自然就把它cache在寄存器里面。记住，C 编译器是没有线程概念的！这时候就需要用到volatile。volatile 的本意是指：这个值可能会在当前线程外部被改变。也就是说，我们要在threadFunc中的intSignal前面加上volatile关键字，这时候，编译器知道该变量的值会在外部改变，因此每次访问该变量时会重新读取，所作的循环变为如下面伪码所示：
label:
    mov ax,signal
    if(ax!=1)
             goto label

------------------------------------------------------------------------------------------------------------------------------------------------

       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; 

　　} 

       

四、编译器的的理解

　　      一、.代码的局部性，编译器当读取一个变量时，为提高存取速度，编译器优化时有时会先把变量读取到一个寄存器中；以后，再取变量值时，就直接从寄存器中取值； 

　　      二、当变量值在本线程里改变时，会同时把变量的新值copy到该寄存器中，以便保持一致 ；

　　      三、当变量因易变（上面3种）而改变了值，该寄存器的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致 ；