【正文】 傳送方式中，發(fā)送者并不等待接收者準備好接收其報文，發(fā)送者在送出報文后立即繼續(xù)工作。 2) 會合 。 在 Ada中會合模型基于三個概念：項說明 、 項調(diào)用和接受語句 。 項說明和接受語句是服務員程序的一部分 ， 項調(diào)用在顧客端 。 當進程 S調(diào)用進程 R的一項 ， R為此項執(zhí)行 accept語句時 ， 在 S和 R之間發(fā)生了相互作用 ， 叫做會合 。 accept incr(X: int。 Y: out int) do Y:=X+1。 end 第三章 分布式程序設計語言 進程通信與同步的支持 ?報文傳遞 ?報文傳遞通信模式有 ： 3) 遠程過程調(diào)用 (RPC)。 它是雙向通信的另一個原語 。 當進程 S調(diào)用進程 R的過程 P時 ， 由 S提供的 P的輸入?yún)?shù)被送給 R。 當R收到調(diào)用請求時 ， 執(zhí)行過程 P， 然后把輸出參數(shù)送回給 S。執(zhí)行 P期間 S阻塞 ， 直到輸出參數(shù)返回 。 這和會合機構(gòu)不同 ，在會合機構(gòu)中 ， 一旦 accept語句已執(zhí)行 ， 則調(diào)用者就不阻塞 。 4) 一到多報文傳送。很多用于分布計算系統(tǒng)的網(wǎng)絡支持快速的廣播或組通信設施。 第三章 分布式程序設計語言 進程通信與同步的支持 ?共享數(shù)據(jù) 如果兩個進程訪問同一個變量，可以實現(xiàn)另一種通信方式：一個進程對此變量進行設置，另一個進程對它進行讀。如果兩個進程在同一個機器上運行，變量在此機器上存儲，則可直接通信。分布進程的共享數(shù)據(jù)方法有：分布式數(shù)據(jù)結(jié)構(gòu)和共享的邏輯變量 。 1) 分布式數(shù)據(jù)結(jié)構(gòu)。這種數(shù)據(jù)結(jié)構(gòu)可由若干進程同時處理。Linda語言使用元組空間 (tuple space)的概念實現(xiàn)分布式數(shù)據(jù)結(jié)構(gòu)。 例如 [“jones”,31,true]是一個有三個段的元組：一個字符串 、 一個整數(shù)和一個布爾值 。 對 TS定義了三個原子操作： out操作向 TS加入一個元組 ， read讀 TS中的一個元組 ， in讀 TS中的一個元組并刪除它 。 第三章 分布式程序設計語言 進程通信與同步的支持 ?共享數(shù)據(jù) 2) 共享的邏輯變量。邏輯變量具有 “ 單賦值 ” 性質(zhì)，最初，它們是未賦值的，但一旦它們接收一個值就不能改變它們。這些變量被用于進程之間的通信通道。如下三個目標： goal_1(X,Y), goal_2(X,Y), goal_3(X) 進行邏輯乘，用進程 P P P3并行求解。變量 X是這三個進程的通信通道，最初是未賦值的。如果三個進程中的某個給 X賦值，則其它兩個進程可使用此值。類似地， Y是 P1和 P2的通信通道。 第三章 分布式程序設計語言 進程通信與同步的支持 ?非確定性的表示和控制 進程之間的相互作用模式并不總是確定性的，有時還決定于運行時條件。因此，表示和控制非確定性模型被提出。選擇語句和保護的 (guarded)Horn子句 是兩種表示和控制非確定性的模型。 1) 選擇語句。它是由如下形式的一組保護命令組成的： 保護 → 語句 其中保護 (guard)由一個布爾表達式和某一類 “ 通信請求 ”組成。布爾表達式必須無副作用，因為它可能在執(zhí)行該選擇語句過程中被計算多次。 第三章 分布式程序設計語言 進程通信與同步的支持 ?非確定性的表示和控制 2) 保護的 Horn子句。邏輯程序本質(zhì)上就不是確定性的。 并行邏輯語言不是對一給定的謂詞一個又一個地試驗子句，失敗時回溯，而是并行地搜索所有那些子句，并且在這些并行執(zhí)行期間直到有一個并行執(zhí)行提交前不允許任何賦值對外部是可見的，這叫做 OR并行性。但是，這不能無限地進行，因為并行工作的搜索路徑隨證明的長度而指數(shù)地增長。 很普遍的控制 OR并行性技術(shù)是提交選擇非確定性 ， 它非確定地選擇一個可選擇的子句 ， 取消其他子句 。 它是基于保護的 Horn子句 ， 形式如下： A:G1,… ,Gn|B1,… ,Bm n≥ 0,m≥ 0 目標 Gi的合取 (與操作 )叫做保護，目標 Bi的合取叫做體(body)。提交操作符 “ |”也是一個合取操作符。 第三章 分布式程序設計語言 邏輯上分布地址空間的語言 ?分布式程序設計語言的分類： 分布式程序 設計語言 分布地址空間 共享地址空間 同步報文傳送 異步報文傳送 會合 遠程過程調(diào)用 多重原語 對象 原子事務處理 函數(shù)式語言 邏輯語言 分布數(shù)據(jù)結(jié)構(gòu) 第三章 分布式程序設計語言 邏輯上分布地址空間的語言 ?同步式報文傳遞語言 ： 1) 創(chuàng)建并行進程： 如 CSP提供簡單的并行命令創(chuàng)建固定數(shù)目的并行進程。進程包含名字、邏輯變量和一系列語句 (進程體 )。 CSP可以創(chuàng)建一組相似的進程，但其數(shù)目必須在編譯時是個常數(shù)。例如并行語句 [writer::X:real?！?||reader(i:1..2)::… ] 創(chuàng)建三個進程，叫作 “ writer”、 “ reader(1)”和 “ reader(2)”。 Writer有一個局部變量 X。下標量 i可在 reader進程的體中使用。 2) 通信： CSP進程不能使用全局變量相互通信，只能使用同步的 receive和 send。執(zhí)行 send或 receive的進程受阻一直到其對方執(zhí)行完互補的語句為止。例如 [X::Y! 3||Y::n:integer。X? n] 在進程 X的語句中，把值 3發(fā)送給 Y。在進程 Y的語句中，從進程 X讀取輸入，并存放到局部變量 n中。 第三章 分布式程序設計語言 邏輯上分布地址空間的語言 ?同步式報文傳遞語言 ： 3) 可傳遞的數(shù)據(jù)類型： 簡單數(shù)據(jù)和有結(jié)構(gòu)的數(shù)據(jù)均可傳送與賦值 ， 只要發(fā)送的值與接收它的變量類型相同 。 可給有結(jié)構(gòu)的數(shù)據(jù)一個名字 (構(gòu)造符 )， 如下例中的 pair： [X::Y! pair(35,60)||Y::n,m:integer。X? pair(n,m)] 可使用空構(gòu)造符對兩個進程進行同步但不傳送任何實際數(shù)據(jù)。 4) 非確定性的表示： CSP中使用 alternative結(jié)構(gòu)表示非確定性，它由一組保護 (后面跟著待執(zhí)行的動作 )組成。保護可包含布爾表達式和一個輸入語句。 CSP允許進程根據(jù)當前通信的輸入和名字段的信息有選擇地接收。 第三章 分布式程序設計語言 邏輯上分布地址空間的語言 ?異步式報文傳遞語言 ： 1) 并行性單位： NIL中的并行性是基于所謂進程模型。進程不僅是并行性的單位，也是模塊化的單位。進程到處理機變換是實現(xiàn)上的問題，由編譯和運行時系統(tǒng)處理。 2) NIL可動態(tài)地進行進程間通信路徑的配置： NIL中的信口是一個排隊的通信通道。在給定時間，一個信口有一個指定的所