分布式操作系统复习大纲课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《分布式操作系统复习大纲课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 分布式 操作系统 复习 大纲 课件
- 资源描述:
-
1、分布式操作系统复习大纲分布式操作系统复习大纲(一)分布式操作系统(0)分布式操作系统的定义(1)分布式系统的体系结构类型(2)构造分布式操作系统的途径(3)分布式操作系统的层次结构(4)多机,网络和分布式操作系统间差别(5)透明性(Transparency)意义(6)分布式计算机系统的资源管理(7)分布式操作系统的同步算法(0)分布式操作系统的定义 文献中已经给出分布式系统的各种定义,文献中已经给出分布式系统的各种定义,没有一个是满意的并且没有一个为其他所没有一个是满意的并且没有一个为其他所同意。为此,给出一个松散的特征就够了。同意。为此,给出一个松散的特征就够了。Tanenbaum给出如下定
2、义:给出如下定义:分布式操作系统是分布式系统的操作系统。分布式操作系统是分布式系统的操作系统。(1)分布式系统的体系结构类型Tanenbaum和和Renesse将分布式系统分成五将分布式系统分成五类:类:1.小型机类型小型机类型(minicomputer model)2.工作站类型工作站类型(workstation model)3.处理机池类型处理机池类型(processor pool model)4.工作站工作站-服务器类型服务器类型(workstation-server model)5.混合类型混合类型(hybrid model)(2)构造分布式操作系统的途径从头开始;从头开始;修改、扩充
3、式;修改、扩充式;层次式。层次式。(3)分布式操作系统的层次结构 一个分布式操作系统大致可分成四层,由内向外一个分布式操作系统大致可分成四层,由内向外依次是:依次是:执行层;执行层;进程通信层;进程通信层;服务支持层;服务支持层;用户接口层。用户接口层。(4)多机、网络和分布式操作系统间差别(5)透明性(Transparency)意义透明性透明性描述描述访问访问Access隐藏数据表示中的差异以及如何访问资源隐藏数据表示中的差异以及如何访问资源位置位置Location隐藏一个资源位于何处隐藏一个资源位于何处迁移迁移Migration隐藏一个资源可能移到另外位置隐藏一个资源可能移到另外位置浮动浮
4、动Relocation隐藏在使用时一个资源可能移到另外位置隐藏在使用时一个资源可能移到另外位置复制复制Replication隐藏一个资源被复制隐藏一个资源被复制并发并发Concurrency隐藏一个资源可能被若干竞争用户共享隐藏一个资源可能被若干竞争用户共享失效失效Failure隐藏一个资源的失效和恢复隐藏一个资源的失效和恢复存留存留Persistence隐藏是否一个(软件)资源在内存或在磁盘上隐藏是否一个(软件)资源在内存或在磁盘上(6)分布式计算机系统的资源管理从单个资源与多个管理者的相互关系从多个资源与多个管理者的相互关系从实用的角度分布式计算机系统的资源管理的算法从单个资源与多个管理者
5、的相互关系 全集中管理方式 即专制(autocratic)管理 功能分布管理方式即分担管理或分割(partitioned)管理 浮动管理方式即 轮流(successive)管理 全分散管理方式即 民主(democratic)管理 从多个资源与多个管理者的相互关系集中:所有资源属一个管理者管理。分管:每一资源只属一个管理者管理。部分管理:每一资源属于若干管理者管理。合管:每一资源属于全部管理者共同管理。从实用的角度分布式计算机系统的资源管理的算法招标(投标)算法招标(投标)算法回声算法回声算法由近及远算法由近及远算法(7)分布式操作系统的同步算法偏序Happened-Before关系(筒称HB)
6、的定义时钟(clock)条件的定义系统的逻辑时钟的定义事件e的时间戳的定义全序先于()关系的定义向量时钟的定义和向量时钟的实现规则以及例子(7)分布式操作系统的同步算法集中式互斥算法分布式算法(Lamport算法)分布式算法(Ricart-Agrawala算法)令牌算法欺负(霸主Bully)算法局部状态的定义全局状态的定义一致的全局状态、不一致的全局状态、无过渡的全局状态和强一致的全局状态的定义及例子偏序Happened-Before关系(筒称HB)的定义:a b若若a和和b是同一进程中的两个事件,且是同一进程中的两个事件,且a在在b前发生;或者,前发生;或者,若若a是一进程中发送消息的事件,
7、是一进程中发送消息的事件,b是另一是另一进程中接收同一消息的事件。进程中接收同一消息的事件。该关系是传递的,即若该关系是传递的,即若a b且且b c,则,则有有a c。该关系是非自反的,即该关系是非自反的,即 a(aa),因一事,因一事件不可能它自身之前发生。件不可能它自身之前发生。时钟(clock)条件的定义:对系统中的任何事件对系统中的任何事件a和和b,若,若a b,则,则LC(a)必须小于必须小于LC(b)。系统的逻辑时钟的定义:系统的逻辑时钟(系统的逻辑时钟(Logic Clock简记为简记为LC)是满足时钟条件的系统事件集合到非负整是满足时钟条件的系统事件集合到非负整数的映射。数的映
8、射。当事件当事件e 进程进程Pi时,时,LC(e)=LCi(e)。非负整数集合事件集合LC事件e的时间戳的定义:称事件称事件e的逻辑时钟值的逻辑时钟值LC(e)为事件为事件e的时间的时间戳(戳(Time Stamp简记为简记为TS)。)。全序先于()关系的定义:我们称进程我们称进程pi中的事件中的事件a先于进程先于进程pj中的事件中的事件b(以以a b表示表示)当且仅当当且仅当LCi(a)LCj(b);或;或LCi(a)=LCj(b),且,且pi pj,其中关系,其中关系“”是进程的一个任意偏序。是进程的一个任意偏序。实现关系实现关系“”的一个简单方法是给系统中的一个简单方法是给系统中每个进程
9、赋以一个唯一的进程号,且规定:每个进程赋以一个唯一的进程号,且规定:若若i 0)IR2如果进程如果进程Pi的事件的事件a是发送消息是发送消息m事件,事件,则消息则消息m被赋予一个向量时间戳被赋予一个向量时间戳tm=VCi(a);进程进程Pj接收同样消息接收同样消息m时时VCj作如下修改:作如下修改:kVCj k:=max(VCj k,tmk)向量时钟例子向量时钟例子集中式互斥算法分布式算法(Lamport算法)分布式算法(Ricart-Agrawala算法)令牌算法选举算法欺负(霸主Bully)算法局部状态的定义:transit(LSi,LSj)=mij|send(mij)LSi rec(mi
10、j)LSj inconsistent(LSi,LSj)=mij|send(mij)LSi rec(mij)LSj全局状态的定义:一个系统的全局状态GS是一个它的所有场点的局部状态集合;即GS=LS1,LS2,.,LSn其中n是系统中场点的个数。一致的全局状态、不一致的全局状态、无过渡的全局状态和强一致的全局状态的定义及例子:一个全局状态一个全局状态GS=LS1,LS2,.,LSn是一致的是一致的(consistent)当且仅当当且仅当 1 i n 1 j n(inconsistent(LSi,LSj)=)一个全局状态是无过渡的一个全局状态是无过渡的(transitless),当,当且仅当且仅当
11、 1 i n 1 j n(transit(LSi,LSj)=)因此,因此,在一个无过渡的全局状态中,所有通在一个无过渡的全局状态中,所有通信通道均为空。信通道均为空。如果一个全局状态是一致的和无过渡的,则如果一个全局状态是一致的和无过渡的,则称为强一致的称为强一致的(strongly consistent)。例子(二)分布式共享内存(1)体系结构和动力(2)实现分布式共享内存的算法(3)存储一致性(4)一致性协议(1)体系结构和动力(2)实现分布式共享内存的算法 中央服务器(Central-Server)算法 迁移算法 读复制(Read-Replicatin)算法 完全复制算法(3)存储一致性
12、 严格一致性(Strict Consistency)顺序的一致性(Sequential consistency)因果一致性 一般一致性(General Consistency)处理机一致性(Processor consistency)管道(PRAM)一致性 弱一致性(Weak consistency)释放一致性(Release consistency)入口一致性(Release consistency)(4)一致性协议。写-使无效协议和 写更新协议(三)分布式系统中的死锁(1)死锁和饥饿的定义(2)分布式死锁的策略(3)利用时间戳预防死锁方法(4)死锁检测方法(1)死锁和饥饿的定义(2)分布式
13、死锁的策略四个策略被用来处理死锁:四个策略被用来处理死锁:鸵鸟鸵鸟(ostirch)算法:忽略死锁问题。算法:忽略死锁问题。检测和恢复检测和恢复(detection and recovery):允:允许死锁出现,检测并试图恢复之。许死锁出现,检测并试图恢复之。预防预防(prevention):静态地使死锁结构上:静态地使死锁结构上成为不可能。成为不可能。避免避免(avoidance):由仔细地分配资源算法:由仔细地分配资源算法避免死锁。避免死锁。(3)利用时间戳预防死锁方法等等-死(死(wait-die)方法)方法因伤(因伤(wound-wait)等待)等待(4)死锁检测方法 集中式死锁检测方
展开阅读全文