【正文】 終端、父進(jìn)程的打開文件表等； pri為新進(jìn)程的初始優(yōu)先數(shù)； fn為新進(jìn)程的執(zhí)行程序文本之文件名； args是 fn 第二章 進(jìn)程及作業(yè)管理 過程 getfreepcb從 PCB集中獲取一個(gè)空閑 PCB，返回值 i為PCB號。過程 memallocate按指定要求分配內(nèi)存空間， 返回內(nèi)存區(qū)地址 add。過程 memrelease和 pcbrelease分別釋放指定內(nèi)存區(qū)和 PCB。過程 datasetinit初始化數(shù)據(jù)區(qū)，并裝入?yún)?shù)表 args。過程 filestate檢查指定文件的存貯狀態(tài)，若該文件駐在內(nèi)存，則返回其內(nèi)存區(qū)地址 add及長度 size，同時(shí)將該文件的共享計(jì)數(shù)加 1，這表明新進(jìn)程將與其它進(jìn)程共享一個(gè)純代碼程序；否則打開該文件，返回文件長度 size,add=NIL。過程 read讀入指定文件。過程 insert(RQ,i)將新進(jìn)程插入就緒隊(duì)列 RQ。 otherinit表示對 PCB的其它項(xiàng)置初值，如消息隊(duì)列信號量、進(jìn)程現(xiàn)場等。EXE是執(zhí)行態(tài)進(jìn)程的 PCB指針，本原語由執(zhí)行態(tài)進(jìn)程調(diào)用，故執(zhí)行態(tài)進(jìn)程就是新進(jìn)程的父進(jìn)程。本原語最后返回新進(jìn)程的內(nèi)部號，即 PCB號。如果建立失敗，則返回 NIL。 第二章 進(jìn)程及作業(yè)管理 一個(gè)進(jìn)程一旦被建立便處于就緒狀態(tài)，隨時(shí)等候被進(jìn)程 一個(gè)進(jìn)程在正常運(yùn)行結(jié)束后，一般應(yīng)主動(dòng)終止而進(jìn)入停止?fàn)顟B(tài)，同時(shí)向父進(jìn)程發(fā)一“完成”消息，等待父進(jìn)程撤銷它，這通過調(diào)用“停止”原語實(shí)現(xiàn)。停止原語 halt的大致描述如下： procedure halt。 begin :=39。stop39。 send(,39。pleted39。)。 EXE:=NIL。 scheduler。 end。 第二章 進(jìn)程及作業(yè)管理 撤銷原語可大致描述如下： procedure destory(i)。 begin if ′ stop′ then remove(,i)。 while 0 do begin :=。 findchild(i,child)。 destory(child)。 end。 memrelease(,)。 close(,t)。 if t=true then memrelease(,)。 resrelease(i)。 pcbrelease(i)。 end。 第二章 進(jìn)程及作業(yè)管理 其中，過程 remove將指定進(jìn)程移出所屬狀態(tài)隊(duì)列；過程 findchild尋找指定進(jìn)程的子進(jìn)程，返回子進(jìn)程的內(nèi)部號；過程 close關(guān)閉指定文件，若返回值 t=true表示關(guān)閉成功，否則表示該文件為共享文件且正被其它進(jìn)程所使用；過程resrelease釋放除內(nèi)存之外的其它資源。本原語可遞歸調(diào)用， 第二章 進(jìn)程及作業(yè)管理 掛起與激活 掛起原語 suspend和激活原語 activate的調(diào)用參數(shù)均為進(jìn)程內(nèi)部號。它們可描述如下： procedure suspend(i)。 begin :=if = ′ready ′then ′readys ′ else ′waiteds ′。 swapout(,add)。 :=add。 memrelease(,)。 close(,t)。 if t=true then memrelease(,)。 end。 第二章 進(jìn)程及作業(yè)管理 其中， 調(diào)用了換出過程 swapout將數(shù)據(jù)集復(fù)制到外存交換區(qū)并返回相應(yīng)的地址。進(jìn)程實(shí)體中的執(zhí)行程序并未被復(fù)制到交換區(qū)，因?yàn)閳?zhí)行程序文件尚在外存并未被撤銷，但仍要回收它所占用的內(nèi)存空間 (若它未被其它進(jìn)程共享 )，這樣做的好處是減少了交換時(shí)間。 procedure activate(i)。 begin memallocate(,add)。 if add=NIL then return(false)。 swapin(,add)。 :=add。 filestate(,add,size)。 if add=NIL then begin 第二章 進(jìn)程及作業(yè)管理 memallocate(size,add)。 if add=NIL then begin memrelease(,)。 return(false)。 end。 read(,size,add)。 end。 :=add。 :=if = ′readys ′then ′ready ′ else ′waited ′。 return(true)。 end。 第二章 進(jìn)程及作業(yè)管理 阻塞與喚醒 進(jìn)程從執(zhí)行態(tài)到等待態(tài)以及從等待態(tài)到就緒態(tài)的過渡分別是通過阻塞原語 block和喚醒原語 wakeup實(shí)現(xiàn)的。 當(dāng)現(xiàn)行進(jìn)程需要等待某個(gè)事件時(shí)， 可調(diào)用 block原語使自己加入到該事件的等待隊(duì)列中，調(diào)用參數(shù)為等待隊(duì)列指針。操作系統(tǒng)為每類事件設(shè)置一個(gè)等待隊(duì)列，當(dāng)某個(gè)事件發(fā)生時(shí)， 通過 wakeup原語移出相應(yīng)等待隊(duì)列中的某個(gè)進(jìn)程， 將其送入應(yīng)緒隊(duì)列，調(diào)用參數(shù)也是等待隊(duì)列指針，下面是 block原語和 wakeup原語的類 PASCAL語言描述： 第二章 進(jìn)程及作業(yè)管理 procedure block(q)。 begin save(EXE)。 := ′waited ′。 :=q。 insert(q,EXE)。 EXE:=NIL。 scheduler。 end procedure wakeup(q)。 begin outqueue(q,i)。 :=if = ′waited ′ then ′ready ′ else ′readys ′。 :=RQ。 insert(RQ,i)。 end。 第二章 進(jìn)程及作業(yè)管理 167。 4 進(jìn) 程 同 同步概念 對同步與互斥的上述解釋表明，它們的實(shí)質(zhì)都是對進(jìn)程在執(zhí)行時(shí)序上的某種限制。因此，可把它們歸結(jié)為：并發(fā)進(jìn)程在執(zhí)行時(shí)序上的相互制約關(guān)系。這就是廣義同步概念。故在廣義上，互斥是一種特殊的同步。 第二章 進(jìn)程及作業(yè)管理 并發(fā)進(jìn)程可以共享系統(tǒng)中的各種資源，但是系統(tǒng)中某些資源具有一次只允許一個(gè)進(jìn)程所使用的屬性，我們稱這樣的資源為臨界資源。換言之，若有一進(jìn)程正在使用某臨界資源，那么其他欲使用該資源的進(jìn)程必須等待，只有當(dāng)占有者釋放后，其他進(jìn)程才能使用。也就是說，共享臨界資源的進(jìn)程必須互相排斥。 第二章 進(jìn)程及作業(yè)管理 許多物理設(shè)備都屬于臨界資源，如輸入機(jī)、打印機(jī)、磁帶機(jī)等。還有許多可以被幾個(gè)進(jìn)程所修改的共享變量(如公共變量、數(shù)據(jù)、表格、隊(duì)列等 )也是臨界資源。例如，進(jìn)程 A和 B共享一個(gè)公共變量 count,都要對 count執(zhí)行“ count:=count+1”操作，但是在許多計(jì)算機(jī)上完成這一 LD R1， count INC R1 LD count, R1 第二章 進(jìn)程及作業(yè)管理 由于進(jìn)程 A和 B異步前進(jìn)，故 A、 B中相同的這個(gè)指令串 A:LD R1,count A:INC R1 B:LD R1