【正文】 rmutex。 if readcount=0 then wait(wmutex)。 … wait(rmutex)。 until false。 until false。 Swait(mx,1,0)。 end writer:begin repeat Swait(mx,1,1。 until false。 begin … end。 begin … end。 例如 ， 由于共享數(shù)據(jù)被占用而使調(diào)用進(jìn)程等待 ， 該條件變量的形式為： nonbusy:condition。 因?yàn)?， 后者總是要執(zhí)行 s∶ =s+1操作 ， 因而總會改變信號量的狀態(tài) 。 但是 Hansan卻采用了第一種處理方式。 (1) put(item)過程 。 type producerconsumer=monitor Var in,out,count:integer。 buffer(in) ∶ = nextp。 end procedure entry get(item) begin if count≤0 then 。 if then 。 until false。 end 6 進(jìn) 程 通 信 進(jìn)程通信的類型 1. 共享存儲器系統(tǒng) (SharedMemory System) (1) 基于共享數(shù)據(jù)結(jié)構(gòu)的通信方式。 程序員直接利用系統(tǒng)提供的一組通信命令 (原語 )進(jìn)行通信 。 3. 管道 (Pipe) 所謂 “ 管道 ” ， 是指用于連接一個讀進(jìn)程和一個寫進(jìn)程以實(shí)現(xiàn)他們之間通信的一個共享文件 ， 又名 pipe文件 。 為了協(xié)調(diào)雙方的通信 ， 管道機(jī)制必須提供以下三方面的協(xié)調(diào)能力： ① 互斥 ， 即當(dāng)一個進(jìn)程正在對 pipe執(zhí)行讀 /寫操作時 ， 其它 (另一 )進(jìn)程必須等待 。 消息傳遞通信的實(shí)現(xiàn)方法 1. 這是指發(fā)送進(jìn)程利用 OS所提供的發(fā)送命令 ， 直接把消息發(fā)送給目標(biāo)進(jìn)程 。 接收 Sender 例如 ， 原語 Send(P2, m1)表示將消息 m1發(fā)送給接收進(jìn)程 P2。 對于這樣的應(yīng)用 ， 在接收進(jìn)程接收消息的原語中的源進(jìn)程參數(shù) ， 是完成通信后的返回值 ， 接收原語可表示為： Receive (id, message)。 生產(chǎn)者 消費(fèi)者的通信過程可分別描述如下： repeat … produce an item in nextp。 … consume the item in nextc。 創(chuàng)建者進(jìn)程應(yīng)給出信箱名字 、 信箱屬性 (公用 、私用或共享 )；對于共享信箱 ， 還應(yīng)給出共享者的名字 。 Send(mailbox, message)。 1) 用戶進(jìn)程可為自己建立一個新信箱 ， 并作為該進(jìn)程的一部分 。 2) 它由操作系統(tǒng)創(chuàng)建 ， 并提供給系統(tǒng)中的所有核準(zhǔn)進(jìn)程使用 。 3) 它由某進(jìn)程創(chuàng)建 ， 在創(chuàng)建時或創(chuàng)建后 ， 指明它是可共享的 ， 同時須指出共享進(jìn)程 (用戶 )的名字 。 (2) 多對一關(guān)系 。 (4) 多對多關(guān)系 。 第一種方式是：由發(fā)送進(jìn)程在通信之前 ， 用顯式的 “ 建立連接 ” 命令(原語 )請求系統(tǒng)為之建立一條通信鏈路；在鏈路使用完后 ， 也用顯式方式拆除鏈路 。 根據(jù)通信鏈路的連接方法 ， 又可把通信鏈路分為兩類： ① 點(diǎn) —點(diǎn)連接通信鏈路 ， 這時的一條鏈路只連接兩個結(jié)點(diǎn) (進(jìn)程 )； ② 多點(diǎn)連接鏈路 ， 指用一條鏈路連接多個 (n＞ 2)結(jié)點(diǎn) (進(jìn)程 )。 在有的 OS中 ， 采用另一種變長的消息格式 ， 即進(jìn)程所發(fā)送消息的長度是可變的 。 (2) 發(fā)送進(jìn)程不阻塞、 接收進(jìn)程阻塞。 type message buffer=record sender。 end (2) PCB中有關(guān)通信的數(shù)據(jù)項(xiàng) 。 sm。 由于該隊(duì)列屬于臨界資源 ， 故在執(zhí)行 insert操作的前后 ， 都要執(zhí)行 wait和 signal操作 。 ∶ = 。 insert(, i)。 j wait()。 ∶ = 。 end 7 線 程 線程的基本概念 為使程序能并發(fā)執(zhí)行 ， 系統(tǒng)還必須進(jìn)行以下的一系列操作 。 (4) 共享進(jìn)程資源。 (2) 線程運(yùn)行狀態(tài) 。 它可根據(jù)需要再去創(chuàng)建若干個線程 。 5. 多線程 OS中的進(jìn)程 在多線程 OS中 ， 進(jìn)程是作為擁有系統(tǒng)資源的基本單位 ，通常的進(jìn)程都包含多個線程并為它們提供資源 ， 但此時的進(jìn)程就不再作為一個執(zhí)行的。 在線程創(chuàng)建函數(shù)執(zhí)行完后 ， 將返回一個線程標(biāo)識符供以后使用 。 相應(yīng)地 ， 線程在運(yùn)行時 ， 也具有下述三種基本狀態(tài)：① 執(zhí)行狀態(tài) ， 表示線程正獲得處理機(jī)而運(yùn)行； ② 就緒狀態(tài) ， 指線程已具備了各種執(zhí)行條件 ， 一旦獲得 CPU便可執(zhí)行的狀態(tài)； ③ 阻塞狀態(tài) ， 指線程在執(zhí)行中因某事件而受阻 ， 處于暫停執(zhí)行時的狀態(tài) 。 在 OS中的每一個線程都可以利用線程標(biāo)識符和一組狀態(tài)參數(shù)進(jìn)行描述 。 (2) 獨(dú)立調(diào)度和分派的基本單位。 ∶ = 。 remove(, i)。 signal()。 getid(PCB set, )。 根據(jù) ∶ = 。 發(fā)送原語首先根據(jù)發(fā)送區(qū) a中所設(shè)置的消息長度 區(qū) i， 接著 ， 把發(fā)送區(qū) a中的信息復(fù)制到緩沖區(qū) i中 。 在 PCB type processcontrol block=record … mq。 text。 消息緩沖隊(duì)列通信機(jī)制 1. 消息緩沖隊(duì)列通信機(jī)制中的數(shù)據(jù)結(jié)構(gòu) (1) 消息緩沖區(qū) 。 這兩種消息格式各有其優(yōu)缺點(diǎn) ， 故在很多系統(tǒng) (包括計(jì)算機(jī)網(wǎng)絡(luò) )中 ， 是同時都用的 。 消息的格式 在某些 OS中 ， 消息是采用比較短的定長消息格式 ， 這減少了對消息的處理和存儲開銷 。 第二種方式是發(fā)送進(jìn)程無須明確提出建立鏈路的請求 ， 只須利用系統(tǒng)提供的發(fā)送命令(原語 )， 系統(tǒng)會自動地為之建立一條鏈路 。 消息傳遞系統(tǒng)實(shí)現(xiàn)中的若干問題 1. 通信鏈路 (munication link) 為使在發(fā)送進(jìn)程和接收進(jìn)程之間能進(jìn)行通信 ， 必須在兩者之間建立一條通信鏈路 。 (3) 一對多關(guān)系 。 在利用信箱通信時 ， 在發(fā)送進(jìn)程和接收進(jìn)程之間 ， 存在以 (1) 一對一關(guān)系 。 顯然 ， 公用信箱應(yīng)采用雙向通信鏈路的信箱來實(shí)現(xiàn) 。 這種私用信箱可采用單向通信鏈路的信箱來實(shí)現(xiàn) 。 從指定信箱中接收一個消息； 信箱可由操作系統(tǒng)創(chuàng)建 ， 也可由用戶進(jìn)程創(chuàng)建 ， 創(chuàng)建者是信箱的擁有者 。 (2) 消息的發(fā)送和接收 。 間接通信方式 (1) 信箱的創(chuàng)建和撤消 。 until false。當(dāng)生產(chǎn)者生產(chǎn)出一個產(chǎn)品 (消息 )后 ， 便用 Send原語將消息發(fā)送給消費(fèi)者進(jìn)程；而消費(fèi)者進(jìn)程則利用 Receive原語來得到一個消息 。 在某些情況下 ， 接收進(jìn)程可與多個發(fā)送進(jìn)程通信 ，因此 ， 它不可能事先指定發(fā)送進(jìn)程 。 通常 ， 系統(tǒng)提供下述兩條通信命令 (原語 ) Send(Receiver, message)。 當(dāng)讀進(jìn)程讀一空 pipe時 ， 也應(yīng)睡眠等待 ， 直至寫進(jìn)程將數(shù)據(jù)寫入管道后 ， 才將之喚醒 。 由于發(fā)送進(jìn)程和接收進(jìn)程是利用管道進(jìn)行通信的 ， 故又稱為管道通信 。 消息傳遞系統(tǒng)的通信方式屬于高級通信方式 。 消息傳遞系統(tǒng) (Message passing system) 不論是單機(jī)系統(tǒng) 、 多機(jī)系統(tǒng) ， 還是計(jì)算機(jī)網(wǎng)絡(luò) ， 消息傳遞機(jī)制都是用得最廣泛的一種進(jìn)程間通信的機(jī)制 。 consume the item in nextc。 count ∶ = 0 end 在利用管程解決生產(chǎn)者 消費(fèi)者問題時， 其中的生產(chǎn)者和消費(fèi)者可描述為： producer:begin repeat produce an item in nextp。 out ∶ = (out+1) mod n。 count ∶ = count+1。 notfull, notempty:condition。 (2) get(item)過程 。 (1) put(item)過程 。 (2) Q等待 ， 直至 P離開管程或等待另一條件 。 應(yīng)當(dāng)指出 ， ， 是重新啟動一個被阻塞的進(jìn)程 ， 但如果沒有被阻塞的進(jìn)程 ， 則 何后果 。 end 條件變量 管程中對每個條件變量 ， 都須予以說明 ， 其形式為： Var x, y:condition。 begin … end。 此外 ， 還須為管程賦予一個名字 。 perform write operation。 … Ssignal(L,1)。 L, mx:semaphore ∶ = RN,1。 perform write operation。 if readcount=0 then signal(wmutex)。 signal(rmutex)。 Readcount:integer ∶ = 0。 若 wait(Wmutex)操作成功 ， Reader進(jìn)程便可去讀 ， 相應(yīng)地 ， 做 Readcount+1操作 。 讀者 寫者問題 1. 利用記錄型信號量解決讀者 寫者問題 為實(shí)現(xiàn) Reader與 Writer進(jìn)程間在讀或?qū)憰r的互斥而設(shè)置了一個互斥信號量 Wmutex。 Sswait(chopstick［ (i+1) mod 5］ , chopstick ［ i］ )。即五位哲學(xué)家都先競爭奇數(shù)號筷子 ， 獲得后 ， 再去競爭偶數(shù)號筷子 ， 最后總會有一位哲學(xué)家能獲得兩只筷子而進(jìn)餐 。 (1) 至多只允許有四位哲學(xué)家同時去拿左邊的筷子 ，最終能保證至少有一位哲學(xué)家能夠進(jìn)餐 ， 并在用畢時能釋放出他用過的兩只筷子 ， 從而使更多的哲學(xué)家能夠進(jìn)餐 。 … signal(chopstick［ i］ )。 Var chopstick: array［ 0, …, 4］ of semaphore。 consumer the item in nextc。 end consumer:begin repeat Swait(full, mutex)。 buffer(in) ∶ = nextp。 buffer:array［ 0, …, n1］ of item。 end parend end 在生產(chǎn)者 —消費(fèi)者問題中應(yīng)注意：首先 ， 在每個程序中用于實(shí)現(xiàn)互斥的 wait(mutex)和 signal(mutex)必須成對地出現(xiàn)； 其次 ， 對資源信號量 empty和 full的 wait和 signal操作 ， 同樣需要成對地出現(xiàn) ，