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