分散式演算法续.PPT

分散式系統簡介 第十九章 分散式協調 第十九章 分散式協調 事件順序 先發生於 全域排序 互斥 推選演算法 不可分割交易 並行控制 死結處理 摘要 事件順序 單處理器系統中可以輕易地解決同步問題 號誌 監督程式 分散式環境下，每個電腦擁有各自的時脈，所以沒辦法根據時脈來決定事件發生的先後順序 分散式系統只能利用事件彼此的相依性來決定事件發生的先後順序 先發生於 分散式的環境下不容易定出統一的時脈，所以利用事件彼此的相依性，也就是所謂「先發生於」的關係 此方法依據以下三種狀況來定義事件發生的先後關係 如果 a 和 b 是同一個行程的事件，而且 a 在 b 之前執行，則 a→b 如果 a 是某個行程傳送訊息的事件，而 b 是另一個行程接收此訊息的事件，則 a→b 如果 a→b 且 b→c，則a→c 事件關係圖 決定各事件的關係如下 P1→Q2 Q1→S1 Q1→P3 R2→S3 Q1→S3（因為Q1→S1且S1→S3） R1→S3（因為R1→R2且R2→S3） 全域排序 分散式系統中達成全域排序，可以將系統中每個事件都附上一個時間戳記 系統所有事件的時間戳記定義完後，即可以依此排列出全域的排序 遇到不同行程的事件擁有相同的時間戳記，則可以利用行程識別代號決定順序 整體排序示意圖 第十九章 分散式協調 事件順序 互斥 集中式演算法 分散式演