代码改变世界

linux第三章学习笔记

2016-04-06 11:33  20135128  阅读(538)  评论(0编辑  收藏  举报

第三章 进程管理

进程是Unix操作系统抽象概念中最基本的一种。

进程管理是所有操作系统的心脏所在。

一、进程

1. 进程是处于执行期的程序。除了可执行程序代码,还包括打开的文件、挂起的信号、内核内部数据、一个或者多个执行线程等多种资源

  • 线程是在进程活动中的对象;内核调度的对象是线程而不是进程
  • Linux系统中,并不区分线程和进程
  • 可能存在两个或者多个进程执行的是同一个程序;甚至N个进程共享打开的文件、地址空间之类的资源

2. 线程:是进程中活动的对象。每个线程都有一个独立的程序计数器,进程栈和一组进程寄存器。内核调度的对象是线程。

3. 在现代操作系统中,进程提供两种虚拟机制:虚拟处理器和虚拟内存。同一进程中的线程之间可以共享虚拟内存,但是每个都拥有自己的虚拟存储器

4. 进程的生命周期

  • fork():创建新进程
  • exec():创建新的地址空间并把新的程序载入其中
  • clone()fork实际由clone实现
  • exit():退出执行
  • wait4():父进程查询子进程是否终结
  • wait()waitpid():程序退出执行后变为僵死状态,调用这两个消灭掉。

5. 进程在创建它的时刻开始存活,这通常是调用fork系统的结果。该系统调用通过复制一个现有进程来创建一个全新的进程。fork系统调用从内核返回两次,一次到父进程,另一次回到新产生的子进程。

二、进程描述符及任务结构

进程描述符:进程列表存放在任务队列(task list)这一双向链表中,链表的项是task_struct即进程描述符的结构。该类型定义在<linux/sched.h>中。进程描述符包含的数据能完整地描述一个正在执行的程序:

  • 它打开的文件
  • 进程的地址空间
  • 挂起的信号
  • 进程的状态
  • 其他更多信息

 

2.1 进程描述符的分配

  • 目的:Linux通过slab分配task_ struct结构,以达到对象复用以及和缓存着色的目的,避免资源动态分配和释放带来的资源消耗
  • 现在用slab分配器动态生成task_ struct,所以只需要在栈底(对向下增长的栈来说)或栈顶(对向上增长的栈来说)创建一个新的结构struct thread_ info

 

每个任务的thread_info结构在它的内核栈的尾端分配。每个任务的堆栈尾端(比如,对于向上增长的堆栈来说,就是在堆栈的栈顶)有结构体thread_ info,它指向了task_ struct结构体

2.2 进程描述符的存放

1. 内核中的大部分处理处理进程的代码都是通过task_ struct进行的;因此,需要通过current宏查找到当前正在运行进程的进程描述符

2. 通过current宏查找到当前正在运行进程的进程描述符。X86系统中,current把栈指针的后13个有效位屏蔽掉,用来计算出thread_ info的偏移(通过current_ thread_ info函数)

movl $-8192, %eax

andl %esp,%eax3.进程状态

 3.内核通过一个唯一的进程标识值PID来标识每个进程。pid存放在各自进程描述符中。

2.3 进程状态

进程在任何时刻,都必定处于五种状态中的一种

  • TASK_RUNNING 运行
  • TASK_INTERRUPT 可中断
  • TASK_UNINTERRUPT 不可中断
  • TASK_TRACED 被其他进程跟踪的进程
  • TASK_STOPPED 进程停止运行

 

  • TASK_RUNNING:可能是正在运行,也可能表示可执行
  • TASK_ INTERRUPT/TASK_UNINTERRUPT:都表示正在阻塞;然而后者表示的状态收到信号之后也不会被唤醒

2.4 设置进程当前状态

调用set_ task_ state(task,state)函数将进程设置为指定状态

2.5 进程上下文

  • 可执行代码从一个可执行文件载入到进程的地址空间执行。当一个程序执行了系统调用,内核就会代表进程执行并处于进程上下文中
  • 对比:在中断上下文中,系统不代表进程执行——不会有进程去干扰这些中断处理程序

2.6 进程家族树

所有的进程都是pid1init进程的后代。
内核在系统启动的最后阶段启动init进程。

系统中的每一个进程必有一个父进程,可以拥有0个或多个子进程,拥有同一个父进程的进程叫做兄弟。
这种关系存放在进程描述符中,parent指针指向父进程task_structchildren是子进程链表。

获得父进程的进程描述符:

struct task_struct *my_parent = current->parent;

访问子进程:

struct task_struct *task;

struct list_head *list;

 

list_for_each(list, ¤t->children){

    task = list_entry(list, struct task_struct, sibling);

    /* task现在指向当前的某个子进程 */

}

init进程的进程描述符是作为init_task静态分配的。

获取链表中的下一个进程:

list_entry(task->tasks.next, struct task_struct, tasks);

获取链表中的上一个进程:

list_entry(task->tasks.prev, struct task_struct, tasks);

以上依赖于next_task(task)prev_task(task)这两个宏实现。
for_each_process(task)宏,依次访问整个任务队列,每次访问任务指针都指向链表中的下一个元素。

struct task_struct *task;

 

for_each_process(task){

    /* 它打印出每一个任务的名称和PID */

    printk("%s[%d]\n",task->comm, task->pid);

}

三、进程创建

Unix系统的进程创建方式

  • fork()通过拷贝当前进程创建一个子进程
  • exec()负责读取可执行文件并将其载入地址空间开始运行
  • Linuxfork()使用写时拷贝推迟甚至免除拷贝。内核在创建新进程的时候并不复制整个地址空间,而是让父进程和子进程共享同一个拷贝;直到子进程/父进程需要写入的时候才进行拷贝,在此之前以只读方式读取.
  • fork的实际开销只是复制父进程的页表以及给子进程创建唯一的进程描述符

3.1 写时拷贝

3.2 fork()

  1. Linux通过clone系统调用实现fork
  2. fork()vfork()__clone()都根据各自需要的参数标志调用clone()clone去调用do_fork()
  3. 定义在<kernel/fork.c>中的do_ fork()完成创建中的大部分工作,它调用copy_process函数,然后让进程开始运行

 

一般内核会选择子进程首先执行。
why
一般子进程会马上调用exec()函数,避免写时拷贝的额外开销。

  最后copy_process返回的就是指向子进程的指针

3.3 vfork()

  除了不拷贝父进程的页表项外,vfork()系统调用和fork()功能相同。子进程作为父进程的一个单独的线程在它的地址空间里运行,父进程被阻塞,直到子进程退出或执行exec()

  vfork()系统调用的实现是通过向clone()系统调用传递一个特殊标志来进行的

  1. 调用copy_process()是,task_structvfor_done成员被设置为NULL
  2. 执行do_fork()时,如果给定特定标志,则vfor_done会指向一个特定地址。
  3. 子进程先开始执行后,父进程不是马上恢复执行,而是一直等待,知道子进程通过vfor_done指针向它发送信号。
  4. 在调用mm_release()时,该函数用于进程退出内存地址空间,并且检查vfor_done是否为空,如果不为空,则会向父进程发送信号。
  5. 回到do_fork(),父进程醒来并返回。

四、线程在Linux中的实现

  线程机制提供了在同一程序内共享内存地址空间运行的一组线程。在Linux系统中,线程仅仅被视为一个与其他进程共享某些资源的进程。每个线程都有自己的task_struct

4.1 创建线程

1. 线程的创建与普通进程类似,只不过在调用clone()的时候需要传递一些参数标志来指明共享的资源

2. 传递给clone()的参数标志决定了新创建进程的行为方式和父子进程之间共享的资源种类

4.2 内核线程

内核线程与普通进程的区别只在于内核线程没有独立的地址空间,从来不切换到用户空间,可以被调度和被抢占.

  • 它只能通过其他内核线程创建;内核通过kthread内核进程衍生所有的内核线程
  • 新创建的线程处于不可运行状态,直到wake_ up_process()明确地唤醒它

五、进程终结

终结进程大部分依赖于do_exit()来完成:

给子进程重新找养父(线程组中的其他线程或者init进程)

调用schedule()切换到新的进程

这之后,进程不可运行并处于EXIT_ZONBIE退出状态,占用的所有内存就是内核栈、thread_info结构和task_struct结构。此时进程存在的唯一目的就是向它的父进程提供信息。

5.1 删除进程描述符

  1. 该任务是和清理工作分开进行的,因为这样在进程终结之后系统仍然可以获得它的信息
  2. 通过release_task()实现进程描述符的删除
  3. 至此,所有资源都被释放了

5.2 解决孤儿进程

1. 孤儿进程:父进程在进程之前退出,就会遗留下子进程,也就是孤儿进程

2. 解决方法:在当前的线程组内给孤儿进程寻找新的父进程;

              否则直接以init作为其父进程

  • 调用顺序:do_ exit()-->forget_ original_ parent()-->find_ new_ parent()-->ptrace_ exit_ finish()

do_exit()中会调用exit_notify()
exit_notify()会调用forget_original_parent()
forget_original_parent()会调用find_new_reaper()
然后遍历所有子进程并为它们设置新的父进程。
然后调用ptrace_exit_finish()同样进行新的寻父过程,是给ptraced的子进程寻找父亲。
最后init进程会例行调用wait()来检查其子进程,清除所有与其相关的僵死进程。

一旦系统为进程成功地找到和设置了新的父进程,就不会再有出现驻留僵死进程的危险了。init进程会例行调用wait()来检查其子进程,清除所有与其相关的僵死进程。