分布式系统中的通信问题.ppt

客戶—伺服器模型(1)基本思想：將操作系統構造成一組協同工作的進程：伺服器伺服器向用戶提供服務：客戶客戶機和服務器機運行同樣的微內核客戶進程和服務器進程：用戶進程客戶—伺服器模型(2)基於簡單的、無連接的“請求/應答”協議客戶發送一個請求消息給伺服器，請求服務；伺服器完成後將結果返回給客戶（數據或出錯代碼）優點：簡單、高效客戶—伺服器模型(3)客戶—伺服器模型(4)內核提供的通信服務：兩個系統調用發送消息，接收消息C/S模型設計上的四個問題：尋址、阻塞、緩衝、可靠性尋址問題(1)客戶為了能向伺服器發消息，必須知道該伺服器的地址包括：機器.進程尋址廣播進程尋址名字伺服器尋址內核客戶機內核伺服器19912243012在C/S模型下的機器進程尋址處理1.發給243.0的請求2.給199.12的回答內核客戶機內核伺服器19912243034在C/S模型下的廣播尋址處理1.廣播:“X伺服器在哪里”2.伺服器:X地址在243.01123.發給243.0的請求4.給199.12的回答內核S243034在C/S模型下基於名字伺服器的尋址處理1.廣播:“X伺服器在哪里”2.伺服器:X地址在243.03.發給243.0的請求4.給199.12的回答內核C19912內核NS115012名字伺服器尋址問題(2)機器進程尋址：不透明廣播進程尋址：給系統帶來額外負擔（用Caching解決）名字伺服器尋址：需要中央控制機制（用名字伺服器複製方法解決，帶來不一致性問題）尋址問題(3)特殊硬體解決途徑：網卡存儲本機各進程標識每幀經過時，網卡檢查該幀的目標進程是否是本機上的進程。如果是，就接收該幀，否則，什麼都不做阻塞與非阻塞原語（同步原語與非同步原語）其主要區別在於：發送者是否能在重新獲得控制後立即使用消息緩衝區阻塞Send：消息在進程地址空間1．消息放在緩衝區2．調用Send，進程阻塞3．消息從緩衝區傳走4．進程喚醒進程地址空間緩衝區核心地址空間阻塞Send：消息在核心地址空間1．消息放在緩衝區2．調用Send，進程阻塞3．消息拷貝到核心緩衝區，進程喚醒4．消息傳走進程地址空間緩衝區核心地址空間無阻塞Send1．消息放在緩衝區2．調用Send，進程繼續執行3．消息傳走4．向進程發中斷，表示可以重用緩衝區進程地址空間緩衝區核心地址空間阻塞Receive：1．調用Receive2．如果有消息，則拷貝到進程地址空間3．如果沒有消息，進程阻塞，直到消息到達進程地址空間緩衝區核心地址空間無阻塞Receive：1．調用Receive2．如果有消息，則拷貝到進程地址空間3．如果沒有消息，進程繼續執行4．進程檢查消息是否到達進程地址空間緩衝區核心地址空間Send阻塞且無消息拷貝阻塞且有消息拷貝：額外消息拷貝，降低性能無阻塞：快速，但程式感知，負擔重Receive阻塞：避免檢查消息到達無阻塞“時延”問題緩衝和非緩衝原語內核客戶機內核無緩衝原語在客戶機發送前，伺服器作接收伺服器緩衝原語消息發給信箱,伺服器從信箱接收內核客戶機內核伺服器信箱可靠和不可靠原語不可靠Send接收方發確認消息應答消息作為確認消息*分佈式系統中的通信問題進程間通信機制基於共用記憶體（生產者-消費者，信號量）基於消息傳遞分佈式系統和單處理機系統的最重要區別：進程間通信通信進程：雙方必須持有協議客戶—伺服器模型消息交換機制遠程過程調用（RPC）組進程通信9.1概述分佈式系統中的通信問題，應考慮以下方面：發送策略：如何通過網路發送消息連接策略：如何連接彼此通信的進程爭奪處理：發現並解決衝突要求和衝突現象保密：消息內容的保密通信機制發送策略固定發送事先規定好通道（最短通道），不再更改AB物理通道一條/多條虛擬線路通道在一段時間內固定，可選不同通道動態發送在消息發送時確定通道（自動進行選擇）連接策略線路轉換建立永久性物理通信鏈路，通信期間其他進程不能用（例子：電話系統）AB消息轉換確定