管程的概念主要內(nèi)容一、為什么要引入管程二、管程的定義三、管程的屬性四、管程語(yǔ)法形式五、管程結(jié)構(gòu)一、為什么要引入管程（1）把分散在各進(jìn)程中的臨界區(qū)集中起來(lái)進(jìn)行管理；（2）防止進(jìn)程有意、無(wú)意的違法同步操作；（3）便于用高級(jí)語(yǔ)言書(shū)寫程序和程序正確性驗(yàn)證。二、管程的定義管程是由局部于自己的代表共享資源的公共變量和訪問(wèn)公共變量的具有同步及互斥功能的過(guò)程組成的共享資源管理軟件模塊。管程組成部分局部于管程的共享變量對(duì)局部于管程的變量進(jìn)行初始化的語(yǔ)句對(duì)共享變量進(jìn)行操作的一組過(guò)程三、管程的屬性（1）共享性管程可被系統(tǒng)范圍內(nèi)的進(jìn)程互斥訪問(wèn)，屬于共享資源（2）安全性管程的局部變量只能由管程的過(guò)程訪問(wèn)，不允許進(jìn)程或其它管程直接訪問(wèn)，管程也不能訪問(wèn)非局部于它的變量（3）互斥性多個(gè)進(jìn)程對(duì)管程的訪問(wèn)是互斥的。任一時(shí)刻，管程中只能有一個(gè)活躍進(jìn)程（4）封裝性管程內(nèi)的變量是私有的，只能在管程內(nèi)使用，管程內(nèi)的過(guò)程也只能使用管程內(nèi)的變量。進(jìn)程通過(guò)調(diào)用管程的過(guò)程使用臨界資源四、管程語(yǔ)法形式type管程名=monitor{

局部變量說(shuō)明；

條件變量說(shuō)明；

初始化語(yǔ)句；define管程內(nèi)定義的、管程外可調(diào)用的過(guò)程或函數(shù)名列表；use管程外定義的，管程內(nèi)將調(diào)用的過(guò)程或函數(shù)名列表；過(guò)程名/函數(shù)名(形式參數(shù)表){ <過(guò)程/函數(shù)體>；}過(guò)程名/函數(shù)名(形式參數(shù)表){ <過(guò)程/函數(shù)體>；}}…管程的實(shí)質(zhì)封裝數(shù)據(jù)和操作的對(duì)象五、管程結(jié)構(gòu)管程結(jié)構(gòu)局部變量和條件變量組成管程內(nèi)的數(shù)據(jù)結(jié)構(gòu)初始化代碼對(duì)管程內(nèi)的變量進(jìn)行初始化過(guò)程/函數(shù)1~過(guò)程/函數(shù)k組成管程內(nèi)的一組過(guò)程，對(duì)管程內(nèi)的變量進(jìn)行操作局部變量條件變量過(guò)程/函數(shù)1…過(guò)程/函數(shù)k初始化代碼等待進(jìn)入管程的進(jìn)程隊(duì)列條件變量c1管理的資源等待隊(duì)列條件變量cn管理的資源等待隊(duì)列緊急等待隊(duì)列管程入口signalwait(cn)wait(c1)管程管程等待區(qū)域…（1）管程入口處的等待隊(duì)列管程是互斥進(jìn)入的，當(dāng)一個(gè)進(jìn)程試圖進(jìn)入一個(gè)已被占用的管程時(shí)，它需在管程入口處隊(duì)列中等待。（2）管程內(nèi)的資源等待隊(duì)列管程是用于管理資源的，進(jìn)入管程的進(jìn)程等待資源時(shí)加入資源等待隊(duì)列，該隊(duì)列由條件變量維護(hù)。資源等待隊(duì)列可以有多個(gè)，每種資源一個(gè)隊(duì)列。管程各部件說(shuō)明（3）條件變量條件變量（如名稱為c）是管程內(nèi)對(duì)共享資源進(jìn)行同步訪問(wèn)的一種數(shù)據(jù)類型，只有在管程中才能被訪問(wèn)，它對(duì)管程內(nèi)的所有過(guò)程是全局的，只能通過(guò)兩個(gè)原語(yǔ)操作來(lái)控制它。c.wait()調(diào)用進(jìn)程阻塞并移入與條件變量c相關(guān)的資源隊(duì)列中，并釋放管程，直到另一個(gè)進(jìn)程在條件變量c上執(zhí)行signal()喚醒等待進(jìn)程并將其移出條件變量c隊(duì)列。c.signal()c.wait()如果存在其他進(jìn)程由于對(duì)條件變量c執(zhí)行wait()而被阻塞，則釋放之；如果沒(méi)有進(jìn)程在等待，那么，信號(hào)被丟棄。c.signal()條件變量與P、V操作中信號(hào)量的區(qū)別條件變量是一種非計(jì)數(shù)信號(hào)量，維護(hù)隊(duì)列時(shí)不對(duì)其中的等待進(jìn)程計(jì)數(shù)。因此在使用條件變量x時(shí)，通常需要定義一個(gè)與之配套使用的整型變量x-count用于記錄條件變量x所維護(hù)等待隊(duì)列中的進(jìn)程數(shù)。P、V操作中的計(jì)數(shù)信號(hào)量不僅維護(hù)相關(guān)隊(duì)列，而且記錄隊(duì)列中進(jìn)程數(shù)。（4）管程內(nèi)的緊急等待隊(duì)列當(dāng)管程內(nèi)的進(jìn)程P喚醒等待隊(duì)列中的另一個(gè)進(jìn)程Q時(shí)，管程中便存在兩