青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品

volatile

盡管C和C++標(biāo)準(zhǔn)對(duì)于線程都明顯的“保持沉默”，但它們以volatile關(guān)鍵字的形式，確實(shí)為多線程保留了一點(diǎn)特權(quán)。
 就象大家更熟悉的const一樣，volatile是一個(gè)類型修飾符（type modifier）。
它是被設(shè)計(jì)用來(lái)修飾被不同線程訪問(wèn)和修改的變量。
如果沒(méi)有volatile，基本上會(huì)導(dǎo)致這樣的結(jié)果：要么無(wú)法編寫(xiě)多線程程序，要么編譯器失去大量?jī)?yōu)化的機(jī)會(huì)。

上面代碼中Gadget::Wait的目的是每過(guò)一秒鐘去檢查一下flag_成員變量，當(dāng)flag_被另一個(gè)線程設(shè)為true時(shí)，該函數(shù)才會(huì)返回。
然而，這個(gè)Wait函數(shù)是錯(cuò)誤的。
假設(shè)編譯器發(fā)現(xiàn)Sleep(1000)是調(diào)用一個(gè)外部的庫(kù)函數(shù)，它不會(huì)改變成員變量flag_，那么編譯器就可以斷定它可以把flag_緩存在寄存器中，以后可以訪問(wèn)該寄存器來(lái)代替訪問(wèn)較慢的主板上的內(nèi)存。
這對(duì)于單線程代碼來(lái)說(shuō)是一個(gè)很好的優(yōu)化，但是在現(xiàn)在這種情況下，
它破壞了程序的正確性：當(dāng)你調(diào)用了某個(gè)Gadget的Wait函數(shù)后，即使另一個(gè)線程調(diào)用了Wakeup，Wait還是會(huì)一直循環(huán)下去。
這是因?yàn)閒lag_的改變沒(méi)有反映到緩存它的寄存器中去。編譯器的優(yōu)化未免有點(diǎn)太……樂(lè)觀了。

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

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

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