Linux系统进程优先级——计算方式

迈不过友情╰ 2022-05-17 02:29 158阅读 0赞

**在进程世界中，CPU访问协调裁决的过程被称为调度（Scheduling）。**

## **一、进程调度的目标：** ##

a.进程响应时间快

b.加强交互性能

c.保证公平和避免饥饿

d.SMP调度

e.软实时调度

## **二、进程区分为三类：** ##

**a.交互式进程**

进程与用户进行交互，比如等待键盘鼠标等操作，接收这些输入后进程必须很快被唤醒，否则用户将发现反应迟钝，平均延迟在50-150ms之间。

**  b.批处理进程**

这些进程不必与用户交互，因此常在后台运行。

**      c.实时进程**

这些进程有很强的调度需要，这样的进程决不会被优先级的进程阻塞。有一个很短的相应时间，且相应的时间变化很小。

## **三、调度类型：** ##

**SCHED\_FIFO**

先进先出的实时进程。当调度程序把CPU分配给进程的时候，它把该进程描述符保留在运行队列链表的当前位置。如果没有其他可运行的更高优先级实时进程，进程就继续使用CPU，想用多久就用多久，即使还有其余具有相同优先级的实时进程处于可运行状态。

**       SCHED\_RR**

时间片轮转实时进程。当调度程序把CPU分配给进程的时候，它把该进程的描述符放在运行链表的末尾。这种策略保证对所有具有相同时间优先级的SCHED\_RR实时进程公平地分配CPU时间。

**        SCHED\_NORMAL**

普通的分时进程。

### 四、普通进程的调度： ###

每个普通进程均具有自己静态优先级，调度程序使静态优先级来评估系统中这个进程与其他普通进程之间调度的程度。内核用从100（最高优先级）到139（最低优先级）的数表示普通进程的静态优先级。值越大静态优先级越低。

**4.1 基本时间片：**

(140 - 静态优先级) \* 20   静态优先级 < 120

