《Linux内核设计与实现》Chapter 3 读书笔记

时间:2023-12-19 18:24:38

《Linux内核设计与实现》Chapter 3 读书笔记

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

一、进程

1.进程就是处于执行期的程序以及它所包含的资源的总称。

2.线程是在进程中活动的对象。

3.进程提供两种虚拟机制:虚拟处理器和虚拟内存。

4.内核调度的对象是线程,而不是进程。

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

内核把进程的列表存放在叫做任务队列的双向循环链表中。链表中的每一项都是类型为task_struct的进程描述符结构,该结构定义在<linux/sched.h>文件中。

1.分配进程描述符

Linux通过slab分配器分配task_struct结构——能达到对象复用缓存着色的目的。

用slab分配器动态生成task_struct,只需在栈底或者栈顶创建一个新的结构struct thread_info

2.进程描述符的存放

内核通过一个唯一的进程标识值PID来标识每个进程。PID是一个数,表示为pid_t隐含类型,实际上就是一个int类型,最大值默认设置为32768。

3.进程状态

进程描述符中的state域是用来描述进程当前状态。

  • TASK_RUNNING(运行):进程是可执行的,或者正在执行,或者在运行队列中等待执行
  • TASK_INTERRUPTIBLE(可中断):进程正在睡眠,也就是被阻塞
  • TASK_UNINTERRUPTIBLE(不可中断):与可中断状态相同,接收到信号也不会被唤醒或准备投入运行
  • TASK_TRACED:被其他进程跟踪的进程
  • TASK_STOPPED(停止):进程停止执行;进程没有投入运行也不能投入运行。

4.设置当前进程状态

调整某个进程的状态,最好用set_task_state(task,state)函数。

功能:该函数将指定的的进程设置为指定的状态。

等价于

task -> state = state

5.进程上下文

陷入内核空间:从一个可执行文件载入到进程的地址空间执行。

进程只有通过接口才能陷入内核执行。

6.进程家族树

所有的进程都是PID为1的init进程的后代。

系统中的每一个进程必有一个父进程,可以拥有零个或多个子进程,拥有同一个父进程的进程叫做兄弟。

获得父进程的进程描述符:
struct task_struct *my_parent = current->parent; 依次访问子进程:
struct task_struct *task;
struct list_head *list; list_for_each(list, &current->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) for_each_process(task)宏提供了依次访问整个任务队列的能力, struct task_struct *task; for_each_process(task) { /* 它打印出每个任务名称和PID*/ printk("%s[%d]\n", task->comm, task->pid); }

三、进程创建

fork()通过拷贝当前进程创建一个子进程。

(子进程与父进程的区别仅在于PID,PPID和某些资源和统计量)

exec()负责读取可执行文件并将其载入地址空间开始运行。

1.写时拷贝

写时拷贝是一种可以推迟甚至免除拷贝数据的技术,内核不复制整个进程地址空间,而是让父进程和子进程共享一个拷贝。

资源的复制只有在需要写入时才会进行,在此之前以只读方式共享。

2.fork()

do_fork定义在kernel/fork.c文件中,调用copy_process

创建进程的大概步骤:
.fork()、vfork()、__clone()都根据各自需要的参数标志调用clone()。
.由clone()去调用do_fork()。
.do_fork()调用copy_process()函数,然后让进程开始运行。
.返回do_fork()函数,如果copy_process()函数成功返回,新创建的子进程被唤醒并让其投入运行。

3.vfork()

与fork()功能基本相同。

优点:

不拷贝父进程的页表项

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

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

四、线程在Linux中的实现

Linux把所有的线程都当做进程来实现。

1.创建线程

  • 在调用clone()需传递一些参数标志指明共享资源。
 clone(CLONE_VM | CLONE_FS | CLONE_SIGHAND, );

新建的进程和它的父进程就是线程。

  • 一个普通的fork()。
clone(SIGHAND, );
  • vfork()的实现。

clone(CLONE_VFORK | CLONE_VM | SIGHAND, );

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

2.内核线程

内核线程没有独立的地址空间,只在内核空间进行。内核线程也只能由其他线程创建。

内核线程启动后就一直运行直到调用do_exit

五、进程终结

进程终结时,内核必须释放它所占有的资源并告知父进程。

原因:

一般是来自自身,发生在调用exit()系统调用时。

  • 显式的调用
  • 隐式的从某个程序的主函数返回

1.删除进程描述符

释放进程描述符时,需要调用release_task()

2.孤儿进程造成的进退维谷

如果父进程在子进程之前退出,必须有机制来保证子进程能找到一个新的父亲,否则这些成为孤儿的进程就会在退出时永远处于僵死状态。

解决方法:

  1. 在当前进程组找一个线程作为养父
  2. 让init成为它们的父进程。