操作系统(东南大学滕至阳ppt)chapter(8).pptVIP

* 第十二章 分布式操作系统 ◆分布性 ◆自治性 ◆透明性 ◆统一性 第十二章 分布式操作系统 12.1 标识符系统 ◆保证命名标识符的唯一性 ◆支持多级标识符 ◆名字与名字所代表的对象的物理位置无关 第十二章 分布式操作系统 12.2 分布式进程互斥/同步 12.2.1 事件定序 ◆给系统中的事件提供了一个编序，称前发生关系(happened before，简称HB)，并用“?”表示，其定义如下： a?b 若a到b是同一进程内的两个事件且a在b前发生或者a是一进程中的发送消息的事件而b是另一进程中接受同一消息的事件 图12-3 分布式系统中的事件顺序 第十二章 分布式操作系统 12.2.1 事件定序 ◆给进程Pi中事件a的逻辑时钟值记为Ci(a) ◆进程Pi中的事件a先于进程Pj中的事件b (用a?b表示)，当且仅当 Ci(a)Cj(b) 或者 Ci(a)=Cj(b)且PiPj ◆若进程号i进程号j，则PiPj。通常把? 称为全序关系 第十二章 分布式操作系统 12.2.2 Lamport算法 ◆ Lamport算法基本假定如下： 进程Pi发送的请求消息形如request(Ti , i)，其中Ti = Ci是进程Pi发送此消息时对应的逻辑时钟值，i代表消息内容 每个进程保持一个请求队列，队列中的请求消息根据?关系定序，队列初始为空 第十二章 分布式操作系统 12.2.2 Lamport算法 ◆下面是Lamport算法描述： ①当进程Pi请求资源时，它把请求消息request(Ti , i)排在自己的请求队列中，同时也把该消息发送给系统中的其他进程； ②当进程Pj接收到外来消息request(Ti , i)后，发送回答消息reply(Tj , j)，并把request(Ti , i)放入自己的请求队列。应当说明，若进程Pj在收到request(Ti , i)前已提出过对同一资源的访问请求，那么其时间戳应比(Ti , i)小。 第十二章 分布式操作系统 12.2.2 Lamport算法 ③若满足下述两条件，则允许进程Pi访问该资源(即允许进入临界段)： Pi自身请求访问该资源的消息已处于请求队列的最前面； Pi已收到从所有其他进程发来的回答消息，这些回答消 息的时间戳均晚于(Ti, i). 第十二章 分布式操作系统 12.2.2 Lamport算法 ④为了释放该资源，Pi从自己的队列中撤消请求消息， 并发送一个打上时间戳的释放消息release给其他进程； ⑤当进程Pj收到Pi的release消息后，它撤消自己队列中 的原Pi的request(Ti , i)消息。 第十二章 分布式操作系统 12.3 资源管理 ◆局部集中式管理 ◆分级式管理 ◆分散式管理及其算法 第十二章 分布式操作系统 12.4 死锁问题 ◆进程等待图(process waiting graph，简写PWG) 图12-5 局部PWG图 第十二章 分布式操作系统 12.4.1 预防死锁的时间戳方法 ◆当进程Pi申请当前已由Pj占有的资源时，仅当Pi的时间戳小于Pj的时间戳(即，Pi比Pj年长)时，让Pi等待，否则，Pj被撤离。例如，假定进程P1, P2和P3分别有时间戳5，10和15，若P1申请已由P2占有的资源，P1就等待：如果P3申请已由P2占有的资源，P2就被撤离。 第十二章 分布式操作系统 12.4.2 死锁检测 ◆任何局部PWG中不出现环路并不意味着 系统不存在死锁 图12-6 全局PWG 第十二章 分布式操作系统 12.5 任务分布 ◆任务分布则是把各模块分布给站点，使得它们 由站点间的通信(IPC)引起的开销最小 12.5.1 基于图论的分布策略 A ? 6 4 0 0 12 ? B ? 8 12 3 0 ? C ? ? 0 11 0 ? D ? ? ? 5 0 ? E ? ? ? ? ? 0 ? ? 模块 A B C D E F F (a) IMC开销 图12-9 6模块2站点 A 5 10 B 2 ? C 4 4 D 6 3 E 5 2 模块 P1开销 P2开销 F ? 4 (b) 处理开销 图12-9 6模块2站点 图12-10 模块通信图 图12-11 完全图 第十三章 安全与保密机制 13.1 概述 ◆所谓“系统安全”包括三个方面：