Linux Kernel Development 笔记（二）进程

最新推荐文章于 2013-04-11 11:52:55 发布

new_sheep

最新推荐文章于 2013-04-11 11:52:55 发布

阅读量689

点赞数

分类专栏： linux笔记

本文链接：https://blog.csdn.net/new_szsheep/article/details/8642244

版权

linux笔记专栏收录该内容

9 篇文章 0 订阅

订阅专栏

进程是在运行中的程序，但进程又不仅仅只是执行中的代码，还包括一套资源，包括文件，传递中的信号，内部内核数据，进程状态，一个内存地址空间，一个或多个执行线程以及含有全局变量的数据段。线程是进程中的活动单元，一个线程包含唯一的PC指针，进程堆栈以及一套CPU寄存器。内核调度是以线程为单位而不是进程。Linux有唯一的线程实现方式，它并不区分线程和进程，对于Linux来说，线程是一种特殊的进程类型。在现代操作系统中，进程提供了两种虚拟功能，一个虚拟的处理器以及一个虚拟的内存空间。这给予进程一个假象，他像是单独的拥有处理器以及整个系统内存，尽管它与众多弟兄分享着共同的处理器以及内存。不过有趣的是，线程是共享虚拟内存的，虽然每一个线程单独拥有自己的虚拟处理器。

进程的诞生是通过创建而来，在Linux中，是通过fork()系统调用来创建的。创建的新进程会复制目前调用fork的进程。因为调用fork的进程成为父进程，拷贝父进程基因的进程称为子进程。父进程在创建完子进程后，会继续执行剩下的代码。子进程也是在与父进程同一个位置开始执行（也就是调用fork后返回的地方）。这个fork会分别在父进程以及子进程中返回，返回一个整型数分别代表父进程以及子进程。一般来说，创建新进程的目的不是为了运行旧程序，而是运行新程序。在Linux中，则会调用exec系统调用来创建新的地址空间以及装载新的程序。最后，进程通过exit系统调用退出，并释放所拥有的资源。当进程退出后，会被置为zombie状态（僵尸状态），直到其父进程通过wait系列系统调用来等待其状态。

内核把一系列进程保存在一个循环的双向链表，称之为任务列表（Task list)。每一个任务列表项称为进程描述项（struct task_struct)，包含了进程的所有信息。这个描述结构相对来说比较大，包含了已打开的文件，进程地址空间，传递中的信号，进程状态等等。进程的描述结构是通过 slab allocaor创建的。2.6内核以前的版本，task_struct是存放到每个进程的内核栈的最底部，主要是配合少寄存器的机器而设计的。现在，都是通过slab动态创建的。但新的结构struct thread_info被放置在以前task_struct所放置的位置了（进程内核栈的底部或顶部）。改结构的task元素指向对应的task_struct。

系统通过进程ID来辨认进程（PID)，该值是一个模糊类型（就是其物理表现不清晰的）pid_t，大部分是int类型。内核会把pid保存在每一个进程描述里。为了兼容，进程的数量控制在32768个。但这个对于未来使用是不够的，可以通过修改/proc/sys/kernel/pid_max来修改。在内核里，进程通常是由指向struct_task的指针来代言。为了能快速的获得当前进程的信息（当前进程的strcut_task），内核提供了一个宏current。一般current是通过先获取thread_info，在通过它的task项获得的，而且可以采用thread_info位于内核栈的最底部的特性来巧妙取得。

进程有五种状态，分别是

运行态（TASK_RUNNING)：

进程处于一种可运行的状态，要么进程正在运行，要么是进程进入了等待队列即将运行。在用户态下，这是仅有可能的进程状态。内核态下，正在运行的进程也可以赋予此种状态

可中断态（TASK_INTERRUPTIBLE)：

此时进程处于休眠状态，等待某些条件的到来。一旦条件到来，则内核会置进程状态为TASK_RUNNING。同时，如果收到信号信息，进程或许会提早恢复到可运行状态。

不可中断态（TASK_UNINTERRUPTIBLE)：

