《C语言关键词volatile的用法探析.docx》由会员分享,可在线阅读,更多相关《C语言关键词volatile的用法探析.docx(7页珍藏版)》请在优知文库上搜索。
1、学C语言时有一个奇怪的关键字volatile,这到底有什么用呢?volatile与编译器首先来看这样一段代码:intbusy=l;voidwait()while(busy)j)编译一下,注意,这里使用02优化:AaSMod+AddE.。VVe.86f CMMO F :3.L2:“t*tx. mW6 E7 uy:8 .1O0y)让我们仔细看看生成的这段汇编:Waitzmoveax,DWORDPTRbusy|rip.L2:testeax,eaxjne.L2retbusy:.Iongl其中L2这一段即为WhiIe循环,这段指令是经过编译器优化的,可以看到,决定能否跳出循环是通过检查寄存器eax来完成
2、的,而没有检查变量busy所在内存的真实内容。注意,对于这段代码来说这里的优化是正确的,但问题是如果还有其它代码修改了变量busy,那么这里的优化会导致其它代码对变量busy的修改根本就不能生效,就像这样:intbusy=l;该函数在A线程中执行voidwait()while(busy);)该函数在B线程中执行VoidsignalObusy=O;)如果Wait函数中While循环对应的机器指令仅仅从寄存器中读取数据那么即使B线程的signal函数修改了busy变量也不能让wait函数从循环中跳出来。如果你对busy变量使用volatile修饰,生成的指令就变成这样了:A8SmyX;4.Outp
3、ut.*TfiltwBioraneiAddnew.ZAddtooL-1voidwit()Il*it:wait:.L2:moveax,DWORDPTRbusyrip|testeax,eaxjne.L2retbusy:.longl注意看此时L2这一段,每次都从busy变量所在的内存中读取数据并存放在eax,然后再去判断,这样就能确保每次都能读取到busy变量的最新值。实际上你可以把寄存器eax当做busy所在内存的cache,当CaChe(寄存器)和内存中的数据一致时不会有任何问题,但当cache与内存中的数据不一致时(也就是内存已被更新但cache保存的还是旧数据),程序的运行往往出乎预料除了多
4、线程的例子,还有一类就是signalhandler以及硬件修改该变量(用C语言与硬件交互式时经常遇到),如果编译器生成文章开头那样的指令那么等待线程将检测不到Signalhandler或者硬件对变量的修改。 DOoooosy buMemory国Hardware因此在这里我们需要告诉编译器:“不要耍小聪明,不要只从寄存器中读数据,这个变量可能在其它地方已经被修改了,使用时从内存中获取最新数据”。现在是时候简单总结一下了,volatile仅仅阻止编译器试图去优化对变量的读取操作。volatile与多线程一定要注意VoIatile仅仅确保变量的可见性,但和变量的原子访问没有半毛钱关系,这是两个完全不
5、同的任务。假设有一个非常复杂的结构体StrUCtfoo:Structdatainta;intb;intc;.;Volatilestructdatafbo;voidthread1()foo.a=1;fbo.b=2;fbo.c=3;.voidthread2()inta=fbo.a;intb=foo.b;intc=fbo.c;.你仅仅用volatile去修饰变量foo只是确保了当该变量被thread1修改后我们能在thread2中读取到最新值,但是这解决不了多线程并发读写需要原子访问foo的问题。确保变量原子性访问一般都采用锁,当使用锁时,锁本身就包含了volatile提供能力,即,确保变量的可见性
6、,因此当使用锁时没有必要使用volatile。volatile与memoryorder有的同学可能会想如果我想用VoIatiIe修饰的变量没有那么复杂,仅仅是一个int,就像这样:Volatileintbusy=O;A线程读取busy变量,B线程更新busy变量,当A检测到busy变化后执行特定操作,这样可行吗?既然通过VOlatiIe修饰后可以确保每次都从内存中读取busy,那么应该可以这样使用吧。然而,计算机在概念上可能相对简单些,但在工程实践中是复杂的。我们知道由于CPU与内存之间的速度差异非常大,CPU与内存之间有一层cache,CPU其实并没有直接读取内存,CaChe的存在会让问题复
7、杂起来,限于篇幅与本文主题这里不再展开。为优化内存读写,CPU可能会对内存读写操作进行指令重排,reordering,带来的后果就是:假设在线程1中先后执行第N行代码与第N+1行代码,但在线程2看来却是第N+1行代码先生效,假设X的初始值为O,Y的初始值为1:线程1线程2X=10if(!busy)busy=0;Y=X;当线程2检测到busy为0后读取X的值,此时读取到的X值可能为0。为解决这一问题,我们需要的不是volatile,volatile解决不了reordering问题,我们需要的是内存屏障,Inemorybarriero内存屏障是一类机器指令,该指令对处理器在该屏障指令之前与之后的内
8、存操作进行了限制,确保不会出现重排问题。而内存屏障带来的效果依然能够涵盖volatile提供的功能,因此也不需要volatileo可以看到,在多线程环境下我们几乎总是不会使用VoIatiIe关键字。许多程序员无法正确的理解C语言关键字VoIati匕。这并不奇怪,大多数C原因书籍不过一两句一带而过。本文将告诉你如何正确使用它。在C/C+嵌入式代码中,你是否经历过下面的情况:代码执行正常一直到你打开了编译器优化代码执行正常一直到打开了中断古怪的硬件驱动RTOS的任务独立运行正常一直到生成了其他任务如果你的回答是“yes”,很有可能你没有使用C语言关键字VOlatileo你并不是唯一的,很多程序员都
9、不能正确使用VOlatileo不幸的是,大多数C语言书籍对volatile的藐视,只是简单地一带而过。volatile是用于声明变量时的使用限定符。它告诉编译器该变量值可能随时发生变化,且这种变化并不是代码引起的。给编译器这个暗示是很重要的。在开始前,我们向来看一看VOIatile的语法。C语言关键字volatile语法声明一个变量为volatile,可以在数据类型之前或之后加上关键字volatileo下面的语句,把foo声明一个VOIatiIe的整型。Volatileintfoountvolatilefoo;把指针指向的变量声明为volatile很常见,尤其是1/0寄存器的地址映射。下面的语
10、句,把pReg声明为一个指向8-bit无符号指针,指针指向的内容为Volatileovolatileuint8_t*pReg;uint8_tvolatile*pReg;volatile的指针指向非VoIatiIe的变量很少见(我只使用过一次),但我还是给出相应的语法。int*volatilep;顺便提一下,关于为什么要在数据类型前使用VOlatiIe关键字,请自行百度搜素。最后,如果你在StnJCt或者union前使用VOlatiIe关键字,表明StrUCt或者Union的所有内容都是VOIatile。如果这不是你的本意,可以在StrUCt或者Union成员上使用volatile关键字。正确使
11、用C语言关键字volatile只要变量可能被意外的修改,就需要把该变量声明为Volatile。实际应用中,只有三种类型数据可能被修改。1 .外设寄存器地址映射2 .在中断服务程序中修改全局变量3 .在多线程、多任务应用中,全局变量被多个任务读写我们将分别讨论上述三种情况。外设寄存器嵌入式系统包含真正的硬件,通常会有复杂的外设。这些外设寄存器的值可能被异步的修改。举个简单的例子,我们要把一个8-bit状态寄存器的地址映射到0x1234.在程序中循环查看该状态寄存器的值是否变为非0.下面是最容易想到,但错误的实现方法1uint8t*PReg=(uint8t*)0x1234;23 /vatforre
12、gistertobecomenon-zero4 while(*pReg=0)/dosomethingelse当你打开编译器优化时,程序总是执行失败。因为编译器会生成下面的汇编代码:1movptr,#0x12342 mova,ptr34 loop:5 bzloop程序被优化的原因很简单,既然已经把变量的值读入累加器,就没有必要重新写一遍,编译器认为值是不会变化的。就这样,在第三行,程序进入了无限死循环。为了告诉编译器我们的真正意图,我们需要修改函数的声明:1uinit8_tvolatile*pReg=(uint8_tvolatile*)0x1234;编译器生成的汇编代码:1movptrj#0x1
13、23423 loop:4 mova,ptr5 bzloop像这样,我们得到了正确的动作。中断服务程序在中断服务程序中,经常会修改些全局变量值,来作为主程序中的判断条件。例如,在串口中断服务程序中,可能会检测是否接收到了ETX(假如是消息的结束标识符)字符。如果接收到了ETX,ISR设置一个全局标志位。错误的做法:1 inttjrcvdFMSS.2 voidaln()S14 .5 VMmueV4)6 (?/wait12 interrupteid(void)13 14 .lif(FIX=njchn)16(1?txscd三TWJE.18)W.20I在关闭编译器优化的情况下,程序可能执行正常。然而,任
14、何像样点而优化都会break”这段程序。问题是编译器并不知道etx.rcvd可能被ISR中被修改。编译器只知道,表达式!ext,CVd始终为真,你将永远无法退出循环。结果,循环后面的代码可能被编译器优化掉。幸运的话,你的编译器可能会发出警告;不幸的话,(或者你不认真的查看编译器警告),你的程序无法正常执行。当然,你可以责怪编译器执行了“糟糕的优化二解决方式是,将变量etx_rCVd声明为VolatiIe,所有问题(当然,也可能是部分)就消失了。多线程应用在实时系统中,尽管有像queues,pipes等这些同步机制,使用全局变量实现两个任务共享信息的做法依然很常见。即使在你的程序中加入了抢占式调度器,你的编译器依然无法知道什么是上下文切换,或何时发生上下文切换。因此,从概念上讲,多任务修改全局变量的的做法与中断服务程序中修改全局变量的做法是相同的。因此,所有这类全局变量都应该声明为VoIatiIe例如,下面的程序1 intetx-rcvd=FALSE;2 voidnain()3 4 .5 vhile(Jext-rcvd)6 (7 /wait8 9 .10 )1112 interruptvoidrx_isx(void)13 14 .15 if(ETX=rx-chax)16 117 etx_rcvd=TRUE;18 19