正文

在嵌入式軟件開發(fā)過程中，如果對volatile不熟，那可以你應(yīng)該是個"假嵌入式程序員"，因為一個變量需不需要使用volatile考慮的場景挺多的，如果在某些場景下亂用，會影響程序運行效率，有時候忘記加甚至?xí)沟贸绦虬l(fā)生異常，那么bug菌今天就大家好好聊聊這個C語言關(guān)鍵字:

1

傳統(tǒng)定義

volatile直譯為“易變的”，也就是告訴編譯器這個變量隨時都可能發(fā)生變化，編譯器你跟我“特殊照顧一下“。

那么編譯器通常會怎么去處理使用volatile修飾的變量呢？

對于C變量都是代表著對應(yīng)的內(nèi)存，讀取使用volatile修飾的變量，會直接從其所對應(yīng)的內(nèi)存地址中獲取最新的數(shù)據(jù)，否則，編譯器會對其訪問進行優(yōu)化，比如直接從緩存中讀取副本、或者是從寄存器中讀取副本。

這樣就可能會導(dǎo)致數(shù)據(jù)更新不一致的問題。

2

最常用的地方

從前面對volatile的功能描述，我們可以知道volatile最常用于那些與硬件外設(shè)寄存器打交道的地址，這樣確保每次對寄存器的讀取都是從內(nèi)存中獲取的最新值，比如：

再比如下圖所示，如果我們向地址0x812100地址連續(xù)改變其值:

那么編譯器通常會將其直接優(yōu)化為第三條操作，并不會去執(zhí)行前兩條操作，這樣會造成寫寄存器時序上的問題。

如果采用volatile去修飾，則三條命令便會依次執(zhí)行，達到我們代碼所示三次操作的目的。

3

更復(fù)雜一點的，也是最重要的

其實對于volatile所解決的問題用更加專業(yè)的說法可以分為:可見性和有序性。

1、可見性

所謂可見性，通常是在多線程訪問共享數(shù)據(jù)的情況，當一個線程對共享變量進行修改，而其他線程能否立即觀察到這個修改的性質(zhì)。

在我們目前大部分單核一級緩存的CPU無需考慮這個問題，而對于現(xiàn)場多核多級緩存處理器，各個現(xiàn)場都會維護著自己的緩存，如果僅僅只是更新到了自己的緩存中那么其他線程是無法立馬感受到這個修改的，最終導(dǎo)致結(jié)果不一致。

2、有序性

很多時候也叫作重排序，說白了就是對執(zhí)行指令進行了執(zhí)行順序上的優(yōu)化，以不改變指令運行的最終結(jié)果，而改變指令的執(zhí)行順序。

編譯器可以調(diào)整指令，同樣處理器的多級流水線和亂序執(zhí)行也同樣可以改變指令執(zhí)行順序；甚至為了多級緩存的高效執(zhí)行，也同樣會對內(nèi)存讀寫操作進行重排序。

然而這樣的重排序，卻會對多線程并發(fā)訪問共享數(shù)據(jù)的過程中產(chǎn)生問題，從而不符合我們編程源碼的預(yù)期執(zhí)行順序。

但對于volatile只能在一定程度上防止指令重排序，其只能保證單個變量訪問的有序性，而不能保證整個程序的有序性，所以這一點是大家尤為要注意的。

所以講了這么多，相信以后大家再開發(fā)中也都會遇到。

審核編輯：劉清