这个状态跟可中断状态是一致的，除了此状态在收到信号信息时候，进程是不会恢复到可运行状态之外。这种状态一般用在不可被打断的等待或激活条件很快产生的情况，因为其不会被信号打断，故此此状态一般比可中断状态用频率低。

跟踪态（__TASK_TRACED)：

表明此进程正在被别的进程跟踪，例如调试器，通过ptrace

停止态（__TASK_STOPPED)：

如果进程不再运行同时也不能再运行，则置为此态。这个一般是在任务收到SIGSTOP， SIGTSTP，SIGTTIN或SIGTTOU信号或在调试状态收到任何信号后发生的。

内核经常需要更改进程的状态，一般都是通过set_task_state(task, state)系统函数来执行的。

一般情况下，进程是运行在用户态的，一旦程序调用系统函数或触发一个例外，则程序会进入内核态。在这点上，内核可以说是代替进程运行在进程的上下文中。一旦内核进入

此状态，则current就可以用了。一旦退出内核态（一般都系统函数返回），则会返回到用户态继续执行代码，如果暂时没有更高优先级的进程抢占处理器。进程只能通过系统

函数调用才能开始进入内核态。

Linux的进程间，存在唯一的层级关系。所有的进程都是init进程的后代，此进程的PID为1。内核在启动过程的最后一刻启动了init进程，接着init进程读取系统的initscripts脚本，

依次执行更多的程序，最终完成启动过程。所有的进程都是有init进程诞生的，故此他们都是init的子进程，而同属与一个父进程的进程成为弟兄，这些都通过进程描述结构体的parent，以及children项来记录的。通过一个进程，可以遍历所有的进程。init进程的描述符结构是静态的创建为init_task。

进程的创建fork在linux中，是把父进程的资源都拷贝一份给子进程，但如果是简单的拷贝是非常低效能的，故此linux采用的是copy-on-write（COW）技术，此技术是延迟数据的拷贝，在刚开始是不进行实质的拷贝动作，而是父进程与子进程共享同一份。一旦这个被标上要copy的数据要被写入，则会实质性的进行拷贝动作，此时子进程就拥有自己真正的资源。这个技术会延迟虚拟空间中每一page的实质拷贝，直到有实际写入动作发生的时候才做拷贝。故此，linux的进程在进行fork后，接着执行exec，是不会做实质拷贝动作的，仅仅只是拷贝父进程的页表以及创建一个进程描述符结构体。

创建过程：

1. 调用fork，接着会通过调用clone最终调用内部的do_fork，接着先调用copy_process，建立内核栈，thread_info, task_struct。这些内容的值都与创建的进程是一致的。

2. 检查一下子进程是否超过了当前用户允许的最大进程数

3. 子进程会对进程描述结构的一些项进行初始化，以有别于其父进程，一般改动的都是与统计信息相关的字段，大部分还是原封不动。

4. 子进程的状态会置为TASK_UNINTERRUPTIBLE来确保其暂时不能运行

5. 子进程的标志着拥有超级用户优先级的PF_SUPERPRIV 标志位会去掉（在进程描述结构里），换上PF_FORKNOEXEC标志，意味着执行了fork但未执行exec

6. 调用alloc_pid为子进程申请一个PID号

7. 根据传给clone的标志参数，来决定是否复制或者共享一般在进程中线程能共享的资源，包括文件信息，信号处理，地址空间等。

8. 最后copy_process会清除以及返回一个指向子进程指针的给调用者，接着内核运行子进程（注意，不一定是子进程立马就运行），子进程只要简单调用exec便可以

消除任何因为父进程先运行并执行写内存的动作引发COW的开销。

线程是现代程序的抽象，线程可以在同一个内存空间中执行，并分享进程中的所有资源，是真正的并发。在Linux内核中，其实是无所谓的线程概念的，linux把线程就

当初普通的标准进程，并没有为其开辟特殊的调度语法或数据结构。线程仅仅是一个能与其他进程共享某些资源的进程而已。他们也有唯一的task_struct，不同与一般