第5章行程概念与应用.pptVIP

第8章 並行程式設計 8.1 並行程式概念 8.2 作業系統提供的支援 8.3 並行程式設計語言 第8章 並行程式設計 本章內容是在處理單元同步與通訊基礎上發展的。透過學習，既能加深對現代作業系統內部活動的理解，又能提高研發實際作業系統的程式設計能力。 8.1 並行程式概念 處理單元具有並行性。在單處理機環境下，各處理單元交替佔用CPU從而提高了CPU的利用率。在多處理機環境下，各處理單元可獨自在自己佔用的處理機上與其他處理單元在指令級上實現真正的並行。 例如，有這樣一個問題：讀入4個數，對第1個數(x1)經轉換後得A，然後A分別與第2個數(x2)、第3個數(x3)、第4個數(x4)經函數f234生成B，C，D，最後把B，C，D作為參數經函數g生成最後的結果。 如果可執行的成分用p表示，那麼循序關係可表示成：p1→p2→p3→…→pn，並行關係如圖8-2所示，循序/並行複合關係如圖8-3所示。 8.2 作業系統提供的支援 為實現並行程式設計，作業系統應當提供必要的支援：主要有三項： (1)建立處理單元/子處理單元機制 (2)建立行程/子行程機制 (3)處理單元/行程間通訊機制 8.2.1 建立處理單元/子處理單元機制 建立子處理單元的機制有多種，下面給出幾種常見的形式： (1) fork機制 (2) cobegin/coend機制 (3)顯式處理單元說明 8.2.2 處理單元間通訊 並行執行的程式必然要求各處理單元之間保持互斥、同步、通訊關係。 在集中式系統中，作業系統為並行程式設計提供的支援有： (1)PV操作 (2)條件臨界區 (3)管程 (4)開放路徑運算式 (5)消息傳遞 在分散式環境下、作業系統提供 (1)通訊循序處理單元(CSP) (2)Ada的匯合機制 (3)分散式處理單元(DP) (4)遠端程序呼叫(RPC) 8.2.3 支援行程機制 處理單元與處理單元間的耦合關係差，並行程度過於粗糙，並行實現也不太容易。現代電腦多採用多處理機結構，為多行程並行奠定了硬體基礎。行程也稱為輕量級處理單元，其並行程度小於處理單元。 8.3 並行程式設計語言 並行程式設計語言可以分成三類： (1)過程導向的語言 (2)消息導向的語言 (3)操作導向的語言 8.3.1 並行PASCAL 並行PASCAL語言是1975年由B.Hanson提出的基於管程模型的第1個並行程式設計語言，目的是用來設計作業系統。並行PASCAL提供處理單元、管程、類程3種成分和一套組織原則。 並行程式是按一定的原則把處理單元、管程、類程組織起來而得到的。這些組織原則是： (1)處理單元可以透過參變數方式說明對管程的叫用。可以透過宣告局部變數的方式說明對類程的叫用； (2)管程可透過參變數方式說明對其他管程的叫用，可以透過宣告局部變數的方式說明對其他類程的叫用； (3)類程可以透過宣告局部變數方式說明對其他類程的叫用，一類程也可以參變數形式傳遞給另一類程，但不能傳遞給處理單元和管程。 8.3.2 通訊循序處理單元CSP與並行C語言 通訊循序處理單元 CSP(Communicating Sequential Processes)是C.Hoare於1978年提出的一種基於同步消息傳遞和選擇通訊的程式設計模型。CSP的概念對後來的並行程式設計語言的研發和分散式程式的設計均有很大影響。 CSP有如下幾種基本操作命令： (1) 輸入命令 處理單元名 ? 目標變數； (2)輸出命令 處理單元名 ! 運算式； (3) 選擇命令 [G1→C1 ■ G2→C2 ■ … ■ Gn→Cn]； (4)重複命令 *選擇命令； (5)處理單元定義命令 處理單元名：：處理單元的命令表； (6)平行命令 [處理單元 {|| 處理單元}]； 並行C語言是串列C的擴充，它增設了如下五種機制： (1) 配置 (2) 行程機制 (3) 通訊機制 (4) 互斥機制 (5) 處理機場(processor farm) 8.3.3 Ada語言 Ada語言是按美國國防部1975年的建議而設計和研發的三軍公用軍用電腦語言，1985年10月，Ada成為美國聯邦資訊處理標準(FIPS)。 Ada語言有4種程式單元： (1)副程式 (2)套裝程式 (3)類屬單元 (4)任務 本節只討論Ada的並行機制即任務與會合(rendezvous)。 Ada中的活動成份稱為任務(task)。任務間的連繫和執行的方式有四： (1)任務的一般框架。在Ada文獻中，把任