C 語言 volatile 關鍵字深度解析：從嵌入式到多執行緒

核心定義

volatile 告訴編譯器：「這個變數可能在編譯器無法感知的情況下被修改，請每次存取都直接讀寫記憶體，不要優化成暫存器快取。」

典型應用場景

經典錯誤示範

/* 錯誤：編譯器可能將 flag 載入暫存器，while 變無限迴圈 */
int flag = 0;
void wait_flag(void) {
    while (flag == 0);  // 若 flag 在暫存器，ISR 修改記憶體無效
}

/* 正確 */
volatile int flag = 0;
void wait_flag(void) {
    while (flag == 0);  // 每次迴圈皆從記憶體讀取
}

volatile vs 原子性 vs 記憶體屏障

• volatile ≠ 原子性：volatile int i; i++; 仍非原子，需 atomic_inc 或鎖。
• volatile ≠ Memory Barrier：不保証指令重排序；需 __sync_synchronize()、memory_barrier() 或 C11 atomic_thread_fence。
• 內嵌組語 "memory" clobber：GCC 擴展，強制編譯器將暫存器回寫記憶體、不重排序跨越該 asm 區塊。

編譯器優化視角

資料流分析會進行「常數傳播」、「死碼消除」、「暫存器分配」。volatile 變數會被標記為「可能有副作用」，阻擋上述優化：

1. 不緩存於暫存器跨語句。
2. 不做常數摺疊（if (v > 0) 不會被視為恆真）。
3. 不刪除「寫後未讀」的賦值（對 MMIO 至關重要）。

最佳實務

• 僅在必要處使用，過度使用降低效能。
• 搭配 atomic_*、鎖、記憶體屏障解決同步問題，volatile 僅解決「可見性」。
• DSP/單晶片專案建議：所有硬體相關變數、ISR 共享旗標、RTOS 任務間旗標全加 volatile。