程序設(shè)計(jì)語(yǔ)言原理(編輯修改稿)
2025-08-16 07:03 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ex) …… .. end Prcedure READER Begin …… wait(mutex) read the database//臨界區(qū) sigal(mutex) …… .. end 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 15頁(yè) 返回 設(shè)初值 :mutex=1 第 7章 時(shí)間段 READER WRITER 1 wait(mutex)s=0 2 READER占有資源 wait(mutex) 3 signal (mutex) WRITER進(jìn)入隊(duì)列 4 WRITER占有資源 5 signal (mutex)s=1 時(shí)間段 READER WRITER 1 wait(mutex)s=0 2 READER占有資源 3 signal (mutex) s=1 4 wait(mutex) s=0 5 WRITER占有資源 6 signal (mutex) s=1 第一種情況 第二種情況（沒(méi)有等待） 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 16頁(yè) 返回 生產(chǎn)者 — 消費(fèi)者： （ 增加一個(gè)信號(hào)量 ， 并設(shè)正確的初值可以保證生產(chǎn)者消費(fèi)者交替進(jìn)行 ） OK:=0。 fin:=1。 第 7章 procedure PRODUCER begin while 還有數(shù)據(jù)輸入 do wait (fin) 將數(shù)據(jù)存入緩沖區(qū)中 signal (ok) endwhile end。 procedure CONSUMER begin loop waite(ok) 從緩沖區(qū)取出數(shù)據(jù) signal(fin) end loop end。 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 17頁(yè) 返回 二 、 管程： 信號(hào)量的不足： （ 1） 信號(hào)量過(guò)于簡(jiǎn)單 ， 只適用于從不犯錯(cuò)的理想情況 ， 不正確地使用信號(hào)量的后果是不堪設(shè)想的 。 A、 如果顛倒了 wait和 signal語(yǔ)句的順序 ， 就可能有多個(gè)進(jìn)程進(jìn)入臨界區(qū)中 。 B、 如果錯(cuò)誤地把該用 signal的地方誤用了 wait， 就可能發(fā)生死鎖 。 第 7章 一個(gè)出現(xiàn)死鎖的例子： process PROCESS_1。 begin …… wait(s1)。 …… wait(s2)。 …… end PROCESS_1。 process PROCESS_2。 begin …… wait(s2)。 …… wait(s1)。 ……. end PROCESS_2。 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 18頁(yè) 返回 （ 2） 編譯程序無(wú)法知道信號(hào)量的初始值是否正確 ， 也無(wú)法判斷共享變量是否在臨界區(qū)外被訪問(wèn) 。 （ 3） 使用信號(hào)量時(shí) ， 每個(gè)進(jìn)程都有一段臨界區(qū)代碼 ， 這個(gè)臨時(shí)區(qū)代碼分散在不同的進(jìn)程中 ， 用 wait(s)和signal(s)括起來(lái) ， 程序員要掌握這些代碼的出現(xiàn)和作用 ，不適應(yīng)結(jié)構(gòu)化程序設(shè)計(jì) 。 第 7章 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 19頁(yè) 返回 管程的概念： modula語(yǔ)言和 并發(fā) Pascal(concurrent pascal)中用 。 管程是把所有與共享數(shù)據(jù)訪問(wèn)有關(guān)的同步控機(jī)制和同步處理代碼收集到一個(gè)模塊中 ， 并獨(dú)立于各進(jìn)程 。 （ 1） 互斥性：任何時(shí)刻只能有一個(gè)進(jìn)程訪問(wèn)管理中的一個(gè)過(guò)程 。 （ 2） 封裝性：一個(gè)管程內(nèi)的過(guò)程只能訪問(wèn)局部于該管程的變量和過(guò)程 ， 同時(shí)管程中的局部數(shù)據(jù)不能在管程之外訪問(wèn) 。 （ 3） 同步性：一個(gè)進(jìn)程一旦允許訪問(wèn)一個(gè)管程 ， 管程的共享資源歸它所有 。 第 7章 2022年 8月 17日 6時(shí) 28分 程序設(shè)計(jì)語(yǔ)言原理 第 20頁(yè) 返回 管程的定義 （ 說(shuō)明 ） ：如同抽象數(shù)據(jù)類型 第 7章 monitor(名字 )
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1