题目:
若被调度进程集合恒定,考察指标为平均周转时间,试证明SJF策略生成的调度方案理论最优
证明:
假设被调度进程集合有n个元素.对这n个进程的任意排列{P0,P1,P2,...,Pn-1},便是一种调度方案.
设T1为任意进程调度方案产生的平均周转时间,注意:此处T1是值不确定的!T1=[M0+(M0+M1)+...+(M0+M1+...+Mn-1)]/n;Mi是第i+1个执行的进程的运行时间!!!
对M0,M1,...,Mn-1递增排序,得Mk0 , M k1, …… ,M k n-1,设T2位SJF策略生成的调度方案的平均周转时间,则:
T2 = [ Mk0 + (Mk0 + M k1)+……+( Mk0 + M k1 + ……+ M k n-1]/n
对比构成T1和T2的每个累加项,后者永远不大于前者,T2是T1中最小值.故,能够产生T2的调度方案必为理论最优,而T2调度方案是SJF生成的,得证.
本人微信公众号:Yongf.欢迎关注,与我交流