操作系統(tǒng)(東南大學(xué)滕至陽pptchapter(8)(已修改)
2025-01-29 12:41 本頁面
【正文】 第十二章 分布式操作系統(tǒng) ◆ 分布性 ◆自治性 ◆透明性 ◆統(tǒng)一性 第十二章 分布式操作系統(tǒng) 標(biāo)識符系統(tǒng) ◆ 保證命名標(biāo)識符的唯一性 ◆ 支持多級標(biāo)識符 ◆ 名字與名字所代表的對象的物理位置無關(guān) 第十二章 分布式操作系統(tǒng) 分布式進程互斥 /同步 事件定序 ◆ 給系統(tǒng)中的事件提供了一個編序，稱前發(fā)生關(guān)系 (happened before，簡稱 HB)，并用 “ ?” 表示，其定義如下： a?b 若 a到 b是同一進程內(nèi)的兩個事件且 a在 b前發(fā)生或者 a是一進程中的發(fā)送消息的事件而 b是另一進程中接受同一消息的事件 圖 123 分布式系統(tǒng)中的事件順序 p 0 p 1 p 2 p 3 p 4站 點 P 局 部 時 鐘 P站 點 Q 局 部 時 鐘 Qq 0 q 1 q 2 q 3 q 4站 點 R 局 部 時 鐘 Rr 0 r 1 r 2 r 3 r 4第十二章 分布式操作系統(tǒng) 事件定序 ◆ 給進程 Pi中事件 a的邏輯時鐘值記為 Ci(a) ◆ 進程 Pi中的事件 a先于進程 Pj中的事件 b (用 a?b表示 )，當(dāng)且僅當(dāng) Ci(a)Cj(b) 或者 Ci(a)=Cj(b)且 PiPj ◆ 若進程號 i進程號 j，則 PiPj。通常把 ? 稱為全序關(guān)系 第十二章 分布式操作系統(tǒng) Lamport算法 ◆ Lamport算法基本假定如下： 進程 Pi發(fā)送的請求消息形如 request(Ti , i)，其中 Ti = Ci是進程Pi發(fā)送此消息時對應(yīng)的邏輯時鐘值， i代表消息內(nèi)容 每個進程保持一個請求隊列，隊列中的請求消息根據(jù) ?關(guān)系定序，隊列初始為空 第十二章 分布式操作系統(tǒng)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1