一进程优先级1.1基本概念1cpu资源分配的先后顺序就是指进程的优先权。进程在已经能得到某种资源的前提下得到某种资源的先后顺序。2优先权高的进程有优先执行权利。配置进程优先权对多任务环境的Linux很有用可以改善系统性能。3有进程优先级本质是因为资源不足所以分配资源之前要确认优先级可以决定进程得到某种资源的先后顺序。1.2怎么查看进程优先级在Linux系统中使用 ps -l 命令会输出以下内容从上面的输出的首行信息可以看到UID代表执行者的身份。PID代表这个进程的标示符。PPID代表这个进程是由哪个进程发展衍生而来的也就是这个进程的父进程的标示符。PRI代表这个进程可被执行的优先级其值越小越早被执行。NI代表这个进程的nice值。1.3PRI和NI1PRI就代表进程的优先级也就是程序被CPU执行的先后顺序此值越小进程的优先级越高。2NI是这个进程的nice值其表示进程可被执行的优先级的修正数值。3PRI值越小越快被执行那么加入nice值后会使PRI变为PRI (new) PRI (old) nice值。4当nice值为负值的时候那么该程序优先级值就会变小其优先级就会变高则其越快被执行。5所以要调整进程优先级在Linux下就是调整进程nice值。6nice值取值范围是 -20 --- 19一共四十个级别。1.4调整进程优先级命令1top命令这是创建的子进程的优先级执行top命令后按 “r” ----输入进程PID ---- 输入nice值。可以看到这个进程的 PRI 和 RI 被修改了。输入的NI值为-20再次修改NI值19可以发现这个进程的PRI值并不是601979而是801999,出现这种情况的原因是PRI(old)默认都是80也可以看到进程优先级的调整变化范围是 [ 6099 ]并且不能高频修改进程的优先级。其他调整优先级命令nicerenice 。系统函数1.5补充概念竞争性: 系统进程数目众多而CPU资源只有少量甚至1个所以进程之间是具有竞争属性的。为了高效完成任务更合理竞争相关资源便具有了优先级。独立性: 多进程运行需要独享各种资源多进程运行期间互不干扰。并行: 多个进程在多个CPU下分别同时进xing运行这称之为并行。并发: 多个进程在⼀个CPU下采用进程切换的方式在⼀段时间之内让多个进程都得以推进称之为并发。二进程切换CPU上下文切换其实际含义是任务切换或者CPU寄存器切换。当多任务内核决定运行另外的任务时它保存正在运行任务的当前状态也就是CPU寄存器中的全部内容。这些内容被保存在任务自己的堆栈中入栈工作完成后就把下一个将要运行的任务的当前状况从该任务的栈中重新装入CPU寄存器并开始下一个任务的运行这一过程就是context Switch 。参考Linux内核0.11代码时间片当代计算机都是分时操作系统每个进程都有它合适的时间片其实就是一个计数器。时间片到达进程就被操作系统从CPU剥离下来。三Linux2.6内核进程O(1)调度队列3.1首先抛出两个问题1在c语言定义的一个结构体中有四个成员哪一个成员的地址是最大的typedef struct A { int a; int b; int c; double d; }A;a b c d 。2如果只给了其中一个成员的地址怎么算出这个结构体的起始地址#includestdio.h typedef struct A { int a; int b; int c; double d; }A; int main() { printf(%d\n, sizeof(A)); A obj { 1,2,3,4.0 }; int* pc (obj.c);//已知成员c的地址 int* count (((A*)0)-c);//算出以0为起始地址c成员的偏移量 A* pA (A*)((int)pc - (int)count);//pc减去偏移量就是结构体A的起始地址 printf(%p\n, pA); printf(%d\n, pA-c);// 3 return 0; }结论c语言中任何变量的地址数字是开辟众多字节中地址数据最小的那个。组织进程task_struct就是Linux系统中的PCB(进程控制块)可以在内核源代码里找到它。所有运行在系统里的进程都以task_struct双链表的形式存在内核里。struct list_head就是Linux系统中的双链表也就是task_struct里的一个成员struct list_head tasks。tasks里的两个指针并不指向task_struct结构体而是指向struct list_head结构体所以对进程的管理就变成了对这个双链表的管理。遍历链表时怎么获取一个进程中的其他属性值呢前面我说过只给出其中一个成员的地址就可以算出这个结构体的起始地址所以我们已经知道了task_struct其中一个成员struct list_head tasks的地址同样也可以算出task_struct这个结构体的起始地址只要算出task_struct的起始地址就可以访问进程中的其他属性值。3.2一个CPU拥有一个runqueue1普通优先级100~139我们都是普通的优先级想想nice值的取值范围可与之对应。实时优先级0~99不关心。优先级数字本质就是数组下标优先级数字40优先级PRI数字范围是[ 6099]对应的数组下表范围为[ 100139]这就是我们要关心的普通优先级。2调度队列图解3活动队列1时间片还没有结束的所有进程都按照优先级放在活动队列。2nr_active记录运行状态的进程总个数。3queue[140]一个元素就是一个进程队列相同优先级的进程按照先进先出规则进行排队调度所以数组下标就是优先级。4从该结构中选择一个最合适的进程过程是怎样的1从0下标开始遍历queue[140]2找到第一个非空队列该队列必定为优先级最高的队列3拿到选中队列的第一个进程开始运行调度完成4遍历queue[140]虽然是常数时间复杂度(数组大小固定)但还是太低效了。5由于遍历queue[140]太低效所以就有了位图 bitmap[5]一共140个优先级140个进程队列为了提高查找非空队列的效率就可以用 5*32 个比特位表示队列是否为空1表示该队列非空0表示空这样就可以大大提高查找效率。4过期队列1过期队列和活动队列结构一样。2过期队列上放置的进程都是时间片耗尽的进程。3当活动队列上的进程都被处理完毕之后对过期队列的进程进行时间片重新计算。5active指针和expired指针1active指针永远指向活动队列expired指针永远指向过期队列。2当活动队列上的进程时间片用完就会根据优先级链入到过期队列。具体来说进程在被调度执行时操作系统会为其分配一个时间片即允许该进程占用CPU运行的时间长度。当这个时间片被消耗殆尽时说明该进程本轮已经获得了足够的CPU执行时间此时它就不能继续留在活动队列中占用资源了。于是调度器会根据该进程当前的优先级将它从活动队列中取出并按照优先级高低链入到过期队列的相应位置。在过期队列中所有进程同样按照优先级排列优先级高的进程排在前面等待下一轮调度时优先获得CPU资源。这样设计的目的是为了保证系统的公平性——每个进程都能轮流获得CPU执行机会避免某些高优先级进程长期霸占CPU而导致低优先级进程出现饥饿现象。当活动队列中的所有进程都被处理完毕即所有进程的时间片都用完并转移到过期队列之后调度器会将active指针和expired指针进行交换使原来的过期队列变成新的活动队列从而开始新一轮的调度循环。3到这里就可以讲一下这个nice值了为什么不能直接修改进程的优先级数字是因为这样做的代价太大所以就有了nice值优先级修正数值。当我们修改一个进程的nice值后这个进程的优先级数字并不会立即改变当这个进程被调度完时间片耗尽会根据nice值重新计算优先级数字这个进程的优先级数字就会发生改变然后根据这个优先级数字再链入到过期队列。当活动队列中的所有进程都被处理完毕调度器会将active指针和expired指针进行交换使原来的过期队列变成新的活动队列从而开始新一轮的调度循环。此时那些在上一轮中因时间片耗尽而被放入过期队列的进程就会在新的活动队列中按照重新计算后的优先级数字参与调度获得再次使用CPU的机会。通过这种方式nice值虽然不直接修改优先级数字却能在每一轮调度结束后间接地影响进程的优先级从而实现对进程调度优先级的灵活调整既保证了系统的公平性又避免了频繁修改优先级数字带来的高昂代价。6总结在系统中查找一个最合适调度的进程的时间复杂度是一个常数不会随着进程增多而导致时间成本增加我们称之为进程调度O算法。