進(jìn)程同步典型例題(操作系統(tǒng))-展示頁(yè)
2025-06-16 23:06本頁(yè)面
【正文】 main(){ Driver()。Conductor： Repeat關(guān)車(chē)門(mén)； Signal(s1)。 Driver： Repeat Wait (s1)。Conductor： Repeat關(guān)車(chē)門(mén)； 售票； 開(kāi)車(chē)門(mén)； Until false。請(qǐng)用信號(hào)量來(lái)實(shí)現(xiàn)司機(jī)與售票員之間的同步。進(jìn)程同步練習(xí)題1. 在公共汽車(chē)上，司機(jī)和售票員的工作流程如圖所示。為保證乘客的安全，司機(jī)和售票員應(yīng)密切配合協(xié)調(diào)工作。圖 司機(jī)和售票員工作流程圖① 約束：怎么密切配合協(xié)調(diào)工作才能保證安全呢？a) 關(guān)車(chē)門(mén)之后再啟動(dòng)車(chē)輛；利用前驅(qū)圖解釋b) 到站停車(chē)之后再開(kāi)車(chē)門(mén)；② 根據(jù)約束定義信號(hào)量；關(guān)車(chē)門(mén)和啟動(dòng)車(chē)輛需要一個(gè)信號(hào)量進(jìn)行同步S1；到站停車(chē)和開(kāi)車(chē)門(mén)之間需要一個(gè)信號(hào)量進(jìn)行同步S2；③ 建立幾個(gè)進(jìn)程呢？a) 為司機(jī)建立一個(gè)進(jìn)程Driver；b) 為售票員建立一個(gè)進(jìn)程Conductor；Driver： Repeat 啟動(dòng)車(chē)輛；正常行駛； 到站停車(chē)； Until false。④ 加入同步關(guān)系：Var s1,s2:semorphore=0,0。 啟動(dòng)車(chē)輛；正常行駛； 到站停車(chē)； Signal(s2) Until false。 售票；Wait(s2) 開(kāi)車(chē)門(mén)； Until false。 Conductor ()。爸爸專向盤(pán)子中放蘋(píng)果，媽媽專向盤(pán)子中放橘子，一個(gè)兒子專等吃盤(pán)子中的橘子，一個(gè)女兒專等吃盤(pán)子中的蘋(píng)果。分析：①約束：a) 爸爸和媽媽競(jìng)爭(zhēng)盤(pán)子，往盤(pán)子放水果，爸爸在放時(shí)，媽媽等待，或者相反；b) 爸爸和女兒要同步，即爸爸放完蘋(píng)果之后通知女兒來(lái)吃；同時(shí)女兒吃完之后要通知盤(pán)子可用；c) 媽媽和兒子要同步，即媽媽放完橘子之后通知兒子來(lái)吃；同時(shí)兒子吃完之后要通知盤(pán)子可用；② 經(jīng)上述分析可知： 需要3個(gè)信號(hào)量：S1表示臨界資源盤(pán)子，初值1；爸爸和女兒需要一個(gè)信號(hào)量進(jìn)行同步S2=0媽媽和兒子需要一個(gè)信號(hào)量進(jìn)行同步S3=0。 Until false。 Until false。爸爸： 媽媽： 女兒： 兒子： Repeat repeat repeat repeat wait(S2)。 取一個(gè)蘋(píng)果； 取一個(gè)橘子； 從盤(pán)子取一個(gè)蘋(píng)果； 從盤(pán)子取一個(gè)橘子； Wait(S1)。 signal(S1)。 放入盤(pán)子； 放入盤(pán)子 吃蘋(píng)果； 吃橘子； Signal(S2)。 Until false。 Until false。3. a，b兩點(diǎn)之間是一段東西向的單行車(chē)道，現(xiàn)要設(shè)計(jì)一個(gè)自動(dòng)管理系統(tǒng)，管理規(guī)則如下：（1）當(dāng)ab之間有車(chē)輛在行駛時(shí)同方向的車(chē)可以同時(shí)駛?cè)隺b段，但另一方向的車(chē)必須在ab段外等待；（2）當(dāng)ab之間無(wú)車(chē)輛在行駛時(shí)，到達(dá)a點(diǎn)（或b點(diǎn)）的車(chē)輛可以進(jìn)入ab段，但不能從a點(diǎn)和b點(diǎn)同時(shí)駛?cè)?；?）當(dāng)某方向在ab段行駛的車(chē)輛駛出了ab段且暫無(wú)車(chē)輛進(jìn)入ab段時(shí)，應(yīng)讓另一方向等待的車(chē)輛進(jìn)入ab段行駛。分析：① 約束：a) ab兩點(diǎn)的單行車(chē)道是一種臨界資源；兩端的車(chē)輛對(duì)該資源進(jìn)行競(jìng)爭(zhēng)；b) 同步關(guān)系：（1），（3）；② 經(jīng)上述分析可知：首先，設(shè)置互斥信號(hào)量Sab=1，用于a、b點(diǎn)的車(chē)輛互斥進(jìn)入ab段；然后，分別設(shè)置共享變量ab=0用于記錄當(dāng)前ab段上由a點(diǎn)進(jìn)入的車(chē)輛數(shù)量；共享變量ba=0用于記錄當(dāng)前ab=段上由b點(diǎn)進(jìn)入車(chē)輛的數(shù)量；最后，設(shè)置互斥信號(hào)量S1=1用于ab段的車(chē)輛互斥訪問(wèn)共享變量ab；設(shè)置互斥信號(hào)量S2=1用于ba段的車(chē)輛互斥訪問(wèn)共享變量ba③建立進(jìn)程？semaphore S1=1,S2=1,Sab=1。Pab： pba：Repeat repeatWait(S1) Wait(s2)abcount=abcount+1。if abcount==1 then wait(sab) if bacount==1 then wait(sab)signal(S1) signal(s2)進(jìn)入車(chē)道行駛； 進(jìn)入車(chē)道行駛；Wait(s1) Wait(s2)abcount=abcount1。if abcount==0
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號(hào)-1