文章相关视频详解:(文末附上基于Linux内核4.0版本学习路线思维导图)
详解:讲解Linux内核 进程管理,调度器的5种实现 看完视频还不会来找我。
1、进程的概念
进程就是处于执行器的程序(目标代码放在某种存储介质上)。
但进程并不仅仅局限于一个可执行程序代码,通常还要包含其他资源,比如:
打开的文件,挂起的信号,内核内部数据,处理器状态,一个或多个具有内存映射的内存地址空间,一个或多个可执行线程,存放全局变量的数据段等。
内核需要有效而又透明地管理所有细节。
执行线程(thread of execution),简称线程(thread),是进程中活动的对象。每个线程都拥有自己的虚拟存储器,包括程序计数器,栈,一组进程寄存器。
一个进程只有一个虚拟内存实例,所以,进程下的所有线程共享相同的内存地址空间。
进程的另一个名字是任务(task),Linux内核通常把进程叫做任务。
2、进程描述符及任务结构
内核把进程列表存放在任务队列(task list)的双向循环链表中。链表中的每一个节点都是类型为task_struct称为进程描述符(process descriptor)的结构。
每个进程描述符都包含了一个具体进程的所有信息。在32位机器上,大约有1.7KB。所以它包含了前面进程的定义中提到的“打开的文件,挂起的信号......”诸多信息。
Linux内核通过slab分配器分配task_struct结构,这样能达到对象复用和缓存着色的目的。在Linux2.6后面的内核中,每个任务的新的thread_info结构在内核栈的尾端分配,该结构中task指针存放的是指向该任务实际task_struct的指针。
而事实上,Linux内核栈是比较小的,在x86上,32位机的内核栈8KB,64位机是16KB。当然可以配置,每个处理器也都有自己的栈。但是也说明了内核栈不大,而一个进程描述符占了1.7KB,已经是相对较大了。
内核通过一个唯一的进程标识值PID来标识每个进程。PID是一个数,实际上为int类型。PID的最大默认值为32768。当然可以配置。
这个值代表了系统中可以同时存在的进程的最大数目,值越小,转一圈就越快。但是值一大,如果要切换进程,又成了一问题。该PID存在task_struct结构中,实际上最终目的是得到进程描述符。所以通过current宏找到当前正在运行的进程的速度显得尤为重要,硬件体系结构不一样,处理不一样。有的通过专门的寄存器存放当前进程描述符指针。而x86寄存器有限,只能在内核栈尾端创建thread_info结构,通过计算偏移间接地查找task_struct结构。
3、进程状态
进程的状态如下图所示,分为五种,系统中的每个进程一定处在其中的一种。进程的当前状态存储在进程描述符的state域。
该进程状态图非常准确而简要的描述了进程状态的切换,说明了进程从创建到运行到销毁的过程,也说明了进程被抢占或者被中断的转换过程。当然可能需要结合书或者这连续几章的介绍会了解得更加深刻。
是不是学完操作系统原理后觉