Linux--进程概念-优快云博客

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
int main()
{
printf("pid: %d\n", getpid());
printf("ppid: %d\n", getppid());
return 0;
}

3-1-6 通过系统调⽤创建进程-fork初识

fork有两个返回值

⽗⼦进程代码共享，数据各⾃开辟空间，私有⼀份（采⽤写时拷⻉）

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
int main()
{
int ret = fork();
printf("hello proc : %d!, ret: %d\n", getpid(), ret);
sleep(1);
return 0;
}

fork 之后通常要⽤ if 进⾏分流
#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
int main()
{
int ret = fork();
if(ret < 0){
perror("fork");
return 1;
}
else if(ret == 0){ //child
printf("I am child : %d!, ret: %d\n", getpid(), ret);
}else{ //father
printf("I am father : %d!, ret: %d\n", getpid(), ret);
}
sleep(1);
return 0;
}

3-2 进程状态

3-2-1 Linux内核源代码怎么说

为了弄明⽩正在运⾏的进程是什么意思，我们需要知道进程的不同状态。⼀个进程可以有⼏个状

态（在Linux内核⾥，进程有时候也叫做任务）。

下⾯的状态在kernel源代码⾥定义：

/*
*The task state array is a strange "bitmap" of
*reasons to sleep. Thus "running" is zero, and
*you can test for combinations of others with
*simple bit tests.
*/
static const char *const task_state_array[] = {
"R (running)", /*0 */
"S (sleeping)", /*1 */
"D (disk sleep)", /*2 */
"T (stopped)", /*4 */
"t (tracing stop)", /*8 */
"X (dead)", /*16 */
"Z (zombie)", /*32 */
};

R运⾏状态（running）: 并不意味着进程⼀定在运⾏中，它表明进程要么是在运⾏中要么在运⾏

队列⾥。

•

S睡眠状态（sleeping): 意味着进程在等待事件完成（这⾥的睡眠有时候也叫做可中断睡眠

（interruptible sleep））。

•

D磁盘休眠状态（Disk sleep）有时候也叫不可中断睡眠状态（uninterruptible sleep），在这个

状态的进程通常会等待IO的结束。

•

T停⽌状态（stopped）：可以通过发送 SIGSTOP 信号给进程来停⽌（T）进程。这个被暂停的

进程可以通过发送 SIGCONT 信号让进程继续运⾏。

•

X死亡状态（dead）：这个状态只是⼀个返回状态，你不会在任务列表⾥看到这个状态。

3-2-2 进程状态查看

ps aux / ps axj 命令

3-2-3 Z(zombie)-僵⼫进程

僵死状态（Zombies）是⼀个⽐较特殊的状态。当进程退出并且⽗进程（使⽤wait()系统调⽤,后

⾯讲）没有读取到⼦进程退出的返回代码时就会产⽣僵死(⼫)进程

•

僵死进程会以终⽌状态保持在进程表中，并且会⼀直在等待⽗进程读取退出状态代码。

•

所以，只要⼦进程退出，⽗进程还在运⾏，但⽗进程没有读取⼦进程状态，⼦进程进⼊Z状态

3-2-4 僵⼫进程危害

进程的退出状态必须被维持下去，因为他要告诉关⼼它的进程（⽗进程），你交给我的任务，我

办的怎么样了。可⽗进程如果⼀直不读取，那⼦进程就⼀直处于Z状态？是的！

•

维护退出状态本⾝就是要⽤数据维护，也属于进程基本信息，所以保存在task_struct(PCB)中，

换句话说，Z状态⼀直不退出，PCB⼀直都要维护？是的！

•

那⼀个⽗进程创建了很多⼦进程，就是不回收，是不是就会造成内存资源的浪费？是的！因为数

据结构对象本⾝就要占⽤内存，想想C中定义⼀个结构体变量（对象），是要在内存的某个位置

进⾏开辟空间！

•

内存泄漏?是的！

•

如何避免？后⾯讲

⾄此，值得关注的进程状态全部讲解完成，下⾯来认识另⼀种进程

3-2-5 孤⼉进程

⽗进程如果提前退出，那么⼦进程后退出，进⼊Z之后，那该如何处理呢？

•

⽗进程先退出，⼦进程就称之为“孤⼉进程”

•

孤⼉进程被1号init进程领养，当然要有init进程回收喽。

3-3 进程优先级

3-3-1 基本概念

cpu资源分配的先后顺序，就是指进程的优先权（priority）。

•

优先权⾼的进程有优先执⾏权利。配置进程优先权对多任务环境的linux很有⽤，可以改善系统性

能。

•

还可以把进程运⾏到指定的CPU上，这样⼀来，把不重要的进程安排到某个CPU，可以⼤改善

系统整体性能。

3-3-2 查看系统进程

在linux或者unix系统中，⽤ps ‒l命令则会类似输出以下⼏个内容：

