【文章內(nèi)容簡介】 有者。所有者關(guān)系可以轉(zhuǎn)讓給其他進程，可以把信口作為報文的一部分傳送，或把信口作為一個新創(chuàng)建進程的初始化參數(shù)傳送。進程可以連接其擁有的輸入口和輸出口。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?異步式報文傳遞語言 ： 3) 通信類型： NIL既支持同步通信也支持異步通信，可把單個輸入口連接到幾個輸出口，所以在輸入口可以有多個掛起的報文，因而必須排隊。 4) 非確定表示： NIL提供一個保護命令風格的語句用于在任何輸入口上等待報文。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?基于會合的語言 ： ? Ada: 1) 并行性表示：其并行性是基于順序進程，叫作任務(wù) (task)，每個任務(wù)具有一定的類型。任務(wù)由說明部分 (說明其他任務(wù)如何與其通信 )和一個體 (包含它的可以執(zhí)行的語句 )組成。 2) 通信：任務(wù)通常通過會合機制通信，也通過共享變量通信，會合機制基于項說明、項調(diào)用和接受語句。 3) 非確定性表示： Ada使用 select語句表示非確定性。這個語句用于三個目的：從一組未處理的請求中非確定地選擇一個項調(diào)用；有條件地調(diào)用一項 (即僅當被調(diào)用的任務(wù)準備好立即接受它 )和為一個項調(diào)用設(shè)置時限。 4) 容錯： Ada有一個異常處理機制處理軟件故障，但語言定義未說明硬件故障問題。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?基于會合的語言 ： ? 并發(fā) C: 1) 進程創(chuàng)建：它使用 create原語顯式地創(chuàng)建進程，并可向創(chuàng)建的進程傳送參數(shù)?？少x給新進程一個優(yōu)先權(quán)，以后新進程或其他進程還可以改變此優(yōu)先權(quán)。 2) 通信：進程通過會合機構(gòu)相互通信。并發(fā) C中的事務(wù)處理與Ada中的項不同，可以返回一個值，并支持異步事務(wù)處理 (但并不返回值 )。并發(fā) C支持一個比 Ada中的功能更強的 accept語句，它根據(jù)事務(wù)處理參數(shù)的值，可以有條件地接受一些事務(wù)處理 。 3) 非確定性表示：使用 select語句表示非確定性。 4) 容錯：基于進程復(fù)制。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?基于遠程過程調(diào)用的語言 ： 1) DP的進程： 每個處理機專用于執(zhí)行一個進程，但每個進程可包含幾個處理線程，這些線程以偽并行方式運行。 2) 通信： DP進程相互調(diào)用對方的公用過程進行通信，用如下形式調(diào)用： Call (exps,vars) 這里 P是被調(diào)用進程的名字， f是由 P說明的過程名字，表達式是輸入?yún)?shù)，返回值賦予變量 vars。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?多重通信原語 ： 1) SR是由一個或多個資源 (resource)組成。資源是運行在一個物理節(jié)點 (單處理機或共享存儲器多處理機 )的一個程序模塊，可動態(tài)創(chuàng)建，并可選擇地分配到指定機器上運行。 2) 資源可包含多個進程，它們共享數(shù)據(jù)。資源可包含一個初始進程和終結(jié)進程，它們隱式地被創(chuàng)建和運行。 3) SR使用類似于 select語句的結(jié)構(gòu)處理非確定性。 4) SR操作的定義類似過程的定義，可看成一個過程或入口點(entry point)。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?多重通信原語 ： 5) 把操作的兩種服務(wù)方式和兩種調(diào)用方式結(jié)合起來就有四種進程通信方法 。 call(同步 ) send(異步 ) entry(同步 ) 會合 報文傳送 process(異步 ) RPC Fork 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?基于對象的語言 ： 1) 對象： Emerald把所有實體都看成對象。對象可以是主動的或被動的。 2) 并行性： Emerald中的并行性表現(xiàn)在主動對象的同時執(zhí)行上。一些對象可從一個處理機上遷移到另一個上。 3) 分布式系統(tǒng)中，很多對象可以并行運行， Emerald為本地和遠程調(diào)用提供相同的語義。 4) 對象的遷移可由編譯程序或程序員使用幾個簡單原語發(fā)動。對象可作為遠程操作中的參數(shù)傳送。對該參數(shù)對象的每次訪問都會產(chǎn)生另一個遠程調(diào)用。為了使這類調(diào)用最佳化，先把參數(shù)對象傳送到目的處理機，后把該對象傳送回來。因為這種情況經(jīng)常發(fā)生，所以引入一個新的參數(shù)傳送類型，叫做傳送調(diào)用 (call_by_move)以便有效地完成這種操作。 第三章 分布式程序設(shè)計語言 邏輯上分布地址空間的語言 ?基于原子事務(wù)處理的語言 ： ? Argus: 1) 主要特點 :guardian(保護者 )和 action(活動 )。保護者是能從崩潰中幸存下來的模塊，而活動是一組原子執(zhí)行。 2) 為了在保持原子語義下允許活動的并行，使用原子對象，它是一種原子數(shù)據(jù)類型。 Argus提供一些原子類型，用戶也可自己定義一些。 3) Argus提供兩級同步機制：用于偽并行進程的和用于并行活動的。 4) mutex類型提供對保護者內(nèi)各進程所共享的對象的互斥訪問。 5) 在容錯方面，可把某些保護者對象說明成 stable，存放到堅固存儲器中，如果某個節(jié)點崩潰了，則可在堅固存儲器中檢索并得到恢復(fù)。 第三章 分布式程序設(shè)計語言 邏輯上共享地址空間的語言 ?并行函數(shù)式語言 ： 1) ParAlfl利用隱式函數(shù)并行性。函數(shù)并行性通常是細粒度的。由于可能有比處理機數(shù)多得多的任務(wù)要并行執(zhí)行，所以使用變換方法指定哪個表達式在哪臺處理機上計算。 如： (f(x) $on ($self1))+(g(y) $on ($self+1)) 2) 通信和同步是隱式的，所以不需要顯式語言結(jié)構(gòu)。某個計算需要另一個計算的結(jié)果但還未出來時則受阻。 3) 語義是基于遲緩計算 (lazy evaluation)，即一個表達式僅當其結(jié)果被要求時才進行計算。一般說來，程序員不需關(guān)心計算次序，但為了有效性要對計算次序進行控制。 第三章 分布式程序設(shè)計語言 邏輯上共享地址空間的語言 ?并行邏輯語言 ： ? 并發(fā) PROLOG ： 1) 并行性來自合取的各目標的 AND并行計算和保護 Horn子句的各保護的 OR并行計算。 2) 并發(fā) PROLOG中的并行進程使用共享邏輯變量通信。同步是基于在只讀變量上暫停的辦法。 3) 并發(fā) PROLOG使用保護 Horn子句處理非確定性。 第三章 分布式程序設(shè)計語言 邏輯上共享地址空間的語言 ?并行邏輯語言 ： ? PARLOG： 1) AND/OR并行性由程序員控制。有兩種不同的合取操作符：“ .”并行計算各合??； “ amp?！贝杏嬎愀骱先?(自左至右 )。 2) 進程通過共享變量進行通信，而同步方法是在無界共享變量上掛起。 PARLOG有個機構(gòu)用來指定哪些進程可以為某變量產(chǎn)生