博客
关于我
最短任务优先(SJF)调度策略平均周转时间最优性的证明
阅读量:327 次
发布时间:2019-03-04

本文共 1252 字,大约阅读时间需要 4 分钟。

理想情况下,对操作系统中运行的进程作出如下假设:

1.每一个工作运行相同的时间

2.所有的工作同时到达

3.工作一旦开始,每个工作保持运行直到完成.

4.所有工作只是用的CPU(即他们不执行IO操作)

5.每个工作的运行时间是已知的.

先放宽假设1,即任务的运行时间可以存在差异.最短任务优先调度策略是从运筹学中借鉴到计算机领域中的一种调度算法,它描述的策略可以简单概括为:先运行最短的任务,最后是次短的任务,如此下去。

假设存在任务A,B,C同时在t=0时刻到达,其中A执行需要100ms,B和C分别需要10ms.

则SJF 调度策略可以表示为:

定义周转时间

周转时间 = 完成时间 - 到达时间

周转时间是一个性能指标,另一种指标是公平,性能和公平在调度系统中是矛盾的,如调度程序可以优化性能,但代价是阻止一些任务运行,这就降低了公平.

可以计算在这个例子中SJF调度策略的平均周转时间为:

T=\frac{10+20+120}{3} = 50(ms)

事实上,考虑所有工作同时到达的假设,可以证明SJF确实是一个最优的调度算法,现在给出证明.

假设被调度进程集合有n个元素.对这n个进程的任意排列

\{P_0, P_1, P_2, \cdots, P_{n-1}\}

,便是一种调度方案.

设T为任意一种调度策略产生的平均周转时间,则

T=\frac{T_0+(T_0+T_1)+\cdots\ +(T_0+T_1+\cdots +T_{n-1})}{n}

Ti是第i+1个执行的进程的运行时间.

对T0,T1,...,Tn-1递增排序,得Tk0 , Tk1, …… ,Tkn-1,设T'位SJF策略生成的调度方案的平均周转时间,则:

T' = [ Tk0 + (Tk0 + Tk1)+……+( Tk0 + Tk1 + ……+ Tkn-1)]/n

对比构成T和T'的每个累加项,后者永远不大于前者,T'是T中最小值.故,能够产生T'的调度方案必为理论最优,而T2调度方案是SJF生成的,得证.

因此,找到了一个用SJF进行调度的好方法,但是所有任务同时到达仍然是不符合实际的,现在假设任务可以随时到达,而不在是同时到达,会导致什么玩儿你他.

假设A在t=0时刻到达,且需要运行100ms,而B和C在A之后不久(t=10ms)到达,他们仍然被迫等到A完成,从而遭遇到护航问题.

 

T=\frac{100+110-10+120-10}{3} = 103.33(ms)

为了解决这个问题,需要放宽条件(工作必须保持运行直到完成),还需要调度程序本省的一些机制,由于系统提供了时钟终端和上下文切换,当B和C到达时调度程序可以做一些事情,比如抢占A,运行另外一个工作.根据前面的定义,工作一旦开始,必须继续直到完成,所以SJF是一种非抢占式的调度程序,因此存在上述问题.

所以这里就引出了另外一种调度程序,叫做(STCF, shortest-time  to completion First)或抢占是最短作业优先算法.每当新工作进入系统时,它就会确定剩余工作和新工作作用,谁的剩余时间最少,然后调度剩余时间最少的工作.因此,在STCF中,上面的例子将按照如下时间线运行:

平均周转时间变为:

T=\frac{20-10+30-10+120}{3} = 50(ms)

和同时到达的sjf模式一样,考虑到新的假设,STCF可以证明是最优的.考虑到所有工作同时到达,SJF是最优的.所以可以看到,STCF的最优性是符合直觉的.

结束!

转载地址:http://bskh.baihongyu.com/

你可能感兴趣的文章
logstash mysql 准实时同步到 elasticsearch
查看>>
Luogu2973:[USACO10HOL]赶小猪
查看>>
mabatis 中出现< 以及> 代表什么意思?
查看>>
Mac book pro打开docker出现The data couldn’t be read because it is missing
查看>>
MAC M1大数据0-1成神篇-25 hadoop高可用搭建
查看>>
mac mysql 进程_Mac平台下启动MySQL到完全终止MySQL----终端八步走
查看>>
Mac OS 12.0.1 如何安装柯美287打印机驱动,刷卡打印
查看>>
MangoDB4.0版本的安装与配置
查看>>
Manjaro 24.1 “Xahea” 发布!具有 KDE Plasma 6.1.5、GNOME 46 和最新的内核增强功能
查看>>
mapping文件目录生成修改
查看>>
MapReduce程序依赖的jar包
查看>>
mariadb multi-source replication(mariadb多主复制)
查看>>
MariaDB的简单使用
查看>>
MaterialForm对tab页进行隐藏
查看>>
Member var and Static var.
查看>>
memcached高速缓存学习笔记001---memcached介绍和安装以及基本使用
查看>>
memcached高速缓存学习笔记003---利用JAVA程序操作memcached crud操作
查看>>
Memcached:Node.js 高性能缓存解决方案
查看>>
memcache、redis原理对比
查看>>
memset初始化高维数组为-1/0
查看>>