一、Lock與Synchronized區(qū)別 Java中可以使用Lock和Synchronized的可以實(shí)現(xiàn)對某個共享資源的同步,同時也可以實(shí)現(xiàn)對某些過程的原子性操作。 Lock可以使用Condition進(jìn)行線程之間的調(diào)度,Synchronized則使用Object對象本身的notify, wait, notityAll調(diào)度機(jī)制,這兩種調(diào)度機(jī)制有什么異同呢? Condition是Java5以后出現(xiàn)的機(jī)制,它有更好的靈活性,而且在一個對象里面可以有多個Condition(即對象監(jiān)視器),則線程可以注冊在不同的Condition,從而可以有選擇性的調(diào)度線程,更加靈活。 Synchronized就相當(dāng)于整個對象只有一個單一的Condition(即該對象本身)所有的線程都注冊在它身上,線程調(diào)度的時候之后調(diào)度所有得注冊線程,沒有選擇權(quán),會出現(xiàn)相當(dāng)大的問題 。 所以,Lock 實(shí)現(xiàn)提供了比使用 synchronized 方法和語句可獲得的更廣泛的鎖定操作。此實(shí)現(xiàn)允許更靈活的結(jié)構(gòu),可以具有差別很大的屬性,可以支持多個相關(guān)的 Condition 對象。 鎖是控制多個線程對共享資源進(jìn)行訪問的工具。通常,鎖提供了對共享資源的獨(dú)占訪問。一次只能有一個線程獲得鎖,對共享資源的所有訪問都需要首先獲得鎖。不過,某些鎖可能允許對共享資源并發(fā)訪問,如 ReadWriteLock 的讀取鎖。 synchronized 方法或語句的使用提供了對與每個對象相關(guān)的隱式監(jiān)視器鎖的訪問,但卻強(qiáng)制所有鎖獲取和釋放均要出現(xiàn)在一個塊結(jié)構(gòu)中:當(dāng)獲取了多個鎖時,它們必須以相反的順序釋放,且必須在與所有鎖被獲取時相同的詞法范圍內(nèi)釋放所有鎖。 雖然 synchronized 方法和語句的范圍機(jī)制使得使用監(jiān)視器鎖編程方便了很多,而且還幫助避免了很多涉及到鎖的常見編程錯誤,但有時也需要以更為靈活的方式使用鎖。例如,某些遍歷并發(fā)訪問的數(shù)據(jù)結(jié)果的算法要求使用 “hand-over-hand” 或 “chain locking”:獲取節(jié)點(diǎn) A 的鎖,然后再獲取節(jié)點(diǎn) B 的鎖,然后釋放 A 并獲取 C,然后釋放 B 并獲取 D,依此類推。Lock 接口的實(shí)現(xiàn)允許鎖在不同的作用范圍內(nèi)獲取和釋放,并允許以任何順序獲取和釋放多個鎖,從而支持使用這種技術(shù)。 二、java.util.concurrent.locks類結(jié)構(gòu) 上圖中,LOCK的實(shí)現(xiàn)類其實(shí)都是構(gòu)建在AbstractQueuedSynchronizer上,為何圖中沒有用UML線表示呢,這是每個Lock實(shí)現(xiàn)類都持有自己內(nèi)部類Sync的實(shí)例,而這個Sync就是繼承AbstractQueuedSynchronizer(AQS)。為何要實(shí)現(xiàn)不同的Sync呢?這和每種Lock用途相關(guān)。另外還有AQS的State機(jī)制。 基于AQS構(gòu)建的Synchronizer包括ReentrantLock,Semaphore,CountDownLatch, ReetrantRead WriteLock,FutureTask等,這些Synchronizer實(shí)際上最基本的東西就是原子狀態(tài)的獲取和釋放,只是條件不一樣而已。 ReentrantLock:需要記錄當(dāng)前線程獲取原子狀態(tài)的次數(shù),如果次數(shù)為零,那么就說明這個線程放棄了鎖(也有可能其他線程占據(jù)著鎖從而需要等待),如果次數(shù)大于1,也就是獲得了重進(jìn)入的效果,而其他線程只能被park住,直到這個線程重進(jìn)入鎖次數(shù)變成0而釋放原子狀態(tài)。以下為ReetranLock的FairSync的tryAcquire實(shí)現(xiàn)代碼解析: Semaphore:則是要記錄當(dāng)前還有多少次許可可以使用,到0,就需要等待,也就實(shí)現(xiàn)并發(fā)量的控制,Semaphore一開始設(shè)置許可數(shù)為1,實(shí)際上就是一把互斥鎖。以下為Semaphore的FairSync實(shí)現(xiàn): CountDownLatch:閉鎖則要保持其狀態(tài),在這個狀態(tài)到達(dá)終止態(tài)之前,所有線程都會被park住,閉鎖可以設(shè)定初始值,這個值的含義就是這個閉鎖需要被countDown()幾次,因?yàn)槊看蜟ountDown是sync.releaseShared(1),而一開始初始值為10的話,那么這個閉鎖需要被countDown()十次,才能夠?qū)⑦@個初始值減到0,從而釋放原子狀態(tài),讓等待的所有線程通過。 FutureTask:需要記錄任務(wù)的執(zhí)行狀態(tài),當(dāng)調(diào)用其實(shí)例的get方法時,內(nèi)部類Sync會去調(diào)用AQS的acquireSharedInterruptibly()方法,而這個方法會反向調(diào)用Sync實(shí)現(xiàn)的tryAcquireShared()方法,即讓具體實(shí)現(xiàn)類決定是否讓當(dāng)前線程繼續(xù)還是park,而FutureTask的tryAcquireShared方法所做的唯一事情就是檢查狀態(tài),如果是RUNNING狀態(tài)那么讓當(dāng)前線程park。而跑任務(wù)的線程會在任務(wù)結(jié)束時調(diào)用FutureTask 實(shí)例的set方法(與等待線程持相同的實(shí)例),設(shè)定執(zhí)行結(jié)果,并且通過unpark喚醒正在等待的線程,返回結(jié)果。 以上4個AQS的使用是比較典型,然而有個問題就是這些狀態(tài)存在哪里呢?并且是可以計數(shù)的。從以上4個example,我們可以很快得到答案,AQS提供給了子類一個int state屬性。并且暴露給子類getState()和setState()兩個方法(protected)。這樣就為上述狀態(tài)解決了存儲問題,RetrantLock可以將這個state用于存儲當(dāng)前線程的重進(jìn)入次數(shù),Semaphore可以用這個state存儲許可數(shù),CountDownLatch則可以存儲需要被countDown的次數(shù),而Future則可以存儲當(dāng)前任務(wù)的執(zhí)行狀態(tài)(RUNING,RAN,CANCELL)。其他的Synchronizer存儲他們的一些狀態(tài)。 AQS留給實(shí)現(xiàn)者的方法主要有5個方法,其中tryAcquire,tryRelease和isHeldExclusively三個方法為需要獨(dú)占形式獲取的synchronizer實(shí)現(xiàn)的,比如線程獨(dú)占ReetranLock的Sync,而tryAcquireShared和tryReleasedShared為需要共享形式獲取的synchronizer實(shí)現(xiàn)。 ReentrantLock內(nèi)部Sync類實(shí)現(xiàn)的是tryAcquire,tryRelease, isHeldExclusively三個方法(因?yàn)楂@取鎖的公平性問題,tryAcquire由繼承該Sync類的內(nèi)部類FairSync和NonfairSync實(shí)現(xiàn))Semaphore內(nèi)部類Sync則實(shí)現(xiàn)了tryAcquireShared和tryReleasedShared(與CountDownLatch相似,因?yàn)楣叫詥栴},tryAcquireShared由其內(nèi)部類FairSync和NonfairSync實(shí)現(xiàn))。CountDownLatch內(nèi)部類Sync實(shí)現(xiàn)了tryAcquireShared和tryReleasedShared。FutureTask內(nèi)部類Sync也實(shí)現(xiàn)了tryAcquireShared和tryReleasedShared。 其實(shí)使用過一些JAVA synchronizer的之后,然后結(jié)合代碼,能夠很快理解其到底是如何做到各自的特性的,在把握了基本特性,即獲取原子狀態(tài)和釋放原子狀態(tài),其實(shí)我們自己也可以構(gòu)造synchronizer。如下是一個LOCK API的一個例子,實(shí)現(xiàn)了一個先入先出的互斥鎖。 三、lock與unlock使用 下面是一個場景,針對這個場景提出兩種解決方案。 一個中轉(zhuǎn)站,可以接納貨物,然后發(fā)出貨物,這是需要建一個倉庫,相當(dāng)于一個緩沖區(qū),當(dāng)倉庫滿的時候,不能接貨,倉庫空的時候,不能發(fā)貨。 第一種,用一個Condition去解決,有可能會出問題。
第二種解決方案,用java api中的 一個例子 。 專欄作者簡介 |
|