分布式操作系统复习大纲.ppt

分布式操作系统复习大纲 （一）分布式操作系统 （0）分布式操作系统的定义 （1）分布式系统的体系结构类型 （2）构造分布式操作系统的途径 （3）分布式操作系统的层次结构 （4）多机，网络和分布式操作系统间差别 （5）透明性(Transparency)意义 （6）分布式计算机系统的资源管理 （7）分布式操作系统的同步算法 （0）分布式操作系统的定义 文献中已经给出分布式系统的各种定义，没有一个是满意的并且没有一个为其他所同意。为此，给出一个松散的特征就够了。 Tanenbaum给出如下定义： A distributed system is a collection of independent computers that appears to its user as a single coherent system. 分布式操作系统是分布式系统的操作系统。 （1）分布式系统的体系结构类型 Tanenbaum和Renesse将分布式系统分成五类： 小型机类型(minicomputer model) 工作站类型(workstation model) 处理机池类型(processor pool model) 工作站-服务器类型(workstation-server model) 混合类型(hybrid model) （2）构造分布式操作系统的途径 ⑴从头开始； ⑵修改、扩充式； ⑶层次式。 （3）分布式操作系统的层次结构 一个分布式操作系统大致可分成四层，由内向外依次是： ①执行层； ②进程通信层； ③服务支持层； ④用户接口层。 （4）多机、网络和分布式操作系统间差别 （5）透明性(Transparency)意义 （6）分布式计算机系统的资源管理 ⑴从单个资源与多个管理者的相互关系 ⑵从多个资源与多个管理者的相互关系 ⑶从实用的角度 ⑷分布式计算机系统的资源管理的算法 ⑴从单个资源与多个管理者的相互关系 全集中管理方式 即专制(autocratic)管理 功能分布管理方式即分担管理或分割(partitioned)管理 浮动管理方式即 轮流(successive)管理 全分散管理方式即 民主(democratic)管理 ⑵从多个资源与多个管理者的相互关系 ①集中:所有资源属一个管理者管理。 ②分管：每一资源只属一个管理者管理。 ③部分管理：每一资源属于若干管理者管理。 ④合管：每一资源属于全部管理者共同管理。 ⑶从实用的角度 ⑷分布式计算机系统的资源管理的算法 ①招标（投标）算法 ②回声算法 ③由近及远算法 （7）分布式操作系统的同步算法 ⑴偏序Happened-Before关系(筒称HB)的定义 ⑵时钟（clock）条件的定义 ⑶系统的逻辑时钟的定义 ⑷事件e的时间戳的定义 ⑸全序先于（?）关系的定义 ⑹向量时钟的定义和向量时钟的实现规则以及例子 （7）分布式操作系统的同步算法 ⑺集中式互斥算法 ⑻分布式算法（Lamport算法） ⑻分布式算法（Ricart-Agrawala算法） ⑼令牌算法 ⑾欺负（霸主Bully）算法 ⑿局部状态的定义 ⒀全局状态的定义 ⒁一致的全局状态、不一致的全局状态、无过渡的全局状态和强一致的全局状态的定义及例子 ⑴偏序Happened-Before关系(筒称HB)的定义： ⒈a ? b ①若a和b是同一进程中的两个事件，且a在b前发生；或者， ②若a是一进程中发送消息的事件，b是另一进程中接收同一消息的事件。 ⒉该关系是传递的，即若a ? b且b ? c，则有a ? c。 ⒊该关系是非自反的，即?a~(a?a)，因一事件不可能它自身之前发生。 ⑵时钟（clock）条件的定义： 对系统中的任何事件a和b，若a ? b，则LC(a)必须小于LC(b)。 ⑶系统的逻辑时钟的定义： 系统的逻辑时钟（Logic Clock简记为LC）是满足时钟条件的系统事件集合到非负整数的映射。 当事件e ? 进程Pi时， LC(e)= LCi(e)。 ⑷事件e的时间戳的定义： 称事件e的逻辑时钟值LC(e)为事件e的时间戳（Time Stamp简记为TS）。 ⑸全序先于（?）关系的定义： 我们称进程pi中的事件a先于进程pj中的事件b(以a ? b表示) 当且仅当 ①LCi (a) LCj (b)；或 ②LCi (a) = LCj (b)，且pi?pj，其中关系“?”是进程的一个任意偏序。 实现关系“?”的一个简单方法是给系统中每个进程赋以一个唯一的进程号，且规定：若i j，则pi ? pj。 a ? b定义了一个全序关系。 ⑹向量时钟的定义和向量时钟的实现规则以及例子： 设n为分布式系统中进程个数，每个进程Pi装配一个向量时钟VCi[1, n]，它是一个长度为n的向量。可以把它想象为一个函数，赋给任何