Linux进程调度概述

Posted brucemengbm

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Linux进程调度概述相关的知识,希望对你有一定的参考价值。

 

                                          

 

可运行队列

 

基于实时进程调度

    调度程序中最主要的数据结构式运行队列(runqueue)。可运行队列是给定处理器上的可运行进程的链表,每一个处理器一个。

每一个可投入运行的进程都唯一的归属于一个可运行队列。此外,可运行队列中还包括每一个处理器的调度信息。所以,可运行队列也是每一个处理器最重要的数据结构。

为了避免死锁。要锁住多个执行队列的代码必须总是依照相同的顺序获取这些锁:依照可执行队列地址从低向高的顺序。

注:死锁是指两个或两个以上的进程在运行过程中,因为竞争资源或者因为彼此通信而造成的一种堵塞的现象。若无外力作用。它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。

runqueue是一个双向循环队列,一旦调度时机触发,内核又一次计算当前队列中全部进程执行权值。并从中挑选出权值最高的进程作为当前进程投入执行。

其弊端:

1)调度时机触发,又一次计算runqueue中每一个进程执行权值,复杂度为O(n) 且调度性能与内核负载相关。

2runqueue同一时候管理着实时进程与非实时进程(普通进程),内核通过进程属性,如实时或非实时、实时进程优先级、用户进程或内核线程相关因素来计算执行权值count,灵活性低,且不便于理解和维护。

 

 

 

优先级数组

    每一个执行队列都有两个优先级数组,一个活跃的和一个过期的。是prio_array类型的结构体。优先级数组时一种可以提供O(1)级算法发杂度的数据结构。优先级数组使可执行处理器的每一种优先级都包括一个相应的队列,而这些队列包括相应优先级上的可执行进程链表。

    每一个优先级数组还包括一个叫做struct list_head的队列,每一个链表与一个给定的优先级相相应。每一个链表都包括该处理器队列上相应优先级的所有可执行进程。

 

又一次计算时间片

    在全部的进程的时间片CPU分配给各个程序的时间都用完时,都採用一种显式的方法来又一次计算每一个进程的时间片。

    新的Linux调度程序降低了对循环的依赖。取而代之的是它为每一个处理器维护两个优先级数组:既有活动数组也有过期数组。活动数组内的可运行队列上的进程都还有时间片剩余;而过期数组内的可运行队列上的进程都耗尽了时间片。

当一个进程的时间片耗尽时。它会被移至过期数组,但在此之前。时间片已经给它又一次计算好了。

 

4 schedule()

    选定下一个进程并切换到它去运行是通过schedule()函数实现的。当内核代码想要休眠时,会直接调用该函数,另外,假设有哪个进程将被抢占。那么该函数也会被唤起运行。schedule()函数独立于每一个处理器运行。

 

计算优先级和时间片

    nice值之所以起名为静态优先级,是由于它从一開始由用户指定后。就不能改变。

动态优先级通过一个关于静态优先级和进程交互性的函数关系计算而来。effective_prio()函数能够返回一个进程的动态优先级。

这个函数以nice值为基数,再加上-5+5之间的进程交互性的奖励或罚分。

    通过一些判断来获取准确反映进程究竟是I/O消耗型的还是处理器消耗型的。

最明显的标准莫过于进程休眠的时间长短了。假设一个进程的大部分时间都在休眠,那么它就是I/O消耗型的。假设一个进程运行的时间比休眠的时间长。那它就是处理器消耗型的。

    还有一方面。又一次计算时间片相对简单了。它仅仅要以静态优先级为基础就能够了。在一个进程创建的时候,新建的子进程和父进程均分父进程剩余的进程时间片。

这种分配非常公平而且防止用户通过不断创建新进程来不停地获取时间片。task_timeslice()函数为给定任务返回一个新的时间片。时间片的计算仅仅须要把优先级按比例缩放。使其符合时间片的数值范围要求就能够了。

    调度程序还提供了第二种机制以支持交互进程:假设一个进程的交互性很强。那么当它时间片用完后,它会被放置到活动数组而不是过期数组中。

 

睡眠和唤醒

    休眠(被堵塞)的进程处于一个特殊的不可运行状态。进程把它自己标记成休眠状态。把自己从可运行队列移出,放入等待队列,然后调用schedule()选择和运行一个其它进程。

唤醒的过程刚好相反:进程被设置为可运行状态,然后再从等待队列中移到可运行队列。

    休眠有两种相关的进程状态:TASK_INTERRUPTIBLETASK_UNINTERRUPTIBLE。休眠通过等待队列进行处理。

等待队列是由等待某些事件发生的进程组成的简单链表。

内核用wake_queue_head_t来代表等待队列。等待队列能够通过DECLARE_WAITQUEUE()静态创建。也能够由init_waitqueue_head()动态创建。唤醒操作通过函数wake_up()进行。它会唤醒指定的等待队列上的全部进程。

关于休眠有一点须要注意。存在虚假的唤醒。

有时候进程唤醒并非由于它所等待的条件达成了,所以才须要用一个循环处理来保证它等待的条件真正达成。

 

负载平衡程序

    负载平衡程序有kernel/sched.c中的函数load_balance()来实现。它有两种调用方法。在schedule()运行的时候。仅仅要当前的可运行队列为空。它就会被调用。此外,它还会被定时器调用:系统空暇时每隔1毫秒调用一次或者在其它情况下每隔200毫秒调用一次。负载平衡程序调用时须要锁住当前处理器的可运行队列而且屏蔽中断,以避免可运行队列被并发地訪问。

 



以上是关于Linux进程调度概述的主要内容,如果未能解决你的问题,请参考以下文章

Linux进程调度概述

Linux系统编程Linux进程调度

原创Linux进程调度-实时调度器

Linux系统编程——进程调度浅析

Linux内核进程调度overview

[架构之路-39]:目标系统 - 系统软件 - Linux OS内核进程/线程调度的基本原理