ch10_Linux内核分析2 linux课件.pptVIP

xlanchen@2007.9.25 Linux OS Analysis Linux的进程 主要内容 进程描述符 进程切换 进程的创建和删除 进程调度 主要内容 进程描述符 进程切换 进程的创建和删除 进程调度 进程和线程 多道程序对操作系统的需求?进程 进一步提高并发度，对操作系统的需求?线程 进程是执行程序的一个实例 进程和程序的区别 几个进程可以并发的执行一个程序 一个进程可以顺序的执行几个程序 线程和进程的区别 Linux 2.4内核以及之前的版本都不支持线程 Linux中的线程是在用户态实现的，不是本课程的内容 进程描述符 为了管理进程，内核必须对每个进程进行清晰的描述。 进程描述符提供了内核所需了解的进程信息 include/linux/sched.hstruct task_struct 数据结构很庞大 基本信息 管理信息 控制信息 Linux进程的状态 可运行状态(TASK_RUNNING) 可中断的等待状态(TASK_INTERRUPTIBLE) 不可中断的等待状态(TASK_UNINTERRUPTIBLE) 暂停状态(TASK_STOPPED) 僵死状态(TASK_ZOMBIE) 状态值的改变通常是一个简单的赋值 内核也提供set_task_state 和set_current_state 宏 进程状态转换图 标识一个进程 使用进程描述符地址 进程和进程描述符之间有非常严格的一一对应关系，使得用32位进程描述符地址标识进程非常方便 使用PID (Process ID，PID) 每个进程的PID都存放在进程描述符的pid域中 0~32767 新pid的产生：get_pid +1 循环 内核函数get_pid的算法 pid空间：0～32767 可用pid窗口 初始：1～32767 在可用pid窗口中，依次分配 可用pid窗口无效时，顺时针循环确定新的可用pid窗口 首先顺时针循环确定窗口起点 然后根据起点，采用逐次缩小范围法，确定窗口终点 用户如何获得一个进程的pid 系统调用getpid?sys_getpid 关于进程组 使用组链表 所有进程共享组内第一个进程的pid 数据：tgid 单独一个进程可以看成只有一个进程的组 getpid返回组pid 进程描述符和进程的内核堆栈 Linux为每个进程分配一个8KB大小的内存区域，用于存放该进程两个不同的数据结构： 进程描述符 进程的内核堆栈 进程处于内核态时使用，不同于用户态堆栈 内核控制路径所用的堆栈很少，因此对栈和描述符来说，8KB足够了 Task_union C语言允许用如下的一个union结构来方便的表示这样的一个混合体 进程描述符的分配/回收/访问 alloc_task_struct free_task_struct get_task_struct current宏进程描述符 从刚才看到的进程描述符和内核态堆栈之间的配对，内核可以很容易的从esp寄存器的值获得当前在CPU上运行的进程的描述符指针 因为这个内存区是8KB=213大小，内核必须做的就是让esp有13位的有效位，以获得进程描述符的基地址 这个工作由current宏来完成 Current宏的使用 Current宏可以看成当前进程的进程描述符指针，在内核中直接使用 举例： 比如current-pid返回在CPU上正在执行的进程的PID 进程链表 为了对给定类型的进程(比如所有在可运行状态下的进程)进行有效的搜索，内核维护了几个进程链表 所有进程链表 SET_LINKS和REMOVE_LINKS宏用来分别在进程链表中插入和删除一个进程描述符。 for_each_task宏扫描整个进程链表 TASK_RUNNING状态的进程链表 当内核调度程序寻址一个新的进程在cpu上运行时，必须只考虑可运行进程，因为扫描整个进程链表效率很低 引入了可运行状态的双向循环链表，也叫运行队列 进程描述符使用用来实现运行队列 对可运行队列的一些操作函数 pidhash表及链接表 在一些情况下，内核必须能从进程的PID得出对应的进程描述符指针。例如kill系统调用 为了加速查找，引入了pidhash散列表 用pid_hashfn宏把PID转换成表的索引 pidhash表及链接表 进程之间的亲属关系 程序创建的进程具有父子关系，在编程时往往需要引用这样的父子关系。进程描述符中有几个域用来表示这样的关系 等待队列 当要把除了TASK_RUNNING状态之外的进程组织在一起时，linux使用了等待队列 TASK_STOPPED和TASK_ZOMBIE不在专门的链表中 TASK_INTERRUPTIBLE和TASK_UNINTERRUPTIBLE状态的进程再分成很多类，每一类对应一个特定的事