Linux——进程控制

Linux——进程控制

一、进程创建

fork系统调用

Linux下创建新进程的系统调用是fork函数。

#include<sys/types.h>
#include<unistd.h>
pid_t fork(void);

这个函数的每次调用都返回两次，在父进程中返回的是子进程的PID，在子进程中则返回0.这个返回值是后续的代码判断当前进程是父进程还是子进程的依据。fork调用失败时返回-1，并设置errno。
功能：

fork函数复制当前进程，在内核进程表中创建一个新的进程表项。新的进程表项有很多属性和原进程相同，比如堆指针，栈指针，标志寄存器的值。但也有很多属性被赋予了新的值，比如这个进程的PPID被设置成原进程的PID，信号位被清除（原进程设置的信号处理函数不再对新进程起作用）。

特性：

子进程的代码和父进程的完全相同，同时它还会复制父进程的数据（堆栈数据，静态数据）。数据的复制采用写时复制，即只有在任一进程(子进程或父进程)对数据执行了写操作时，复制才会发生。（先是缺页中断，然后操作系统给子进程分配内存并复制父进程的数据）。

注意：如果我们在程序中分配了大量的内存，那么使用fork时应当十分谨慎，尽量避免没必要的内存分配和数据复制；此外，创建子进程后，父进程中打开的文件描述符默认在子进程中也是打开的，且文件描述符的引用计数加1。不仅如此，父进程的用户跟目录、当前工作目录等变量的引用计数均会加1。

vfork系统调用

#include<sys/types.h>
#include<unistd.h>
pid_t vfork(void)

功能：通过复制父进程创建一个新的进程（但是父子进程共用同一个虚拟地址空间）
特性：vfork创建子进程之后，父进程会阻塞，直到子进程exit退出或者程序替换之后才会开始运行，因为父子进程共用同一个虚拟地址空间，因此父子进程是数据共享的，任意一个进程对元数据的修改都会影响到另一方。并且共用同一个栈，因此函数调用压的都是同一个栈，所以同时运行会造成栈混乱以及数据影响。所以需要让子进程先运行，子进程退出后，或者程序替换后父进程才能运行。

二、进程终止

如何退出一个进程？
退出一个进程有三种方式：

1、在main函数中return。（return只有在main函数中才是退出程序的运行）
2、库函数<stdlib.h>：void exit(int status); 可以在任意位置调用，退出程序的运行。
3、系统调用接口<unistd.h>：void _exit(int status);可以在任意位置调用，退出程序的运行。

库函数与系统调用接口的关系：库函数封装了系统调用
库函数exit与系统调用_exit的区别在于：退出前是否刷新缓存区

exit与return在推出前程序都会刷新缓存区，将没有写入文件的数据写入到文件中
_exit调用直接退出，不会刷新缓存区，而是直接释放资源（有可能造成缓存区中的数据丢失）。

return后的数字和exit的参数status的作用：

设置进程的退出码
退出码只保留低八位（所以我们设置的退出码应该在0~255之间）

获取上一次系统调用错误的原因——即查看上一步调用的接口失败的原因的方法：

void perror(const char* str);
const char* strerror(int errno);

三、进程等待

目的：等待子进程退出，获取子进程的退出码，释放子进程资源，避免子进程成为僵尸进程

僵尸进程

