Linux fork函数深度解析(写时拷贝+进程终止(exit)+进程等待(wait,waitpid))

fork函数

在linux中fork函数时非常重要的函数,它从已存在进程中创建一个新进程。新进程为子进程,而原进程为父进程。

#include <unistd.h>
pid_t fork(void);
//返回值:自进程中返回0,父进程返回子进程id,出错返回-1

进程调用fork,当控制转移到内核中的fork代码后,内核做:

  1. 分配新的内存块和内核数据结构给子进程
  2. 将父进程部分数据结构内容拷贝至子进程
  3. 添加子进程到系统进程列表当中
  4. fork返回,开始调度器调度
    在这里插入图片描述
    当一个进程调用fork之后,就有两个二进制代码相同的进程。而且它们都运行到相同的地方。但每个进程都将可以开始它们自己的旅程,看如下程序
#include<iostream>
#include<sys/types.h>
#include <unistd.h>
using  namespace std;

int main()
{
    
    
  cout << " I am a process :" << getpid() << endl;
  pid_t id = fork();
  if(id < 0)
  {
    
    
    cerr << "fork error" << endl;
    return 1;
  }
  else if(id == 0)
  {
    
    
    //child
    cout << "I am son "<< getpid() << endl;
    sleep(5);
  }
  else{
    
    
    //parent
    cout << "I am father" <<getpid() << "My son pid" << id << endl;
    sleep(5);
  }
  return 0;
}

运行结果:
在这里插入图片描述
这里看到了三行输出,我们可以看出,fork()之前,父进程独立执行,fork之后,父子两个执行流分别执行。注意,fork之后,谁先执行完全由调度器决定。

fork返回值

fork 创建子进程是以父进程为模板的。fork 有两个返回值,子进程的返回值是 0,父进程的返回值为子进程的 pid!
为什么呢?
举个很简单的例子,一个父亲如果拥有多个孩子,每个孩子都知道父亲是唯一的,而父亲要对每个孩子进行不同的标识。

写时拷贝

程序 = 代码 + 数据
代码共享:所有代码共享!为什么?代码不可被修改,各自私有浪费空间。
默认情况下,父子进程共享代码,但是数据各自私有一份!(这里注意如果父子进程对数据只进行读取操作,则不进行私有化。)
数据为什么私有?概括的说:因为进程之间具有独立性。
细说:数据是很多的,不是所有的数据都要立马使用且不是所有的书库都需要拷贝。如果数据需要独立时,将数据全部拷贝,把本来应该在后面拷贝的,甚至是不需要拷贝的都拷贝了,就比较浪费时间!
在这里插入图片描述
如何理解写时拷贝?举个例子!!
数据10M,写入的时候1M,发生写时拷贝,是拷贝10M还是1M?
答案:1M!写入的时候进行拷贝。写入多少拷贝多少!

进程终止

进程退出场景

代码运行完毕,结果正确(退出码进行标识)
代码运行完毕,结果不正确(退出码进行标识)
代码异常终止(退出原因有意义 wait , 没有意义退出码进行标识)
通过指令echo $?可查看进程的退出码

进程常见退出方法

  1. 从 main函数返回(return)
  2. 调用exit:终止整个进程在任何地方调用都会终止
  3. _exit
    为什么main的return一般写成 0
    0 在函数设计中一般代表正确,非 0 错误,1,2,3,……对应一种原因

_exit函数

#include <unistd.h>
void _exit(int status);
参数:status 定义了进程的终止状态,父进程通过wait来获取该值

exit函数

#include <unistd.h>
void exit(int status);

exit最后也会调用_exit, 但在调用exit之前,还做了其他工作:

  1. 执行用户通过 atexit或on_exit定义的清理函数。
  2. 关闭所有打开的流,所有的缓存数据均被写入
  3. 调用_exit
    在这里插入图片描述

进程等待

wait 方法

