相关文档

• 高级操作系统AdvancedOperatingSystem.pptx

  单击此处编辑母版标题样式4914??单击此处编辑母版文本样式二级三级四级五级高级操作系统Advanced Operating System熊 焰 yxiongustc.edu0551-63600689中国科学技术大学计算机学院分布式系统模型分布式处理机分配分布式进程调度分布式系统容错实时分布式系统第四章 分布式进程和处理机管理模型的作用精确地定义要建立或分析的系统的属性和特征提供检验这些属性

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System熊焰_3607394中国科学技术大学计算机系第四章 分布式路由算法分布式路由算法导论一般类型网络的最短路径路由算法 特殊类型网络的单播算法特殊类型网络中的多播算法虚信道和虚网络 完全自适应和无死锁路由算法几个自适应和无死锁路由算法 容错单播的一般方法 网格和圆环中的容错单播算法超立方中的容错单播算法容错组播算法 超立方中的容错单播 按照

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System熊 焰 中国科学技术大学计算机学院分布式系统模型分布式处理机分配分布式进程调度分布式系统容错实时分布式系统第四章 分布式进程和处理机管理模型的作用精确地定义要建立或分析的系统的属性和特征提供检验这些属性的基础代表性的模型数学函数型有限状态自动机(FSM)图模型分布式系统模型数学函数型[y1y2…yn]=f(x1x2…xn)f(x1x2…

• 高级操作系统AdvancedOperatingSystem.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级陈香兰2007.3.21分布式系统同步(续)单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级陈香兰2007.3.21分布式系统同步(续)高级操作系统Advanced Operating System熊 焰Yxiongustc.edu0551_63600689中国科学技术大学计算机学院陈香兰2007

• 高级操作系统AdvancedOperatingSystem.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级高级操作系统Advanced Operating System熊焰yxiongustc.edu0551_3600689中国科学技术大学计算机系第二章 分布式路由算法主要内容分布式路由算法导论一般类型网络的最短路径路由算法 特殊类型网络的单播算法特殊

• 高级操作系统AdvancedOperatingSystem.ppt

  单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级高级操作系统Advanced Operating System陈香兰(代)xlanchenustc.edu0551-3606864-83中国科学技术大学计算机系第五章 分布式进程和处理机管理分布式系统模型分布式处理机分配算法分布式进程调度分布式系统容错实时分布式系统上次课主要内容5.1 分布式系统模型工作站模型怎样找到一

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System熊 焰_3600689中国科学技术大学计算机系42520221第二章 分布式系统同步分布式系统时钟同步分布式互斥分布式选举算法分布式系统死锁分布式系统时钟同步在分布式系统中：进程之间的通信：采用消息传递(Message-passing)而不是通过共享存储器进行通信的与进程通信密切相关的问题：进程之间是如何彼此协作和同步的 例

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System熊 焰_3600689计算机科学与技术学院42520221教科书和参考书Textbook Reference课程历史教科书Textbook: 《Distributed Operating System》Prentice Hall出版社<分布式 计算机系统> 孙钟秀国防工业出版社.参考书References: 1. 《分布式操作

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System熊焰中国科学技术大学计算机系基于任务优先图的任务调度案例2：优先级定义案例2假定只有两个处理器优先图中不同节点的等级不相同下面的算法生成一个优先图：假定有k个终止节点(无后续节点)从1到k依次标记这些节点令S是没有被分配(未被标记)的节点的集合并且其中每个节点的后续节点都已被标记从中选一个标记成i方法如下：令lex(u)是u的所有直接后

• 高级操作系统AdvancedOperatingSystem.ppt

  高级操作系统Advanced Operating System陈香兰(代)_3606864-83中国科学技术大学计算机系第四章 分布式路由算法分布式路由算法导论一般类型网络的最短路径路由算法 特殊类型网络的单播算法特殊类型网络中的多播算法虚信道和虚网络 完全自适应和无死锁路由算法几个自适应和无死锁路由算法 容错单播的一般方法 网格和圆环中的容错单播算法超立方中的容错单播算法容错组播算法上次课主要内