一、簡(jiǎn)介

volatile是java語(yǔ)言的關(guān)鍵字，用來(lái)修飾可變變量(即該變量不能被final修飾)，且必須是至少類內(nèi)可見(jiàn)。所以它是可以修飾帶static的變量。這我自己下定義。

它是被設(shè)計(jì)用來(lái)修飾被不同線程訪問(wèn)和修改的變量。來(lái)自 百度百科

二、功能

volatile提供了一個(gè)高效的同步機(jī)制，她在某些情況下可以代替synchronized實(shí)現(xiàn)更輕量和高效的同步機(jī)制，同時(shí)也更為脆弱，更難于掌控。被volatile修飾的變量具有內(nèi)存可見(jiàn)性，但不具有原子性。至于什么是可見(jiàn)性，前面已經(jīng)做過(guò)簡(jiǎn)單介紹，接下來(lái)我們進(jìn)一步來(lái)看什么是可見(jiàn)性。

1. 內(nèi)存可見(jiàn)性

首先為什么會(huì)出現(xiàn)內(nèi)存可見(jiàn)性問(wèn)題呢？ 想完全理解這個(gè)問(wèn)題，請(qǐng)自行閱讀《深入理解計(jì)算機(jī)系統(tǒng)》吧！這里簡(jiǎn)單說(shuō)一下，

每個(gè)線程都有它自己的線程上下文，包括棧、棧指針、程序計(jì)數(shù)器、通用目的寄存器和條件碼。所有的運(yùn)行在一個(gè)進(jìn)程里的共享該進(jìn)程的整個(gè)虛擬地址空間。——來(lái)自《深入理解計(jì)算機(jī)系統(tǒng)》

下面這個(gè)說(shuō)法可能并不嚴(yán)謹(jǐn)，甚至是有誤，但對(duì)我們理解這個(gè)問(wèn)題有幫忙。 如你所知，所有計(jì)算都發(fā)生CPU，然而它直接操作主存的效果比較遠(yuǎn)，不如CPU的緩存區(qū)，更遠(yuǎn)不如寄存器。其次，如上面所有的系統(tǒng)會(huì)為每個(gè)線程分配自己的線程上下文。在這兩個(gè)大提前下，可能簡(jiǎn)化的理解為線程有自己的高速cache，即所有線程操作變量時(shí)，都不會(huì)直接操作主存。當(dāng)發(fā)生cache miss時(shí)，從主存拷貝到cache，這些都是你懂的啦。跟所有的cache一樣，都存在一致性的問(wèn)題。

即是正常情況下什么時(shí)候發(fā)生cache沖刷回主存并不可控。 不正常情況下，退出臨界區(qū)時(shí)即刻強(qiáng)制更新主存。另一種情況，即我們要討論的volatile。被volatile修飾的變量比較特殊，表示直接操作主存，不需要通過(guò)cache。直接要用時(shí)直接從主存取（注意取出來(lái)還是會(huì)把值放在自己的上下文，這點(diǎn)后面需要用到），用完寫(xiě)直接回主存。這就是內(nèi)存可見(jiàn)性。

2. 可不完全替代synchronized

之前整理synchronized的時(shí)候忘了講synchronized怎么實(shí)現(xiàn)同步的，在這里順便帶出來(lái)吧。 synchronized是通過(guò)臨界區(qū)實(shí)現(xiàn)同步的，臨界區(qū)的同步方式是同一個(gè)時(shí)間只有最多一個(gè)線程進(jìn)入臨界區(qū)，也就是說(shuō)只能保證原臨界區(qū)具有原子性。這是什么意思呢，先來(lái)看一下面例子吧。