分布式系统的进程管理和实时分布式系统2009.pptVIP

主要内容 4.1 线程 4.2 系统模型 4.3 处理机分配 4.4 分布式系统中的调度 4.5 容错 4.6 实时分布式系统 4.1 线程 4.2系统模型 工作站模型 （workstation model） 处理机池模型（processor pool model） 混合模型 关于空闲工作站的研究集中于解决以下几个问题，这些关键问题是： （l）怎样找出一台空闲机器？ （2）远程进程怎样透明地运行？ （3）如果（空闲）机器的主人回来重新使用它时怎么办？ 在机柜中放满了 CPU，它们可以根据需要动态地分配给用户，处理机池模型如图4-11 所示。在这种模型中不是给用户个人工作站，而是给他们高性能的图形终端，如X终端（虽然小的工作站也可用作终端）。这种想法是基于这样的观察，就是许多用户真正想要的是高质量的图形接日和良好的性能。概念上，它更像传统的分时系统，而个是个人计算机模型，尽管它是用现代技术（低价微处理机）构建成的。 4.3 处理机分配 4.4 分布式系统的调度 不可迁移：当创建一个进程时，系统就决定为该进程分配哪台处理机。一旦分配完毕，进程将一直在这台处理机上运行，直至结束。无论这台处理机是多么严重的超载，也不管其他处理机有多少空闲，它都不能移到其他的处理机上。 可迁移:在可迁移的策略下，还可将它即使已经开始运行的进程迁移到别的处理机上继续运行。可迁移策略能够提供更好的负载平衡，但同时也增加了系统的复杂性，并对系统的设计有很大的影响。 对于处理机分配算法，我们总是希望对它进行些优化。如果不是这样，我们只要为新的进程随机分配一个处理机或以数字顺序分配就可以了。 然而，准确地说各个系统想要优化的内容各不相问，一个可能的目标是使CPU的利用率最大化， 即：每小时中，使实际运行用户任务的CPU周期数最大，也即尽可能地减少CPU的空闲时间，让每个CPU都在运行。 在两个处理机中两个进程的响应时间 处理机分配算法的设计问题 近年来，人们提出了大量的处理机分配算法。本节将讨论在这些算法中所涉及的一些关键问题以及一些不同的折衷方案。在设计算法时，设计者要考虑的问题可概括为以下五个方面： （l）确定性与启发性（试探性）算法； （2）集中式与分布式算法； （3）最优与次优算法； （4）本地与全局算法； （5）发送者发起与接收者发起算法。 确定性算法 适用于当进程的所有行为都是事先知道的情况。设想一下如果你有一张所有进程的清单；这些进程的计算需求、文件需求、通信需求等等，有了这些信息，那么设计一个完美的分配方案是可能的。从理论上说，可以尝试所有的可能，从而找到一个最优解。 只有极少数系统的所有信息是预先可知的，但有时可得到一个合理的近似。 例如：银行、保险、航空订票系统中，每大都很相像。航空公司甚至能很好地预测在早春季节，某个星期一早上有多少人要从纽约飞往芝加哥，所以很容易精确地描绘出系统负载的特性。至少，从统计上来说，使用确定性算法是可能的。 启发性（试探性）算法 另一个极端是系统的负载是完全不可预测的。工作请求视用户正在做什么而定，并且每个小时，甚至每分钟都有可能发生很大的变化。在这种系统中，处理机分配不能用数学的、确定性的算法来实现，而只能使用特别的启发性（试探性）算法。 集中式与分布式 第二个设计问题是集中式与分布式，这个问题反复贯穿于本书。 把所有信息搜集到一个地点便于作出更好的决定，但这使得系统不够健壮，而且使中心机器的负载过重。通常倾向于采用分布式算法，但一些集中式算法仍被采用，因为缺少相应的可替代的分布式算法。 协同调度（co-scheduling） 将一组协同进程安排在不同处理机的同一时间片内以产生最小的时间延迟。 4.6 实时分布式系统 什么是实时系统： 当某个激励出现时，系统必须以一定的方式在限定的时间内响应它。 如果超时，即使结果正确，也认为是系统失效 实时系统类型 软实时系统：允许偶尔错过截至时间（deadline） 硬实时系统：严格不允许，如飞机导航 实时事件流 事件类型 周期的、非周期的、突发的 例：3个事件流+1个意外事件 分布式实时系统结构 对实时系统的误解 误解之一：实时系统就是用汇编代码来编写的驱动程序。 误解之二：实时计算是快速计算。 误解之三：高速的计算机将使实时系统过时无用。 设计问题 ： 事件触发系统 当一个重要的外部事件触发时，它被传感器察觉到，并导致与传感器相连的CPU得到一个中断请求。 通常是中断驱动的。 主要问题 当事件风暴（event shower）发生时，在重载情况下会失效。 设计问题： 时间触发系统 每⊿ T毫秒产生一次时钟中断。在每一次时钟滴答时，对（选定的）传感器进行采样，并且驱动（特定