我们很容易注意到其中的⼏个重要信息，有下：

UID : 代表执⾏者的⾝份

•

PID : 代表这个进程的代号

•

PPID ：代表这个进程是由哪个进程发展衍⽣⽽来的，亦即⽗进程的代号

•

PRI ：代表这个进程可被执⾏的优先级，其值越⼩越早被执⾏

•

NI ：代表这个进程的nice值

3-3-3 PRI and NI

PRI也还是⽐较好理解的，即进程的优先级，或者通俗点说就是程序被CPU执⾏的先后顺序，此

值越⼩进程的优先级别越⾼

•

那NI呢?就是我们所要说的nice值了，其表⽰进程可被执⾏的优先级的修正数值

•

PRI值越⼩越快被执⾏，那么加⼊nice值后，将会使得PRI变为：PRI(new)=PRI(old)+nice

•

这样，当nice值为负值的时候，那么该程序将会优先级值将变⼩，即其优先级会变⾼，则其越快

被执⾏

•

所以，调整进程优先级，在Linux下，就是调整进程nice值

•

nice其取值范围是-20⾄19，⼀共40个级别。

3-3-4 PRI vs NI

需要强调⼀点的是，进程的nice值不是进程的优先级，他们不是⼀个概念，但是进程nice值会影

响到进程的优先级变化。可以理解nice值是进程优先级的修正修正数据

3-3-5 补充概念-竞争、独⽴、并⾏、并发

竞争性: 系统进程数⽬众多，⽽CPU资源只有少量，甚⾄1个，所以进程之间是具有竞争属性的。为

了⾼效完成任务，更合理竞争相关资源，便具有了优先级

•

独⽴性: 多进程运⾏，需要独享各种资源，多进程运⾏期间互不⼲扰

•

并⾏: 多个进程在多个CPU下分别，同时进⾏运⾏，这称之为并⾏

•

并发: 多个进程在⼀个CPU下采⽤进程切换的⽅式，在⼀段时间之内，让多个进程都得以推进，称

之为并发

3.4 进程切换

CPU上下⽂切换：其实际含义是任务切换, 或者CPU寄存器切换。当多任务内核决定运⾏另外的任务

时, 它保存正在运⾏任务的当前状态, 也就是CPU寄存器中的全部内容。这些内容被保存在任务⾃⼰的

堆栈中, ⼊栈⼯作完成后就把下⼀个将要运⾏的任务的当前状况从该任务的栈中重新装⼊CPU寄存器,

并开始下⼀个任务的运⾏, 这⼀过程就是context switch。

注意：

时间⽚：当代计算机都是分时操作系统，没有进程都有它合适的时间⽚(其实就是⼀个计数

器)。时间⽚到达，进程就被操作系统从CPU中剥离下来。

3-4 Linux2.6内核进程O(1)调度队列

3-4-1 ⼀个CPU拥有⼀个runqueue

如果有多个CPU就要考虑进程个数的负载均衡问题

3-4-2 优先级

普通优先级：100〜139（我们都是普通的优先级，想想nice值的取值范围，可与之对应！）

实时优先级：0〜99（不关⼼）

3-4-3 活动队列

时间⽚还没有结束的所有进程都按照优先级放在该队列

nr_active: 总共有多少个运⾏状态的进程

queue[140]: ⼀个元素就是⼀个进程队列，相同优先级的进程按照FIFO规则进⾏排队调度,所以，

数组下标就是优先级！

从该结构中，选择⼀个最合适的进程，过程是怎么的呢？

1. 从0下表开始遍历queue[140]

2. 找到第⼀个⾮空队列，该队列必定为优先级最⾼的队列

3. 拿到选中队列的第⼀个进程，开始运⾏，调度完成！

4. 遍历queue[140]时间复杂度是常数！但还是太低效了！

bitmap[5]:⼀共140个优先级，⼀共140个进程队列，为了提⾼查找⾮空队列的效率，就可以⽤

5*32个⽐特位表⽰队列是否为空，这样，便可以⼤提⾼查找效率！

3-4-4 过期队列

过期队列和活动队列结构⼀模⼀样

过期队列上放置的进程，都是时间⽚耗尽的进程

当活动队列上的进程都被处理完毕之后，对过期队列的进程进⾏时间⽚重新计算

3-4-5 active指针和expired指针

active指针永远指向活动队列

expired指针永远指向过期队列

可是活动队列上的进程会越来越少，过期队列上的进程会越来越多，因为进程时间⽚到期时⼀直

都存在的。

没关系，在合适的时候，只要能够交换active指针和expired指针的内容，就相当于有具有了⼀批

新的活动进程！

3-4-6 总结

在系统当中查找⼀个最合适调度的进程的时间复杂度是⼀个常数，不随着进程增多⽽导致时间成

本增加，我们称之为进程调度O(1)算法！