monitor概念

管程，監(jiān)視器。在操作系統(tǒng)中，存在著semaphore和mutex，即信號(hào)量和互斥量，使用基本的mutex進(jìn)行開發(fā)時(shí)，需要小心的使用mutex的down和up操作，否則容易引發(fā)死鎖問題。為了更好的編寫并發(fā)程序，在mutex和semaphore基礎(chǔ)上，提出了更高層次的同步原語，實(shí)際上，monitor屬于編程語言的范疇，C語言不支持monitor，而java支持monitor機(jī)制。

一個(gè)重要特點(diǎn)是，在同一時(shí)間，只有一個(gè)線程/進(jìn)程能進(jìn)入monitor所定義的臨界區(qū)，這使得monitor能夠?qū)崿F(xiàn)互斥的效果。無法進(jìn)入monitor的臨界區(qū)的進(jìn)程/線程，應(yīng)該被阻塞，并且在適當(dāng)?shù)臅r(shí)候被喚醒。顯然，monitor作為一個(gè)同步工具，也應(yīng)該提供這樣管理線程/進(jìn)程的機(jī)制。

monitor這個(gè)機(jī)制之所以被稱為：更高級(jí)的原語，它不可避免的需要對(duì)外屏蔽這些機(jī)制，并且在內(nèi)部實(shí)現(xiàn)這些機(jī)制，使得monitor成為一個(gè)簡潔易用的借口。

monitor基本元素

• 臨界區(qū)
• monitor對(duì)象和鎖
• 條件變量以及定義在monitor對(duì)象上的wait，signal操作

使用monitor主要是為了互斥進(jìn)入臨界區(qū)，為了能夠阻塞無法進(jìn)入臨界區(qū)的進(jìn)程，線程，需要一個(gè)monitor object來協(xié)助，這個(gè)object內(nèi)部會(huì)有相應(yīng)的數(shù)據(jù)結(jié)構(gòu)，例如列表，用來保存被阻塞的線程；同時(shí)由于monitor機(jī)制本質(zhì)是基于mutex原語的，所以object必須維護(hù)一個(gè)基于mutex的鎖。

此外，為了在適當(dāng)?shù)臅r(shí)候能夠阻塞和喚醒 進(jìn)程/線程，還需要引入一個(gè)條件變量，這個(gè)條件變量用來決定什么時(shí)候是“適當(dāng)?shù)臅r(shí)候”，這個(gè)條件可以來自程序代碼的邏輯，也可以是在 monitor object 的內(nèi)部，總而言之，程序員對(duì)條件變量的定義有很大的自主性。不過，由于 monitor object 內(nèi)部采用了數(shù)據(jù)結(jié)構(gòu)來保存被阻塞的隊(duì)列，因此它也必須對(duì)外提供兩個(gè) API 來讓線程進(jìn)入阻塞狀態(tài)以及之后被喚醒，分別是 wait 和 notify。

monitor在java中的實(shí)現(xiàn)

臨界區(qū)的圈定

被synchronized關(guān)鍵字修飾的方法，代碼塊，就是monitor機(jī)制的臨界區(qū)

monitor object

在上述synchronized關(guān)鍵字被使用時(shí)，往往需要指定一個(gè)對(duì)象與之關(guān)聯(lián)，例如synchronized（this）,總之，synchronized需要管理一個(gè)對(duì)象，這個(gè)對(duì)象就是monitor object。

monitor機(jī)制中，monitor 我不檢測(cè)題充當(dāng)著維護(hù)mutex和wait, signalAPI來管理線程的阻塞和喚醒。

Java 對(duì)象存儲(chǔ)在內(nèi)存中，分別分為三個(gè)部分，即對(duì)象頭、實(shí)例數(shù)據(jù)和對(duì)齊填充，而在其對(duì)象頭中，保存了鎖標(biāo)識(shí)；同時(shí)，java.lang.Object 類定義了 wait()，notify()，notifyAll() 方法，這些方法的具體實(shí)現(xiàn)，依賴于一個(gè)叫 ObjectMonitor 模式的實(shí)現(xiàn)，這是 JVM 內(nèi)部基于 C++ 實(shí)現(xiàn)的一套機(jī)制，基本原理如下所示：

當(dāng)一個(gè)線程需要獲取 Object 的鎖時(shí)，會(huì)被放入 EntrySet 中進(jìn)行等待，如果該線程獲取到了鎖，成為當(dāng)前鎖的 owner。如果根據(jù)程序邏輯，一個(gè)已經(jīng)獲得了鎖的線程缺少某些外部條件，而無法繼續(xù)進(jìn)行下去（例如生產(chǎn)者發(fā)現(xiàn)隊(duì)列已滿或者消費(fèi)者發(fā)現(xiàn)隊(duì)列為空），那么該線程可以通過調(diào)用 wait 方法將鎖釋放，進(jìn)入 wait set 中阻塞進(jìn)行等待，其它線程在這個(gè)時(shí)候有機(jī)會(huì)獲得鎖，去干其它的事情，從而使得之前不成立的外部條件成立，這樣先前被阻塞的線程就可以重新進(jìn)入 EntrySet 去競爭鎖。這個(gè)外部條件在 monitor 機(jī)制中稱為條件變量。

以上就是本文的全部內(nèi)容，希望對(duì)大家的學(xué)習(xí)有所幫助，也希望大家多多支持腳本之家。

最新評(píng)論