Linux从青铜到王者第七篇:Linux进程控制
Posted 森明帮大于黑虎帮
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Linux从青铜到王者第七篇:Linux进程控制相关的知识,希望对你有一定的参考价值。
系列文章目录
前言
一、程序地址空间
1.程序地址空间背景
- kernel 2.6.32
- 32位平台
2.程序地址空间回顾
我们在学习C语言时老师讲过这样的空间布局图:
- 对于一个C语言程序,内存空间主要由5个部分组成:代码段(.text),数据段(.data),BSS区,堆,栈。
- 代码段:代码区,text segment:存放CPU执行的机器指令(machine instructions)。通常,代码区是可共享的(即另外的执行程序可以调用它),因为对于频繁被执行的程序,只需要在内存中有一份代码即可。代码区通常是只读的,使其只读的原因是防止程序意外地修改了它的指令。另外,代码区还规划了局部变量的相关信息。
- 数据段:存放已初始化全局变量,静态变量(包括全局静态变量和局部静态变量),和常量数据(例如常量字符串)。
- BSS:未初始化数据区,Uninitialized data segment:存入的是未初始化全局变量,未初始化静态变量,初始化为0的全局变量,初始化为0的静态变量。例如不在任何函数内的声明:int a;BSS 是英文Block Started by Symbol 的简称。BSS 段属于静态内存分配,即程序一开始就将其清零了。一般在初始化时BSS段部分将会清零。
- 堆:用于动态内存分配,程序员自己分配和释放。
- 栈:编译器自动分配和释放,存放局部变量,函数参数,返回数据等。
栈是向下增长的,堆是向上增长的,最大化了可用空间。
下图是更详细的空间布局图:
可能目前对它我们并不是很了解,没关系,看下面一段代码,得出什么结论?
1 #include<iostream>
2 #include<unistd.h>
3 #include<stdlib.h>
4 int g_val=10;
5
6 int main()
7 {
8 pid_t pid=fork();
9 if(pid<0)
10 {
11 std::cout<<"fork error"<<std::endl;
12 }
13 else if(pid==0)
14 {
15 std::cout<<"child pid="<<getpid()<<std::cout<<" g_val="<<g_val<<std::cout<<" 地址"<<&g_val<<std::endl;
16 }
17 else
18 {
19 std::cout<<"parent pid="<<getpid()<<std::cout<<" g_val="<<g_val<<std::cout<<" 地址"<<&g_val<<std::endl;
20 }
21 sleep(1);
22 return 0;
23 }
我们发现,输出出来的变量值和地址是一模一样的,很好理解呀,因为子进程按照父进程为模版,父子并没有对变量进行进行任何修改。可是将代码稍加改动。
1 #include<iostream>
2 #include<unistd.h>
3 #include<stdlib.h>
4 int g_val=10;
5
6 int main()
7 {
8 pid_t pid=fork();
9 if(pid<0)
10 {
11 std::cout<<"fork error"<<std::endl;
12 }
13 else if(pid==0)
14 {
15 g_val=100;
16 std::cout<<"child pid="<<getpid()<<std::cout<<" g_val="<<g_val<<std::cout<<" 地址"<<&g_val<<std::endl;
17 }
18 else
19 {
20 sleep(3);
21 std::cout<<"parent pid="<<getpid()<<std::cout<<" g_val="<<g_val<<std::cout<<" 地址"<<&g_val<<std::endl;
22 }
23 sleep(1);
24 return 0;
25 }
- 我们发现,父子进程,输出地址是一致的,但是变量内容不一样!能得出如下结论:
- 变量内容不一样,所以父子进程输出的变量绝对不是同一个变量。
- 但地址值是一样的,说明,该地址绝对不是物理地址。
- 在Linux地址下,这种地址叫做 虚拟地址。
- 我们在用C/C++语言所看到的地址,全部都是虚拟地址!物理地址,用户一概看不到,由OS统一管理。
OS必须负责将 虚拟地址 转化成 物理地址 。
3.进程地址空间
所以之前说"程序的地址空间"是不准确的,准确的应该说成进程地址空间 ,那该如何理解呢?看图:
通俗来说:
- 早期内存管理原理:
- 要运⾏一个程序,会把这些程序全都装⼊内存。
- 当计算机同时运⾏多个程序时,必须保证这些程序用到的内存总量要⼩于计算机实际物理内存的⼤⼩问题。
- 进程地址空间不隔离。由于程序都是直接访问物理内存,所以恶意程序可以随意修改别的进程的内存数据,以达到破坏的目的。
- 内存使⽤效率低。在 A 和 B 都运⾏的情况下,如果⽤户⼜运⾏了程序 C ,⽽程序 C 需要 15M ⼤ ⼩的内存才能运⾏,而此时系统只剩下 4M 的空间可供使⽤,所以此时系统必须在已运⾏的程序中 选择一个将该程序的数据暂时拷⻉到硬盘上,释放出部分空间来供程序 C 使⽤,然后再将程序 C 的数据全部装入内存中运⾏。
- 程序运⾏的地址不确定。当内存中的剩余空间可以满足程序 C 的要求后,操作系统会在剩余空间中随机分配一段连续的 20M ⼤⼩的空间给程序 C 使⽤,因为是随机分配的,所以程序运⾏的地址是不确定的,这种情况下,程序的起始地址都是物理地址,而物理地址都是在加载之后才能确定。
由于以上机制存在问题,那如何将虚拟地址转换为物理地址呢?
得出结论 :
4.调度队列的本质
等待队列:本质是把进程PCB排队的过程。
二、进程创建
1.fork函数初识
在linux中fork函数时非常重要的函数,它从已存在进程中创建一个新进程。新进程为子进程,而原进程为父进程。
#include <unistd.h>
pid_t fork(void);
返回值:自进程中返回0,父进程返回子进程id,出错返回-1
- 进程调用fork,当控制转移到内核中的fork代码后,内核做:
- 分配新的内存块和内核数据结构给子进程。
- 将父进程部分数据结构内容拷贝至子进程。
- 添加子进程到系统进程列表当中。
- fork返回,开始调度器调度。
当一个进程调用fork之后,就有两个二进制代码相同的进程。而且它们都运行到相同的地方。但每个进程都将可以开始它们自己的旅程,看如下程序:
代码如下:
1 #include<iostream>
2 #include<unistd.h>
3 int main()
4 {
5 std::cout<<"I am a process:"<<getpid()<<std::endl;
6 pid_t ret=fork();
7 if(ret<0)
8 {
9 std::cout<<"fork error"<<std::endl;
10 }
11 else if(ret==0)
12 {
13 std::cout<<"I am child,my pid is:"<<getpid()<<" my return:"<<ret<<std::endl;
14 sleep(2);
15 }
16 else
17 {
18 std::cout<<"I am father,my pid is:"<<getpid()<<" my return is:"<<ret<<std::endl;
19 sleep(2);
20 }
21 return 0;
22 }
所以,fork之前父进程独立执行,fork之后,父子两个执行流分别执行。注意,fork之后,谁先执行完全由调度器决定。
2.fork函数返回值
- 子进程返回0。
- 父进程返回的是子进程的pid。
3.写时拷贝
通常,父子代码共享,父子再不写入时,数据也是共享的,当任意一方试图写入,便以写时拷贝的方式各自一份副本。具体见下图:
理解下面题目:
4.fork常规用法
- 一个父进程希望复制自己,使父子进程同时执行不同的代码段。例如,父进程等待客户端请求,生成子进程来处理请求。
- 一个进程要执行一个不同的程序。例如子进程从fork返回后,调用exec函数。
5.fork调用失败的原因
- 系统中有太多的进程。
- 实际用户的进程数超过了限制。
三、进程终止
1.进程退出场景
-
代码运行完毕,结果正确,退出码为0。
-
代码运行完毕,结果不正确,退出码不为0。
-
代码异常终止,出现警告。
代码如下:
1 #include<iostream>
2 #include<unistd.h>
3 int fun()
4 {
5 int i=2/0;
6 }
7 int main()
8 {
9 std::cout<<"Hello Linux"<<std::endl;
10 sleep(1);
11 int ret=fun();
12 return 0;
13 }
2.进程常见退出方法
- 正常终止(可以通过 echo $? 查看进程退出码):
- 从main返回。
- 调用exit。
- 调用_exit。
- 异常退出:
- ctrl + c,信号终止。
3._exit函数
#include <unistd.h>
void _exit(int status);
参数:status 定义了进程的终止状态,父进程通过wait来获取该值
说明:虽然status是int,但是仅有低8位可以被父进程所用。所以_exit(-1)时,在终端执行$?发现返回值是255。
4.exit函数
#include <unistd.h>
void exit(int status);
- exit最后也会调用exit, 但在调用exit之前,还做了其他工作:
- 执行用户通过 atexit或on_exit定义的清理函数。
- 关闭所有打开的流,所有的缓存数据均被写入。
- 调用_exit。
那么请看下面结果发现exit和 _exit的区别:
- 使用_exit系统调用函数:
- 使用exit库函数:
1 #include<iostream>
2 #include<stdlib.h>
3 #include<unistd.h>
4 int main()
5 {
6 std::cout<<"你好呀!";
7 sleep(1);
8 exit(0);
9 // _exit(0);
10 return 0;
11 }
冲刷缓冲区是用回调函数来解决,回调函数我们之前在C语言中已经讲过:
5.return退出
return是一种更常见的退出进程方法。执行return n等同于执行exit(n),因为调用main的运行时函数会将main的返回值当做 exit的参数。
四、进程等待
1.进程等待的必要性
- 之前讲过,子进程退出,父进程如果不管不顾,就可能造成‘僵尸进程’的问题,进而造成内存泄漏。
- 另外,进程一旦变成僵尸状态,那就刀枪不入,“杀人不眨眼”的kill -9 也无能为力,因为谁也没有办法杀死一个已经死去的进程。
- 最后,父进程派给子进程的任务完成的如何,我们需要知道。如,子进程运行完成,结果对还是不对,或者是否正常退出。
- 父进程通过进程等待的方式,回收子进程资源,获取子进程退出信息。
2.进程等待的方法
1.wait方法
#include<sys/types.h>
#include<sys/wait.h>
pid_t wait(int*status);
返回值:
成功返回被等待进程pid,失败返回-1。
参数:
输出型参数,获取子进程退出状态,不关心则可以设置成为NULL
1 #include<iostream>
2 #include<sys/wait.h>
3 #include<stdlib.h>
4 #include<unistd.h>
5 int main()
6 {
7 pid_t pid=fork();
8 if(pid<0)
9 {
10 std::cout<<"fork error"<<std::endl;
11 }
12 else if(pid==0)
13 {
14 int count=0;
15 while(1)
16 {
17 sleep(1);
18 std::cout<<"i am child"<<std::endl;
19 if(count==3)
20 {
21 break;
22 }
23 count++;
24 }
25 exit(0);
26 }
27 else
28 {
29 int count=0;
30 while(1)
31 {
32 sleep(1);
33 std::cout<<"i am father"<<std::endl;
34 while(count==5)
35 {
36 wait(NULL);
37 }
38 count++;
39 }
40 exit(0);
41 /* std::cout<<"father before...."<<std::endl;
42 wait(NULL);
43 std::cout<<"father after..."<<std::endl;*/
44 }
45 return 0;
46 }
2.waitpid方法
pid_ t waitpid(pid_t pid, int *status, int options);
返回值:
当正常返回的时候waitpid返回收集到的子进程的进程ID;
如果设置了选项WNOHANG,而调用中waitpid发现没有已退出的子进程可收集,则返回0;如果调用中出错,则返回-1,这时errno会被设置成相应的值以指示错误所在。
参数:
pid:
Pid=-1,等待任一个子进程。与wait等效。
Pid>0.等待其进程ID与pid相等的子进程。
status:
WIFEXITED(status): 若为正常终止子进程返回的状态,则为真。(查看进程是否是正常退出)。
WEXITSTATUS(status): 若WIFEXITED非零,提取子进程退出码。(查看进程的退出码)。
options:
WNOHANG: 若pid指定的子进程没有结束,则waitpid()函数返回0,不予以等待。若正常结束,则返回该子进程的ID。
- 如果子进程已经退出,调用wait/waitpid时,wait/waitpid会立即返回,并且释放资源,获得子进程退出信息。
- 如果在任意时刻调用wait/waitpid,子进程存在且正常运行,则进程可能阻塞。
- 如果不存在该子进程,则立即出错返回。
1 #include<iostream>
2 #include<sys/wait.h>
3 #include<unistd.h>
4 #include<stdlib.h>
5 int main()
6 {
7 pid_t pid=fork();
8 if(pid<0)
9 {
10 std::cout<<"fork error!\\n"<<std::endl;
11 }
12 else if(pid==0)
13 {
14 //child
15 int count=0;
16 while(count<5)
17 {
18 std::cout<<"child is running,pid="<<getpid()<<std::endl;
19 sleep(1);
20 count++;
21 }
22 exit(0);
23 }
24 //father
25 std::cout<<"father wait before!"<<std::endl;
26 pid_t ret=waitpid(pid,NULL,0);
27 if(ret>0)
28 {
29 std::cout<<"wait success!"<<std::endl;
30 }
31 else
32 {
33 std::cout<<"wait failed"<<std::endl;
34 }
35 std::cout<<"father wait after!"<<std::endl;
36 return 0;
37 }
看下面结果图发现当父进程调用了waitpid函数时父进程就被阻塞了,阻塞期间当子进程运行完毕父进程才执行完毕,所以只有子进程退出了父进程才会退出,那么子进程就一定不是僵尸进程。
3.获取子进程status
- wait和waitpid,都有一个status参数,该参数是一个输出型参数,由操作系统填充。
- 如果传递NULL,表示不关心子进程的退出状态信息。
- 否则,操作系统会根据该参数,将子进程的退出信息反馈给父进程。
- status不能简单的当作整形来看待,可以当作位图来看待,具体细节如下图(只研究status低16比特位)。
测试exit code,exit signal。
1 #include<iostream>
2 #include<unistd.h>
3 #include<sys/wait.h>
数据结构从青铜到王者第七篇:数据结构之堆