基本时间片（ms） =    \{

![安抚][gif.latex_25u5B89_25u629A] (140 – 静态优先级) \* 5    静态优先级 >= 120 ![答复][gif.latex_25u7B54_25u590D]

从上面公式看出静态优先级本质决定进程基本时间片，静态优先级越高（其值越小），基本时间片就越长。

<table> 
 <tbody> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 静态优先级 </td> 
 <td style="vertical-align:top;width:69.15pt;"> Nice值 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 基本时间片 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 交互的δ值 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 睡眠的极限时间 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 最高静态优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 100 </td> 
 <td style="vertical-align:top;width:69.15pt;"> -20 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 800ms </td> 
 <td style="vertical-align:top;width:69.15pt;"> -3 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 299ms </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 高静态优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 110 </td> 
 <td style="vertical-align:top;width:69.15pt;"> -10 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 600ms </td> 
 <td style="vertical-align:top;width:69.15pt;"> -1 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 499ms </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 缺省静态优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 120 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 0 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 100ms </td> 
 <td style="vertical-align:top;width:69.15pt;"> +2 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 799ms </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 低静态优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 130 </td> 
 <td style="vertical-align:top;width:69.15pt;"> +10 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 50ms </td> 
 <td style="vertical-align:top;width:69.15pt;"> +4 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 999ms </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:90.65pt;"> 最低静态优先级 </td> 
 <td style="vertical-align:top;width:69.1pt;"> 139 </td> 
 <td style="vertical-align:top;width:69.15pt;"> +19 </td> 
 <td style="vertical-align:top;width:69.15pt;"> 5ms </td> 
 <td style="vertical-align:top;width:69.15pt;"> +6 </td> 
 <td style="vertical-align:top;width:93.55pt;"> 1199ms </td> 
 </tr> 
 </tbody> 
</table>

**4.2 动态优先级：**

其值范围100（最高优先级）到139（最低优先级）的数表示普通进程的静态优先级。值越大静态优先级越低。动态优先级的调度程序在选择新进程来运行时候使用的数，与静态优先级关系如下公式：

动态优先级 = max（100 ， min（静态优先级 – bonus + 5 ，139））

bonus是范围0-10的值，值小于5表示降低动态优先级以示惩罚，值大于5表示增加动态优先级以示奖赏。bonus的值依赖于过去进程平均睡眠时间。（注：平均睡眠时间是进程在睡眠状态所消耗的平均纳秒数）

<table> 
 <tbody> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 平均睡眠时间 X(ms) </td> 
 <td style="vertical-align:top;width:138.25pt;"> bonus </td> 
 <td style="vertical-align:top;width:138.3pt;"> 粒度 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 0 ≤ X ≤ 100 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 0 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 5120 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 100 ≤ X ≤ 200 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 1 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 2560 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 200 ≤ X ≤ 300 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 2 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 1280 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 300 ≤ X ≤ 400 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 3 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 640 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 4000 ≤ X ≤ 500 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 4 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 320 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 500 ≤ X ≤ 600 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 5 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 160 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 600 ≤ X ≤ 700 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 6 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 80 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 700 ≤ X ≤ 800 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 7 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 40 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 800 ≤ X ≤ 900 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 8 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 20 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 900 ≤ X ≤ 1000 </td> 
 <td style="vertical-align:top;width:138.25pt;"> 9 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 10 </td> 
 </tr> 
 <tr> 
 <td style="vertical-align:top;width:138.25pt;"> 1s </td> 
 <td style="vertical-align:top;width:138.25pt;"> 10 </td> 
 <td style="vertical-align:top;width:138.3pt;"> 10 </td> 
 </tr> 
 </tbody> 
</table>

平均睡眠时间也被调度程序用来确定一个给定进程是交互进程还是批处理进程，如果满足下面条件则是交互进程：

动态优先级 ≤ 3×静态优先级/4+28

也可以写成：

bonus – 5 ≥ 静态优先级/4 - 28

由上面表达式可以看出，高优先级比低优先级更容易成为交互式进程。

**4.3 活动和过期进程：**

为避免进程饥饿，当一个进程用完它的时间片时，它还应该被没有用完时间片的低优先级进程取代。

**a.活动进程**

还没有用完时间片的进程。

**b.过期进程**

已经用完时间片的可运行进程，被禁止运行，直到所有活动进程都过期。

用完其时间片的活动批处理进程总是变成过期进程。用完其时间片的交互式进程仍然是活动进程：调度程序重填其时间片并把它留在活动进程集合中；但是，如果最老的过期进程已经等待很长时间，或者过期进程比交互进程的静态优先级高，调度程序就把用完时间片的交互式进程移到过期进程集合中；最后，活动进程集合将变为空，过期进程将有机会运行。

## 五、实时进程调度 ##

每个实时进程都有一个实时优先级，范围从1（最高优先级）- 99（最低优先级）的值。调度程序总是让优先级高的进程运行，禁止低优先级运行。

如果发生以下情况，实时进程将会被另外一个进程取代：

1.  进程被另外一个具有更高实时优先级的实时进程抢占。
2.  进程执行阻塞操作并进入睡眠（处于TASK\_INTERRUPTIBLE或TASK\_UNINTERRUPTIBLE状态）
3.  进程停止（处于TASK\_STOPPED或TASK\_TRACED状态）或被杀死（处于EXIT\_ZOMBIE或EXIT\_DEAD状态）
4.  进程调用sched\_yield自愿放弃CPU
5.  进程是基于时间片轮转的实时进程（SCHED\_RR）,而且用完它的时间片

注：基于时间片轮转的实时进程的基本时间片长度与实时进程优先级无关，而依赖进程的静态优先级，计算与普通进程调度计算方式一样。

PS：本人也是菜鸟，自己学习了一点就分享出来，若有纰漏欢迎指正！

[gif.latex_25u5B89_25u629A]: https://private.codecogs.com/gif.latex?%25u5B89%25u629A
[gif.latex_25u7B54_25u590D]: https://private.codecogs.com/gif.latex?%25u7B54%25u590D