操作系统中线程的调度

1. 先到先服务FCFS

和去银行办业务一样，大家站队或者取号，先来的先办业务。这是我们能够理解的很朴素的公平主义。对应到代码实现，可以使用有先进先出特性的队列来实现。但对于操作系统而言，有一种情况下这种实现就很差劲。比如，有一个任务A需要执行一个小时，另外N个任务B执行几十秒就能完成。如果任务A先执行，那么N个任务B必须等到A执行完毕之后，才能依次执行。这对于用户来讲，体验显然是非常差的。于是就有了下面的方案。

2. 短作业优先SJF

短作业优先，可以是平均等待时间最短。用户体验一般和等待时间成正比，越久体验越差。比如，预估时间为2分钟，5分钟，10分钟的三个任务。如果，先后执行次序为10、5、2则平均等待时间为（0+10+5）/3 = 5分钟。而短作业优先的话，2、5、10，（0+2+5）/3=2.3分钟，用户体验因此提高。
但是，有紧急任务来了怎么办？如果短任务不断，那么会有长任务得不到执行怎么办？如果一个长任务执行了很长时间，来了一个短任务该怎么办？这些单靠上面两种“静态”的方案显然是解决不了的。

3. 优先级队列 + 抢占

简言之，优先级队列就是需要紧急任务进行处理时，设置高优先级，优先执行。将任务放进优先队列里面，操作系统通过优先队列选择任务。一般优先队列可以通过大顶堆来实现。
抢占就是把任务执行时间分片，当前每个任务只执行一个时间片，如果完成则调度下一个任务，否则中断，重新调度。
操作系统为每一个将要执行的线程分配一个优先级，优先级最高的下一个执行。当线程执行完当前时间片之后，任务重新开始调度。
这个方案看上去很完美，但是还存在些问题。比如，短时任务优先的话，怎么预估这个任务的执行时间的长短呢？还有，如果一个任务的优先级非常高的话，接下来继续执行它就好了，就没有必要再执行任务调度了，这个怎么实现呢？

4. 多级队列模型

上图一个简单的多级任务队列模型。
优先级队列放不可抢占的紧急任务，操作系统优先执行，这些任务不需要调度。执行完一个，才能执行下一个。
优先级次之的是第二层，这一层中，任务被划分为小时间片，没执行完一个时间片后再执行任务调度。假设来了2分钟，5分钟，10分钟的三个任务，那么前三分钟，这三个任务各自执行了1分钟，再过三分钟，任务1执行完毕，任务2还剩3分钟，任务3还剩8分钟。因为最短业务最快执行完毕，所以近似实现了SJF。这种方式又称时间片轮转。
优先级最低的一层，执行长时间、不重要的大任务。

总结

实际的操作系统任务调度，要比上述复杂的多，但是主要思想都是一致的。掌握这个演进的脉络，能让我们更好的理解内核机制，也让我们在设计其他调度算法的时候，能够有所依据。

参考:
[1] https://kaiwu.lagou.com/course/courseInfo.htm?courseId=478#/detail/pc?id=4628
[2] 深入Linux内核架构