高级操作系统Advanced Operating System熊 焰 0551-63600689中国科学技术大学计算机学院 分布式系统模型 分布式处理机分配 分布式进程调度 分布式系统容错 实时分布式系统第四章 分布式进程和处理机管理 模型的作用 精确地 定义 要建立或分析的系统的属性和特 征 提供 检验 这些 属性的基础 代表性的模型 数学函数型 有限状态自动机 (FSM) 图模型4.1分布式系统 模型 数学 函数型 y1,y2, yn=f(x1,x2, xn) f(x1,x2, xn)=f1(f2(f3(x1,x2,x3, xn) 特点：分层 分层的好处： 组织大量数据 检查层次间输入与输出的一致性 缺点：不保存数据4.1分布式系统模型 有限状态自动机 (FSM)4.1分布式系统模型 有限状态自动 机 (FSM) 优点： 对于说明数据处理是非常 理想的 限制： 固有地串行化了 所有并发 明确假设一个输入的所有处理在下一个输入到达之前完成4.1分布式系统模型 图模型4.1分布式系统模型 图模型 局限性： 它没有体现 “状态 ”的概念4.1分布式系统模型 分布式系统模型的分类 工作站模型 处理机池模型 两者混合模型4.1分布式系统模型4.1.1 工作站模型
