01、簡述
一個定義為volatile的變數是說這變數可能會被意想不到地改變,這樣,編譯器就不會去假設這個變數的值了,精確地說就是,優化器在用到這個變數時必須每次都小心地重新讀取這個變數的值,而不是使用保存在暫存器里的備份,
如果沒有volatile關鍵字,則編譯器可能優化讀取和存盤,可能暫時使用暫存器中的值,如果這個變數由別的程式更新了的話,將出現不一致的現象,
簡單來說,如果這變數很重要,且你不想它被編譯器優化,就用volatile修飾,
02、用處
關于編譯器優化
如果你在編譯器器開了優化,那么就要小心了,以下代碼使用IAR7.20,優化等級High,選Balanced,main函式的主回圈如下
while (1) { Delay_ms(500); LCD_refresh_flg = 0; Delay_ms(500); if(LCD_refresh_flg){ LCD_refresh_flg = 0; LCD_ShowString(0,13,"receive_data"); } }
其中LCD_refresh_flg變數在串口中斷中
void USART1_IRQHandler(void) { if(USART_GetFlagStatus(USART1, USART_FLAG_TC)) { USART_ClearFlag(USART1, USART_FLAG_TC); } if(USART_GetFlagStatus(USART1, USART_FLAG_RXNE)) { LCD_refresh_flg = 1; USART_ClearFlag(USART1, USART_FLAG_RXNE); } }
其中延時函式如下
/** * @brief Inserts a delay time. * @param nTime: specifies the delay time length, in 10 ms. * @retval None */ void Delay_ms(uint32_t nTime) { TimingDelay = nTime; while(TimingDelay != 0); } /** * @brief Decrements the TimingDelay variable. * @param None * @retval None */ void TimingDelay_Decrement(void) { if (TimingDelay != 0x00) { TimingDelay--; } } /** * @brief This function handles SysTick Handler. * @param None * @retval None */ void SysTick_Handler(void) { TimingDelay_Decrement(); }
這是簡單的示例代碼(為了說明問題,實際專案開發應該沒有類似的代碼),代碼設計的意圖是串口收到資料,LCD顯示字串,但debug時如下

在單步執行時,第85行代碼被直接跳過了,且在85行也無法打斷點,查看反匯編代碼,確認第85,87,88,89代碼直接被編譯器優化沒了,

可能編譯器在想,在85行將LCD_refresh_flg變數清零,而86行代碼量又不大,所以認為87行的if條件不成立,這全部優化掉了,編譯器完全沒有想到我們的延時長達500ms,且在串口中斷中會將LCD_refresh_flg置1,這完全違背我們的設計意圖,
如果我們將LCD_refresh_flg使用volatile修飾,volatileuint8_t LCD_refresh_flg;在編譯器不變,優化等級不變時,運行如下:

雖然編譯器和優化等級都是一樣的,但是這個時候,不再優化LCD_refresh_flg變數,
當然這是編譯優化的結果,并不是說,在main函式的主回圈的先對變數清零,再后邊判斷變數就會被編譯器優化,如下代碼,LCD_refresh_flg沒有使用volatile修飾,

此時LCD_ShowString函式是代碼量很大的函式,這個時候編譯器就不敢輕易優化LCD_refresh_flg變數了,希望大家能從這個例子中理解volatile對編譯優化的影響,
關于訪問硬體
存盤器映射的硬體暫存器通常也要加voliate,因為每次對它的讀寫都可能有不同意義,例如:假設要對一個設備進行初始化,此設備的某一個暫存器為0xff800000,(例子僅為說明問題,不具有實戰意義)
int *output = (unsigned int *)0xff800000;//定義一個IO埠; int init(void) { int i; for(i=0;i< 10;i++){ *output = i; } }
經過編譯器優化后,編譯器認為前面回圈半天都是廢話,對最后的結果毫無影響,因為最終只是將output這個指標賦值為9,所以編譯器最后給你編譯編譯的代碼結果相當于:
int init(void) { *output =9; }
這明顯是不符合我們的設計意圖的,
不僅僅是寫操作,讀操作亦是如此,如果你需要反復讀取一個暫存器的值,那么編譯器在優化只有讀取1次,這時候就該使用volatile通知編譯器在遇到此變數時候不要優化,在這里多說一句,我們這里說的是編譯器,且是嵌入式方面的,不同的編譯器會有不同結果,所以上面的例子并非是在不同的編譯器必現的,但是在嵌入式領域反復訪問硬體暫存器,加上volatile是有必要的,
中斷服務程式
在斷服務程式中修改的供其它程式檢測的變數,需要加volatile,中斷是會突然發生的,當變數在觸發某中斷程式中修改,而編譯器判斷主函式里面沒有修改該變數,因此可能只執行一次從記憶體到某暫存器的讀操作,而后每次只會從該暫存器中讀取變數副本,使得中斷程式的操作被短路,加上volatile修飾,內核每次都會小心的從該變數存盤的記憶體中重新讀取資料,而不是從已經加載到內核暫存器中的值,
RTOS系統下需要注意
這個問題本質上和上一個是一樣的,都是為了防止內核從暫存器中讀取變數的值,而不是從變數存盤的記憶體讀取,特別是具有搶占屬性的RTOS,本質上也是中斷時,緊急的任務立即打斷了正在執行的任務,“類似”于中斷,如果有同學了解RTOS的話,可以想一下RTOS的臨界區的概念,都是為了保護變數,這里不再對RTOS進行詳述,如果有同學了解Linux的話,那就更好了,volatile的作用和linux的原子操作是差不過的,這里也不再詳述,只是發散一下思維,
3、volatile問題
volatile在面試中是非常容易見到的,下面總結一下常見的
1.一個引數既可以是const還可以是volatile嗎?
可以的,例如只讀的狀態暫存器,它是volatile因為它可能被意想不到地改變,它是const因為程式不應該試圖去修改它,
2.一個指標可以是volatile嗎?
可以,當一個中服務子程式修改一個指向buffer的指標時,
3.下面的函式有什么錯誤?
int square(volatile int*ptr) { return*ptr * *ptr; }
該程式的目的是用來返指標*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; }
注意:頻繁地使用volatile很可能會增加可執行檔案的大小和降低性能,因此要合理的使用volatile,不能濫用volatile,
4、總結
volatile 關鍵字是一種型別修飾符,它的總結如下
- 使用volatile關鍵字修飾的變數,可以避免編譯器優化,遇到這個關鍵字宣告的變數,編譯器對訪問該變數的代碼就不再進行優化,從而可以提供對特殊地址的穩定訪問,
- 使用volatile關鍵字修飾的變數,每次都是重新讀取記憶體中的值,而不是使用保存在暫存器里的值了;在中斷,RTOS,硬體訪問多用到,
- 頻繁地使用volatile很可能會增加可執行檔案的大小和降低性能,因此要合理的使用volatile,不能濫用volatile,
嵌入式系統程式員經常同硬體、中斷、RTOS等等打交道,這是區分C程式員和嵌入式系統程式員的最基本的問題,所以在嵌入式應用中這些要求使用volatile變數,不懂得volatile的話可能將會帶來災難,
點擊查看:C語言進階專輯
轉載請註明出處,本文鏈接:https://www.uj5u.com/caozuo/435319.html
標籤:其他
上一篇:在kali上安裝破解AWVS
