volatile

盡管C和C++標準對于線程都明顯的“保持沉默”，但它們以volatile關鍵字的形式，確實為多線程保留了一點特權。
 就象大家更熟悉的const一樣，volatile是一個類型修飾符（type modifier）。
它是被設計用來修飾被不同線程訪問和修改的變量。
如果沒有volatile，基本上會導致這樣的結果：要么無法編寫多線程程序，要么編譯器失去大量優化的機會。

上面代碼中Gadget::Wait的目的是每過一秒鐘去檢查一下flag_成員變量，當flag_被另一個線程設為true時，該函數才會返回。
然而，這個Wait函數是錯誤的。
假設編譯器發現Sleep(1000)是調用一個外部的庫函數，它不會改變成員變量flag_，那么編譯器就可以斷定它可以把flag_緩存在寄存器中，以后可以訪問該寄存器來代替訪問較慢的主板上的內存。
這對于單線程代碼來說是一個很好的優化，但是在現在這種情況下，
它破壞了程序的正確性：當你調用了某個Gadget的Wait函數后，即使另一個線程調用了Wakeup，Wait還是會一直循環下去。
這是因為flag_的改變沒有反映到緩存它的寄存器中去。編譯器的優化未免有點太……樂觀了。

在大多數情況下，把變量緩存在寄存器中是一個非常有價值的優化方法，如果不用的話很可惜。
C和C++給你提供了顯式禁用這種緩存優化的機會。如果你聲明變量是使用了volatile修飾符，
編譯器就不會把這個變量緩存在寄存器里——每次訪問都將去存取變量在內存中的實際位置。

這樣你要對Gadget的Wait/Wakeup做的修改就是給flag_加上正確的修飾：

posted on 2008-10-13 17:27 Randy 閱讀(192) 評論(0)  編輯 收藏 引用