【正文】 通過調(diào)用“停止”原語(yǔ)實(shí)現(xiàn)。 send(,39。 scheduler。 while 0 do begin :=。 memrelease(,)。 pcbrelease(i)。它們可描述如下： procedure suspend(i)。 memrelease(,)。 第二章 進(jìn)程及作業(yè)管理 其中， 調(diào)用了換出過程 swapout將數(shù)據(jù)集復(fù)制到外存交換區(qū)并返回相應(yīng)的地址。 if add=NIL then return(false)。 if add=NIL then begin 第二章 進(jìn)程及作業(yè)管理 memallocate(size,add)。 read(,size,add)。 return(true)。操作系統(tǒng)為每類事件設(shè)置一個(gè)等待隊(duì)列，當(dāng)某個(gè)事件發(fā)生時(shí)， 通過 wakeup原語(yǔ)移出相應(yīng)等待隊(duì)列中的某個(gè)進(jìn)程， 將其送入應(yīng)緒隊(duì)列，調(diào)用參數(shù)也是等待隊(duì)列指針，下面是 block原語(yǔ)和 wakeup原語(yǔ)的類 PASCAL語(yǔ)言描述： 第二章 進(jìn)程及作業(yè)管理 procedure block(q)。 insert(q,EXE)。 begin outqueue(q,i)。 end。這就是廣義同步概念。也就是說，共享臨界資源的進(jìn)程必須互相排斥。為了防止發(fā)生這種與時(shí)間有關(guān)的錯(cuò)誤，變量 count必須按臨界資源處理。 TS指令的功能可用 PASCAL語(yǔ)言描述如下： 第二章 進(jìn)程及作業(yè)管理 procedure TS(vara,b:boolean)。 b:=temp end function TS(var b:boolean):boolean。于是用 TS指令實(shí)現(xiàn)互斥的進(jìn)程的程序結(jié)構(gòu)為： 第二章 進(jìn)程及作業(yè)管理 var key: blooean。 … end begin … while TS (lock) do skip。信號(hào)量是個(gè)被保護(hù)的量，只有 P、 V操作和信號(hào)量初始化操作才能訪問和改變它的值， Dijkstra把信號(hào)量 s定義為一個(gè)非負(fù)整型量。在實(shí)現(xiàn)該同步機(jī)構(gòu)時(shí)，可采取“忙等待”方式也可采取“讓權(quán)等待”方式。而在多機(jī)系統(tǒng)中，為減少進(jìn)程狀態(tài)變換而引起的開銷，可采取忙等待方式。 s:=s1 V(s) :s:=s+1。采取這種方式需要對(duì)原信號(hào)量定義進(jìn)一步擴(kuò)充，把信號(hào)量由整型量擴(kuò)充成為記錄形式： type psem=semaphore semaphore=record value: integer。 var s: psem。 begin :=+1 if ≤0 then wakeup() end 第二章 進(jìn)程及作業(yè)管理 根據(jù)上述定義， P、 V操作的物理意義可這樣來看待。執(zhí)行一次 V操作意味著釋放一個(gè)單位資源，故描述為 .v:=+1，若 ≤0，表示在等待隊(duì)列 源不能滿足而被阻塞的進(jìn)程，因此喚醒等待隊(duì)列 一個(gè)或優(yōu)先數(shù)最高的進(jìn)程，允許其使用該資源。對(duì)于每個(gè)想使用 R的進(jìn)程，只需把它們的臨界區(qū) CS置于 P(mutex)和 V(mutex)之間，即可實(shí)現(xiàn)互斥。 V(mutex)。 begin seminitial(,l)。 coend end 第二章 進(jìn)程及作業(yè)管理 2 利用信號(hào)量同樣可以方便地實(shí)現(xiàn)合作進(jìn)程之間的同步。 var mutex, empty, full: psem。 begin while true do begin 第二章 進(jìn)程及作業(yè)管理 produce next product。 i:=(i+1)mod n。 begin while true do begin 第二章 進(jìn)程及作業(yè)管理 P(full)。 V(empty)。full^.v,0)。 coend end 第二章 進(jìn)程及作業(yè)管理 4．讀者與寫者關(guān)系 設(shè)某航空公司有 2個(gè)售票處，它們通過遠(yuǎn)程終端訪問設(shè)在公司總部的航空訂票系統(tǒng)，并要查詢或修改系統(tǒng)中記錄所有班機(jī)當(dāng)前訂票數(shù)的數(shù)據(jù)庫(kù) B。 第二章 進(jìn)程及作業(yè)管理 var mutex,wrt:psem。 readcount:=0。 if readcount=1 then P(wrt)。 end。 V(wrt)。為此，應(yīng)把分散的各同類臨界區(qū)集中起來。 第二章 進(jìn)程及作業(yè)管理 局部于管程內(nèi)的數(shù)據(jù)結(jié)構(gòu)只能被該管程內(nèi)的過程所訪問，反之，局部于管程內(nèi)的過程只能訪問該管程內(nèi)的數(shù)據(jù)結(jié)構(gòu)。例如，并發(fā) PASCAL編譯程序在編譯源程序時(shí)，對(duì)每一個(gè)形如： ，都將自動(dòng)保證其按如下方式執(zhí)行： P(mutex)。 var rbuffer:array［ 0..n1］ of stuff。 begin if k=n wait(empty)。 signal(full)。 goods:=rbuffer［ nextfull］ 。 end。 第二章 進(jìn)程及作業(yè)管理 管程 ringbuffer包含兩個(gè)局部過程：過程 put負(fù)責(zé)執(zhí)行將數(shù)據(jù)寫入某個(gè)緩沖塊的操作；過程 get負(fù)責(zé)執(zhí)行從某個(gè)緩沖塊讀取數(shù)據(jù)的操作。 (2)消息緩沖塊 buffblock 這是一個(gè)記錄結(jié)構(gòu)，包含下列 sender: size: text: next: 第二章 進(jìn)程及作業(yè)管理 (5)emphead 空緩隊(duì)列首指針，緩沖池中所有空閑緩沖 (6)emptail (7)mq 進(jìn)程的消息隊(duì)列首指針，設(shè)置在 PCB (8)mmutex 進(jìn)程的消息隊(duì)列互斥信號(hào)量，初值為 1，設(shè)置在 PCB中。 if i=NIL then return(false)。 emphead。 buffpool［ k］ .size:=。 insert(,k)。 end。在讀 pipe時(shí)，若發(fā)現(xiàn)無信息可讀，則在進(jìn)入等待態(tài)之前先檢查 pipe的寫入端是否已關(guān)閉，若已關(guān)閉，則不必等待。 pipe通訊機(jī)構(gòu)中的同步與互斥都由系統(tǒng)自動(dòng)進(jìn)行，對(duì)用戶是透明的。例如，執(zhí)行編輯程序建立和修改用戶源程序，執(zhí)行編譯程序編譯源程序，執(zhí)行用戶目標(biāo)程序等等，程序是作業(yè)的執(zhí)行文本。用戶對(duì)作業(yè)工作流程的控制意圖以及作業(yè)的資源需求，需要用戶使用操作系統(tǒng)提供的控制命令(作業(yè)控制語(yǔ)言 JCL或終端命令 )向系統(tǒng)說明。 聯(lián)機(jī)作業(yè)包括終端作業(yè)及前臺(tái)作業(yè)，即在分時(shí)環(huán)境或交互環(huán)境下運(yùn)行的作業(yè)和以前 作業(yè) =控制命令序列 +程序集 +數(shù)據(jù)集 第二章 進(jìn)程及作業(yè)管理 圖 29 作業(yè)的生命歷程 第二章 進(jìn)程及作業(yè)管理 作業(yè)的建立 JCB是記錄型數(shù)據(jù)結(jié)構(gòu)，一般包含下列內(nèi)容： ．作業(yè)的估計(jì)運(yùn)行時(shí)間 ．其它 7 作業(yè)控制 第二章 進(jìn)程及作業(yè)管理 作業(yè)的運(yùn)行 一個(gè)后備作業(yè)只有被作業(yè)調(diào)度程序選中后才能進(jìn)入主機(jī)運(yùn)行 ， 即處于運(yùn)行狀態(tài) ， 作業(yè)調(diào)度程序?yàn)樽鳂I(yè)建立相應(yīng)的作業(yè)進(jìn)程 。 (4)回收 JCB，最終注銷