34管程-資料下載頁
2025-10-03 16:37本頁面
【導(dǎo)讀】把分散在各進程中的臨界區(qū)集中。防止進程有意或無意的違法同步。便于用高級語言來書寫程序，也。便于程序正確性驗證。管程是由局部于自己的若。<管程變量說明>;use<過程名列表>；<管程的局部數(shù)據(jù)初始化語句>；另一個進程可以通過對其伙伴在等。兩個進程同時停留在管程內(nèi)。被釋放進程等待，直到執(zhí)行signal的。程定義的是私有數(shù)據(jù)結(jié)構(gòu)；管程是為管理共享資源而建立的，現(xiàn)系統(tǒng)并發(fā)性而引入的；并行工作，而進程之間能并行工作，并發(fā)性是其固有特性；管程是語言或操作系統(tǒng)的成分，不。由創(chuàng)建而產(chǎn)生至撤銷便消亡?；魻柗椒ㄊ褂肞和V操作原語來實。不要求signal操作是過程體的最。作可被設(shè)計成可以中斷的過程。對每個管程，使用用于管程中過程互斥。對每個管程，引入信號量next（初值。進程在退出管程的過程前，須檢查是。若有，則用V喚醒它。源得不到滿足時，執(zhí)行P掛起。值為0）記錄等待資源的進程數(shù)。
【正文】 M)。 end。 procedure endwrite。 begin check(IM)。 wc := wc 1。 if wc0 then signal(W,IM)。 else signal(R, IM)。 release(IM)。 end。 漢森方法實現(xiàn)讀者寫者問題 (5) 初始化語句 begin rc := 0。 wc := 0。 R := 0。 W := 0。 end。 漢森方法實現(xiàn)讀者寫者問題 (6) ? cobegin ? process reader ? begin ? …… ? call 。 ? read。 ? …… ? call 。 ? end。 ? process writer ? begin ? …… ? call 。 ? write。 ? …… ? call 。 ? end。 ? coend。 漢森方法實現(xiàn) 蘋果橘子 問題 (1) 桌上有一只盤子 ， 每次只能放入一只水果 ， 爸爸專向盤中放蘋果 ， 媽媽專向盤中放橘子 ， 一個兒子專吃盤中橘子 ， 一個女兒專吃盤中蘋果 漢森方法實現(xiàn) 蘋果橘子 問題 (2) ? TYPE FMSD = MONITOR ? var plate : (apple, orange)。 ? full : boolean。 ? SP, SS, SD : semaphore。 ? define put, get。 ? use wait, signal, check, release。 漢森方法實現(xiàn) 蘋果橘子 問題 (3) ? procedure put(var fruit:(apple, orange))。 ? begin ? check(IM)。 ? if full then wait(SP,IM)。 ? full := true。 ? plate := fruit。 ? if fruit=orange ? then signal(SS,IM)。 ? else signal(SD,IM)。 ? release(IM)。 ? end。 漢森方法實現(xiàn) 蘋果橘子 問題 (4) ? procedure get(varfruit:(apple,orange),x:plate)。 ? begin ? check(IM)。 ? if not full or platefruit ? then begin ? if fruit = orange ? then wait(SS,IM)。 ? else wait(SD,IM)。 ? end。 ? x := plate。 ? full := false。 ? signal(SP, IM)。 ? release(IM)。 ? end。 漢森方法實現(xiàn) 蘋果橘子 問題 (5) 初始化語句 begin full := false。 SP := 0。 SS := 0。 SD := 0。 end。 漢森方法實現(xiàn) 蘋果橘子 問題 (6) ? cobegin ? process father ? begin ? …… ? 準備好蘋果 。 ? call (apple)。 ? end。 ? process mother ? begin ? …… ? 準備好桔子 。 ? call (orange)。 ? end。 漢森方法實現(xiàn) 蘋果橘子 問題 (7) ? process son ? begin ? …… ? call (orange,x)。 ? 吃取到的桔子 。 ? …… ? end。 ? process daughter ? begin ? …… ? call (apple,x)。 ? 吃取到的蘋果 。 ? end。 ? coend。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1