fcfs进程调度算法模型研究.docxVIP

fcfs进程调度算法模型研究 进程规划是操作系统最重要的关键技术之一。进程规划负责动态分配进程中的处理器。进程规划算法的优缺点直接关系到计算机处理设备的利用率、系统呕吐的大小、进程中等待时间的长度等。因此，在设计操作系统时，使用的进程规划算法的性能就值得赞扬。操作系统中有多种常用的调度算法, FCFS调度算法是最简单的调度算法:当一个进程处于就绪状态, 它就进入就绪队列, 当前进程停止运行时, 就从就绪队列中选等待时间最长的进程运行。 这些调度算法各有优缺点, 但一般只从系统吞吐量的高低, 周转时间长短等方面做定性分析, 本文通过模拟数学模型对FCFS调度算法进行定量分析。 排队理论是研究排队现象的理论和应用的学科, 专门研究由于随机因素的影响而产生拥挤现象的科学, 也称为随机服务系统。排队分析是计算机和网络人员的重要工具之一。早在九几年就出现了运用排队理论来分析进程调度算法, 但基本上偏向于排队论模型的理论分析, 而本文通过模拟排队论m/m/1模型来分析FCFS进程调度算法, 主要集中分析调度算法的响应时间, 系统吞吐量, 等待时间等, 深入评价进程调度算法, 对于以后算法的改进提供强有力的依据。 1 建模与分析 1.1 顾客响应时间的计算 任何一个排队过程都包括以下三个过程:到达过程;排队过程;服务过程。 如果一个排队系统仅有一个服务系统, 到达顾客数服从泊松分布, 服务时间服从负指数分布和FIFO排队过程, 则该排队系统被称为m/m/1系统。 假设m/m/1排队模型中顾客到达队列的速率为λ, 顾客平均服务时间1/μ且λμ, 则顾客在系统中的平均响应时间如式 (1)所示。 T=1μ?λΤ=1μ-λ(1) 1.2 fcfs调度算法的基本过程 FCFS调度算法是最简单的进程调度算法。算法描述: 当一个进程处于就绪状态, 就进入就绪队列, 当前进程停止运行时, 就从就绪队列中选等待时间最长的进程运行。 将FCFS调度算法的处理过程模拟为如图1所示服务模型, 该模型由一个队列和单CPU组成。假设进程到达就绪队列的过程是速率为λ的泊松流, CPU的服务时间服从负指数分布, 服务速率为μ。操作系统中处于就绪状态的进程数目是有限的并且相对比较小, CPU的服务速率μ较大。因此FCFS服务模型可以认为是一个m/m/1随机服务模型。 1.3 fcfs的可用性指标分析 1.3.1 响应时间 对于交互式系统或者实时系统, 响应时间是用户所关心的。特别是, 当系统中有大量进程共存时, 仍要能保证每个用户都有可以接受的响应速度而并不感到明显的延迟。根据测定, 当这种延迟超过150ms时, 使用者就会明显地感觉到。响应时间是评价算法的一个重要标准, 所以响应时间越小越好。 根据公式 (1) 如果μ越大,λ越小, 则T越小。这与直觉一样, 如果λ不变, 进程平均服务时间1/μ越短, 则就绪队列中进程的等待时间就越短, 平均响应时间就越短。如果μ=λ, 则T将趋于无穷大, 此时系统性能是最差的。 2 fcfs调度的实验结果 实验环境: CPU P4 2.80GHz, 内存512M, 操作系统 Linux, 编程语言 C, 编译工具 GCC。本实验模拟m/m/1模型, 实验中输入参数分别为:进程进入就绪队列的概率ρι, 进程离开就绪队列的概率ρο, 离散化时间增量S;输出参数分别为:进程的平均等待时间Wt, 进程平均服务时间St。实验数据如表1所示, 实验结果如图2～图7所示。所有图中横坐标表示进程数目, 纵坐标表示进程平均等待时间或平均服务时间。 根据表1中第1, 2, 3组数据可看出进程集的平均等待时间Wt接近于平均服务时间St的两倍, 则说明进程集中部分进程的等待时间远高于服务时间, 即进程花费大部分的时间等待CPU调度, 这是系统不可容忍的。根据表2中第2, 3组数据可看出长进程集的平均等待时间明显高于短进程集的平均等待时间, 因此可以得出FCFS调度算法更适用于短进程集中。 因为FCFS调度与进程所需的服务时间无关, 所以进程集中进程的等待时间都是一致的, 周转时间=等待时间/服务时间+1, 服务时间越长周转时间越短, 所以FCFS更有利于长进程。 与定性分析方法相比, 进程到达队列的过程是随机的, 实验模拟过程较接近于真实环境。但也存在一些缺点:要进行一些简化假设, 实验模拟结果受输入的限制。 3 fcfs进程调度算法的定量分析 采用数学模型分析FCFS进程调度算法, 对于其他的进程调度算法也可以利用类似的方法进行分析。本文通过对FCFS进程调度算法的定量分析得出了与定性分析相同的结果。定量分析过程尽管比定性分析过程复杂, 但它可以对进程调度算法细节做深入分析, 得出的结论也更具有说服力。