头文件: # include <unistd.h> # include <sys/types.h> 函数原型: pid_t fork ( void ); (pid_t 是一个 宏定义 ,其实质是int 被定义在# include < sys/types.h >中) 返回值: 若成功调用一次则返回两个值,子进程返回0, 父进程 返回子进程ID;否则,出错返回-1 函数说明: 一个现有进程可以调用fork函数创建一个新进程。由fork创建的新进程被称为子进程(child process)。fork函数被调用一次但返回两次。两次返回的唯一区别是子进程中返回0值而 父进程 中返回子进程ID。 子进程是父进程的副本,它将获得父进程数据空间、堆、栈等资源的副本。注意,子进程持有的是上述 存储空间 的“副本”,这意味着父子进程间不共享这些存储空间。 linux将复制父进程的 地址空间 内容给子进程,因此,子进程有了独立的地址空间。 为什么fork会返回两次? 由于在复制时复制了 父进程 的 堆栈段 ,所以两个进程都停留在fork函数中,等待返回。因为fork函数会返回两次,一次是在父进程中返回,另一次是在子进程中返回,这两次的返回值是不一样的。过程如下图 调用fork之后,数据、 堆栈 有两份,代码仍然为一份但是这个 代码段 成为两个进程的共享代码段都从fork函数中返回,箭头表示各自的执行处。当父子进程有一个想要修改代码段时,两个进程真正分裂。 示例代码: # include < sys/types.h > //对于此程序而言此头文件用不到 # include < unistd.h > # include < stdio.h > int main( int argc, char ** argv ) { int pid = fork(); if (pid < 0) { printf("error!"); } else if ( pid == 0 ) { printf("This is the child process!"); } else { printf("This is the parent process! child process id = %d", pid); } return 0; } fork()在Linux系统中的返回值是没有NULL的. Error Codes 出错返回 错误信息 如下: EAGAIN 达到进程数上限. ENOMEM 没有足够空间给一个新进程分配. fork函数的特点概括起来就是“调用一次,返回两次”,在父进程中调用一次,在父进程和子进程中各返回一次。 fork的另一个特性是所有由父进程打开的描述符都被复制到子进程中。父、子进程中相同编号的 文件描述符 在 内核 中指向同一个file 结构体 ,也就是说,file结构体的 引用计数 要增加。