僵尸进程： 对于多进程程序而言，父进程一般需要跟踪子进程的退出状态。因此，当子进程结束运行时，内核不会立即释放该进程的进程表表项，以满足父进程后续对该子进程退出信息的查询（如果父进程还在运行）。在子进程结束运行以后，父进程读取其退出状态之前，我们称该子进程处于僵尸态，该子进程我们称为僵尸进程。
另一种使子进程进入僵尸态的情况是：父进程结束或异常终止，而子进程继续运行。此时子进程的PPID将被操作系统设置为1，即init进程。init进程接管了该子进程，并等待它结束。在父进程退出之后，子进程退出之前，该子进程处于僵尸态，该子进程被称为孤儿进程。
即僵尸进程：子进程先于父进程退出，为了保存退出码，没有完全释放资源
孤儿进程：父进程先于子进程退出，子进程成为孤儿进程，它运行在后台，父进程称为1号进程
僵尸进程的危害：进程的退出状态必须要维持下去，因为它要告诉关心他的父进程，子进程中运行的任务怎么样了。可父进程如果一直不读取，那子进程就一直处于Z状态。维护退出状态本身就是要用数据维护，也属于进程基本信息，所以保存在task_struct(PCB)中，换句话说，僵尸状态一直不退出，PCB就要一直维护。所以，一个父进程创建了很多子进程，就是不回收，就会造成内存资源的浪费。并且可能会造成内存泄漏。
所以，无论哪种情况，如果父进程没有正确的处理子进程的返回信息，子进程都会停留在僵尸态，并占据内核资源，而内核资源是有限的，所以要避免子进程成为僵尸进程。

进程等待

避免僵尸进程产生的方法：进程等待
进程等待的接口：

#include<sys/types.h>
#include<sys/wait.h>
pid_t wait(int* stat_loc);
pid_t waitpid(pid_t pid,int* stat_loc,int options);

wait函数将阻塞等待进程，直到该进程的某个子进程结束运行为止。成功返回结束运行的子进程PID，失败返回-1，并将该子进程的退出状态信息存储于stat_loc参数指向的内存中。sys/wait.h头文件中定义了几个宏来帮助解释子进程的退出状态信息：
子进程状态信息：

阻塞等待：为了完成一个功能，我们发起一次调用，如果功能不能立即完成，则一直等待。

但是wait函数的阻塞特性显然不是服务器程序期望的，而waitpid函数解决了这个问题。
waitpid函数只等待pid参数指定的子进程。
waitpid函数的参数返回值：

pid：如果取值为-1，那么它就和wait函数相同，即等待任意一个子进程结束。
stat_loc参数的含义和wait函数的stat_loc相同。
options参数可以控制waitpid函数的行为。取值为0时，表示阻塞等待；取值为WNOHANG时，表示非阻塞等待。
返回值：大于0表示处理的退出进程pid；等于0表示当前没有子进程退出（非阻塞）；小于0表示出错了。

非阻塞等待：为了完成一个功能，我们发起一次调用，如果功能不能立即完成则函数立即返回。

四、程序替换

替换一个进程正在调度管理的程序通常很少替换当前进程调度的程序，而是创建子进程之后，替换子进程所运行的程序。
为什么要进行程序替换？

在fork函数之后，子进程与父进程干的事情相同，可以分摊压力（这种需求其实并不多），还有一种是让子进程干其他的工作，工作逻辑都是在if(fork()==0)这个判断中完成的，这会导致代码庞大，不灵活，因此，若创建子进程之后，根据不同的工作，将子进程替换成为不同的程序，则代码模块可以灵活很多。

替换操作接口：exec系列函数

#include<unistd.h>
extern char** environ;

int execl(const char* path, const char* arg, ...);
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[]);
int execve(const char* path, char* const argv[], char* const envp[]);

参数：

path：可指定可执行文件的完整路径
file：可以接受文件名，该文件的具体位置则在环境变量PATH中搜寻。
arg：接受可变参数，argv 则接受参数数组，它们都会被传递给新程序（path或file指定的程序）的main函数
envp：用于设置新程序的环境变量。如果未设置它，则新程序将使用由全局变量environ指定的环境变量。

一般情况下，exec函数是不返回的，除非出错。它出错时返回-1，并设置errno。如果没出错，则原程序中exec调用后的代码都不会执行，因为此时原程序已经被exec的参数指定的程序完全替换（包括代码和数据）。
exec函数不会关闭原程序打开的文件描述符，除非该文件描述符被设置了类似SOCK_CLOEXEC的属性。
接口的使用：

1、如果替换的程序都是指令程序，则带p，不用给路径
2、如果不需要设定环境变量，就不需要带e，使用默认的
3、参数根据数据组织方式决定使用l还是v，l参数是单个赋予，v参数是组织成为数组赋予。