APUE学习之进程控制 - fork 与 vfork
最后编辑: 2019-11-6
版本: gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.11)
一、进程标识
每一个进程都有一个唯一的非负整数的ID, 该类型为 pid_t. 当进程退出或者被杀死后,进程 ID 会被系统复用. 与文件句柄不同的是,大多操作系统使用的是延迟复用算法,这为了避免新的进程被误认为是某个已经被中止的先前进程.(顺次向下使用).
系统中存在一些专有进程,例如 ID = 0 的调度进程(交换进程 swapper), ID = 1 的 init 进程. init 进程是所有进程的祖先进程.
1.1 相关函数
pid_t getpid(void); // 获取当前进程的 ID
pid_t getppid(void); // 获取父进程的 ID
二、fork 函数
fork 函数可用于创建一个新的进程, 新的进程称为当前进程的子进程, 相对的,当前进程也就是新进程的父进程.
pid_t fork(void);
-
fork 调用一次返回两次. 两次返回的区别在于, 子进程返回 0, 父进程返回新建子进程的进程 ID
- 父进程返回新建子进程 ID 原因: 一个进程可以有多个子进程,但是系统没有一个函数能获取所有子进程 ID;
- 子进程返回值为 0 的原因: 子进程可以通过
getppid获取父进程 ID, (ID为0的就交换进程永远只会内核交换时候使用,子进程的父进程永远不能为0); - 返回值小于 0 表示异常
-
子进程与父进程继续执行 fork 之后的指令.子进程是父进程的副本. 但目前很多实现上采用写时复制技术(Copy-On-Write), fork 之后, 父子进程区域共享,但该区域变更为只读状态,当父进程或者子进程想要对该区域进行修改的时候, 内核将为父进程或子进程复制一份该区域作为副本使用.(谁修改,谁复制).
-
fork 之后父子进程的调度先后顺序是不确定的,这取决于内核的调度算法;
2.1 父子进程之间的区别:
前面说到, 子进程是父进程的副本. 但是还是有如下的区别:
- fork 返回值不同;
- 进程的 ID 不同;
- 父进程的 ID 也不同;
- 子进程的 tms_utime/ tms_stime / tms_cutime / tms_ustime 的值设置为 0;
- 子进程不继承父进程设置的文件锁;
- 子进程的未处理闹钟被清除;(未决信号清零)
- 子进程的未处理信号集设置为空集;
2.2 fork 使用场景
- 父进程希望复制自己, 例如网络服务中,父进程等待请求,接收到请求后 fork 自己,让子进程去处理请求, 父进程继续等待下一个请求;
- 一个进程要执行不同的程序. 例如 shell 终端;
2.3 代码示例
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int globvar = 6;
char buf[] = "a write to stdout \n";
int main(int argc, char **argv)
{
int var;
pid_t pid;
var = 88;
if (write(STDOUT_FILENO, buf, sizeof(buf) - 1) != sizeof(buf) - 1)
{
perror("write error");
}
printf("before fork \n"); // not flush stdout
if ((pid = fork()) < 0)
{
perror("fork error ");
}
else if (pid == 0) // child
{
globvar++;
var++;
}
else // parent
{
sleep(2); // 等待子进程先执行
}
printf("pid = %d, glob = %d, var = %d \n", getpid(), globvar, var);
exit(0);
}
执行结果:
a write to stdout
before fork
pid = 6053, glob = 7, var = 89
pid = 6052, glob = 6, var = 88
fork 打印结果重定向到文件内部, 多次打印文件内容, fork 之前需要调用 fflush() 刷新流
- 终端是标准的输出设备,标准输出设备是行缓冲模式,当有 \n 的时候, 会刷新缓冲区
- 文件是全缓冲模式, 全缓冲模式下 \n 仅仅是一个换行的作用
三、vfork 函数
此函数有瑕疵, 仅作了解
vfork 与 fork 调用的序列和返回值相同,但是两者语义上不同的.
vfork 函数创建的新进程,该进程的目的是 exec 一个新函数. vfork 的子进程不会将父进程地址空间完全复制过去, 因为该进程目的是调用 exec. 但是, 在子进程 exec 或者 exit 之前, 子进程是在父进程的空间内运行, 这种在一定程度上提高效率.
但如果子进程修改了父进程的数据,或者调用其他的函数,又或者没有 exec / exit返回, 都会产生未知错误. vfork 保证子进程优先被返回,但是如果子进程依赖于父进程的某个动作,这样就造成死锁.
说了这么多,就是说一句, 不要用 vfork