#include<sys/types.h>
#include<sys/wait.h>
pid_t wait(int*status);
返回值:
成功返回被等待进程pid,失败返回-1。
参数:
输出型参数,获取子进程退出状态,不关心则可以设置成为NULL
#include<iostream>
#include<sys/types.h>
#include <unistd.h>
#include<stdlib.h>
#include<sys/wait.h>
using  namespace std;
int main()
{
    
    
  pid_t id = fork();
  if(id == 0)
  {
    
    
   int  count = 0;
    while(1)
    {
    
    
      sleep (1);
      cout << "child..." << endl;
      if(count >= 15)
      {
    
    
        break;
      }
      count++;
    }
    exit(0);
  }
  else{
    
    
    int count = 0;
    while(1)
    {
    
    
      sleep(1);
      cout << "father ...." << endl;
      if(count > 20)
      {
    
    
        break;
      }
      count++;
    }
    wait(NULL);
  }
  cout << "hello world" << endl;
}

运行结果如下:子进程运行15秒之后终止,父进程等待5秒后对子进程进行回收。
在这里插入图片描述

waitpid方法

pid_ t waitpid(pid_t pid, int *status, int options);

返回值:
当正常返回的时候waitpid返回收集到的子进程的进程ID;
如果设置了选项 WNOHANG,而调用中waitpid发现没有已退出的子进程可收集,则返回0;
如果调用中出错,则返回-1, 这时errno会被设置成相应的值以指示错误所在

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

参数:

pid
Pid = -1 等待任一个子进程。与wait等效。
Pid > 0 等待其进程ID与pid相等的子进程。
status:
WIFEXITED(status): 若为正常终止子进程返回的状态,则为真。(查看进程是否是正常退出)
WEXITSTATUS(status): 若WIFEXITED非零,提取子进程退出码。(查看进程的退出码)
options:
WNOHANG: 若pid指定的子进程没有结束,则waitpid()函数返回0,不予以等待。若正常结束,则返回该子进程的ID。

阻塞等待如下:

int main()
{
    
    
	pid_t pid;
	pid = fork();
	if(pid < 0)
	{
    
    
		printf("%s fork error\n",__FUNCTION__);
		return 1;
	} 
	else if( pid == 0 )
	{
    
     //child
		printf("child is run, pid is : %d\n",getpid());
		sleep(5);
		exit(257);
	}
	else
	{
    
    
		int status = 0;
		pid_t ret = waitpid(-1, &status, 0);//阻塞式等待,等待5S
		printf("this is test for wait\n");
		if( WIFEXITED(status) && ret == pid )
		{
    
    
			printf("wait child 5s success, child return code is :%d.\n",WEXITSTATUS(status));
		}
		else
		{
    
    
			printf("wait child failed, return.\n");
			return 1;
		}
	}
	return 0;
}

在这里插入图片描述

获取子进程status

pid_ t waitpid(pid_t pid, int *status, int options)

wait和waitpid,都有一个status参数,该参数是一个输出型参数,由操作系统填充。
如果传递NULL,表示不关心子进程的退出状态信息。
否则,操作系统会根据该参数,将子进程的退出信息反馈给父进程。
status: 是一个整形指针,其实在传参的时候,该参数是一个输出型参数。
int st = 0;waitpid(pid, &st, 0) ; 开始等待,子进程退出,操作系统就会从进程PCB中读取退出信息,保存在 status 指向的变量中。返回之后,st 中保存的是我们进程退出的信息。

status不能简单的当作整形来看待,可以当作位图来看待,具体细节如下图(只研究status低16比特位):
在这里插入图片描述

总结

wait
是什么?
父进程通过 wait 等系统调用,用来等待子进程状态的一种现象
为什么?

  1. 防止子进程发生僵尸问题,进而产生内存泄漏
  2. 读取子进程状态
    怎么办?
    wait / waitpid, status(signal, exit code)

猜你喜欢

转载自blog.csdn.net/du1232/article/details/115360457