Linux进程控制(2): 进程等待/程序替换

进程等待

我们知道, 子进程先退出, 父进程如果不管不顾, 就会导致僵尸进程, 进而造成资源泄漏等严重问题
一旦产生僵尸进程, “杀人不眨眼”的kill -9也无能为力, 因为没有办法杀死一个已经僵死的进程
那么如何避免产生僵尸进程呢?？？

父进程通过进程等待的方式, 回收子进程资源, 获取子进程退出信息 .

这里先说一下阻塞和非阻塞:

阻塞: 为了完成某个功能发起一个调用, 若当前不具备完成功能的条件, 则一直等待不返回
非阻塞: 为了完成某个功能发起一个调用, 若当前不具备完成功能的条件, 则立即报错返回

非阻塞相较于阻塞, 对cpu利用更加充分, 因为不需要再一直等待了, 但是必须循环进行操作

进程等待的方法

wait函数: 阻塞等待任意一个子进程退出, 获取子进程的返回值放到status指向的空间中, 并且释放子进程资源, 返回退出的子进程pid

pid_t wait(int *status);
返回值：
成功后,返回终止子进程的进程号;如果出错,则返回-1
status参数：
获取子进程退出状态,不关心则可以设置成为NULL
如果status不为NULL,则wait()和waitpid()将状态信息存储在它指向的int中

waitpid函数: 不仅可以等待任意一个子进程的退出, 也可以等待指定的子进程的退出, 并且可以设置为非阻塞

pid_t waitpid(pid_t pid, int *status, int options);
返回值：
1.成功后,返回状态已更改的子进程的ID
2.如果指定了WNOHANG并且存在由pid指定的一个或多个子进程,但不存在尚未更改的状态,则返回0 
3.出错时,返回-1

参数pid:
pid < -1,表示等待任何进程组ID等于pid的绝对值的子进程
pid = -1,表示等待任何子进程
pid = 0,表示等待任何进程组ID与调用进程的ID相等的子进程
pid > 0,表示等待进程ID等于pid值的子进程

status:
WIFEXITED(status): 如果子进程正常终止,则返回true(查看进程是否是正常退出)
WEXITSTATUS(status): 返回子进程的退出状态.
                     仅当WIFEXITED返回true时,提取子进程退出码(查看进程的退出码)

options:
0: 则表示默认阻塞等待;
WNOHANG: 非阻塞等待,若pid指定的子进程没有结束,则waitpid()函数立即返回0
若正常结束,则返回该子进程的ID

调用wait(&status)等效于：

waitpid(-1, &status, 0);

如果子进程已经退出, 调用wait( )/waitpid( )时, wait( )/waitpid( )会立即返回, 并且释放资源, 获得子进程退出信息
如果在任意时刻调用wait( )/waitpid( ), 子进程存在且正常运行, 则进程可能阻塞
如果不存在该子进程, 则立即出错返回

获取子进程status

wait( )和waitpid( ), 都有一个status参数, 该参数是一个输出型参数
如果传递NULL表示不关心子进程的退出状态信息
否则, 操作系统会根据该参数, 将子进程的退出信息反馈给父进程

子进程退出的返回值只使用了1个字节保存, 并且通过wait/waitpid函数的status返回给用户
这1个字节的返回值, 在status四个字节中存放的时候是存放在低16位中的高8位
获取方式: (status>>8) & 0xff

而低8位保存了一些特殊的数据 :
低8位中的高1位— core dump标志, 核心转储, 程序异常退出时, 保存程序的运行信息, 便于事后调试
低8位中的低7位— 程序异常退出信号值, 通知进程发生了某个事件, 中断进程当前的操作, 去处理这个事件, 获取方式: status & 0x7f
低七位中的存储异常退出信号值若为0, 表示没有异常信号, 则表示程序正常退出, 否则表示程序异常退出, 返回值将不具有判断意义

操作系统中的信号体现实际上就是一个数字, 某个数字表示某个异常事件, 程序因为异常退出的时候, 则会将这个异常退出事件的信号值放到低7位中

程序替换

我们如何让子进程完成其他事情??？
可以通过fork创建子进程的返回值进行代码分流, 例如:

if(fork() == 0)
{
    ...;  //子进程要执行的操作
}

但是这种方式存在缺陷: 程序的耦合度非常强, 因为所有功能代码都是在当前程序中编写的. 如果想要改变子进程的功能处理流程, 需要修改整个程序代码, 然后重新进行编译, 这样一来, 程序就会变得非常大
这样程序替换的优点就体现出来了~~

替换原理

替换一个进程正在调度的程序信息, 将另一个程序加载到内存中, 然后让原有的pcb不再调度原程序, 而去调度这个新程序. 本质来说就是替换pcb在内存中对应的代码和数据(加载另一个程序到内存中, 然后更新页表信息, 初始化虚拟地址空间), 程序替换之后, 当前进程运行完替换后的程序就会退出, 并不会运行原先的程序

用fork创建子进程后执行的是和父进程相同的程序(但有可能执行不同的代码分支), 子进程往往要调用一种exec函数以执行另一个程序. 当进程调用一种exec函数时, 该进程的用户空间代码和数据完全被新程序替换, pcb将开始调度执行新程序运行

调用exec并不创建新进程, 所以调用exec前后该进程的ID并未改变

替换函数:
exec函数族 —实现进程的程序替换

 #include <unistd.h>

extern char **environ;

int execl( const char *path, const char *arg, ...);
path是带有路径的新程序名称,就是使用这个程序替换进程正在调度运行的程序
arg将新程序的运行参数,通过不定参的形式传递进入新的程序,以NULL作为结尾
int execlp( const char *file, const char *arg, ...);
int execle( const char *path, const char *arg , ..., char * const envp[]);
int execv( const char *path, char *const argv[]);
int execvp( const char *file, char *const argv[]);
以上都是库函数
这些函数如果调用成功则加载新的程序从启动代码开始执行,不再返回
如果调用出错则返回-1,所以exec函数只有出错的返回值而没有成功的返回值
int execve (const char *filename, char *const argv [], char *const envp[])
事实上,只有execve是真正的系统调用,其它五个函数最终都调用execve
所以execve在man手册第2节,其它函数在man手册第3节

l和v的区别: 在于程序运行参数的赋予方式不同, l通过不定参完成, v通过字符串指针数组进行赋予
有没有p的区别: 在于第一个参数指定新程序的时候, 是否需要带路径, 有p则可以不用带路径, 默认会去PATH环境变量指定的路径下查找
有没有e的区别: 在于这个进程的环境变量是否需要重新初始化, 有e则表示初始化, 若没有e则表示使用默认的环境变量

l(list): 表示参数采用列表
v(vector): 参数用数组
p(path): 有p自动搜索环境变量PATH
e(env): 表示自己维护环境变量