Linux系统编程之进程创建

概述

        在Linux系统中，通过创建新的进程，我们可以实现多任务处理、并发执行和资源隔离等功能。创建进程的主要方法为：fork、vfork、clone。下面，我们将分别进行介绍。

fork

        fork是最常用的创建新进程的方法。当一个进程调用fork时，系统会创建一个新的子进程。子进程是调用进程（即父进程）的一个精确副本，但它有自己的独立内存空间、文件描述符等资源。fork使用写时拷贝技术，以推迟或避免不必要的拷贝。在需要写入时，才会复制地址空间。fork函数返回两次：一次是在父进程中返回子进程的PID，另一次是在子进程中返回0。fork函数的原型如下。

pid_t fork(void);

        fork函数是一个无参函数，调用时不需要传递任何参数。返回值取决于调用的结果和当前进程的状态，有以下三种情况。

        1、父进程。当fork函数调用成功时，父进程会收到子进程的PID。这个PID是一个唯一的正整数，用于标识子进程。父进程可以使用这个PID来监控子进程的状态，比如：通过wait或waitpid等函数等待子进程结束。

        2、子进程。子进程在调用fork函数后，会立即返回0。这是因为子进程需要知道自己是新创建的进程，而0是一个特殊的返回值，专门用于标识子进程。子进程从fork函数返回后，通常会执行与父进程不同的任务，或者调用exec系列函数来执行新的程序。

        3、错误处理。如果fork函数调用失败，它会返回-1，并设置全局变量errno来表示具体的错误原因。常见的错误包括：系统资源不足、内存不足等。

        具体如何使用fork，可参考下面的示例代码。

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>int main()
{// 创建子进程pid_t pid = fork();if (pid < 0){// 创建子进程失败printf("Fork failed!\n");return 1;}else if (pid == 0){// 如果返回0，表示当前代码在子进程中执行printf("Hello from child process\n");}else{// 如果返回正值，表示当前代码在父进程中执行，返回值为子进程IDprintf("Hello from parent process. Child PID: %d\n", pid);}// 父子进程都会执行到这里return 0;
}

vfork

        vfork函数与fork类似，其函数原型如下。

pid_t vfork(void);

        vfork函数与fork有一些重要的区别，主要有如下几点。

        1、内存共享。

        fork：创建的新进程是父进程的一个完全复制，子进程拥有自己独立的内存空间、文件描述符等资源。子进程和父进程之间没有任何内存共享，因此子进程可以安全地修改自己的内存而不影响父进程。

        vfork：创建的新进程与父进程共享内存，子进程在自己的地址空间中运行，但实际上与父进程共享同一个内存地址空间。子进程不能修改任何数据结构，因为这些修改会影响到父进程。因此，子进程必须尽快调用exec系列函数来执行新的程序，或者调用_exit函数退出。

        2、父进程的阻塞。

        fork：父进程和子进程几乎同时开始执行。父进程在fork返回后可以立即继续执行，子进程也从fork返回点开始执行。父进程和子进程之间的执行顺序是不确定的，取决于操作系统的调度策略。

        vfork：父进程在子进程调用exec或_exit之前，会被阻塞。这意味着父进程会暂停执行，直到子进程完成exec或_exit。这种设计减少了内存开销，因为子进程不需要复制父进程的整个内存空间。

        3、使用场景。

        fork：适用于需要创建一个完全独立的子进程的场景。子进程可以执行与父进程不同的任务，或者调用exec系列函数来执行新的程序。由于子进程是父进程的完全复制，因此fork比较消耗资源，特别是当父进程占用大量内存时。

        vfork：适用于需要临时借用父进程的地址空间来执行exec系列函数的场景。这种情况下，子进程不需要长时间运行，只需要快速切换到新的程序。vfork更节省资源，因为它不需要复制父进程的内存空间，但同时也带来了更多的限制，因为子进程不能修改任何数据结构。

clone

        与fork和vfork不同，clone函数提供了更多的灵活性。它允许用户指定哪些资源应该被共享，从而可以创建线程或更轻量级的进程。其函数原型如下。

int clone(int (*fn)(void *), void *child_stack, int flags, void *arg, ... /* pid_t *ptid, struct user_desc *tls, pid_t *ctid */ );

        fn：指向子进程将要执行的函数的指针，子进程从这个函数开始执行。函数的返回值是一个整数，通常用于表示子进程的退出状态。

        child_stack：指向子进程栈的指针，子进程将使用这块内存作为其栈空间。通常，这块内存是从堆中分配的，且指向栈的顶部（即高地址）。

        flags：一个位掩码，用于指定子进程的行为和资源共享方式，可取值为CLONE_VM、CLONE_FILES等。

        arg：指向传递给fn函数的参数的指针。

        ptid：可选参数，指向一个变量，该变量将存储子进程的PID。

        tls：可选参数，指向线程局部存储TLS描述符。

        ctid：可选参数，指向一个变量，该变量将接收子进程的CTID（如果设置了CLONE_CHILD_SETTID标志）。

        由于clone函数提供了更多的选项，因此使用起来也更加复杂。开发者需要详细了解各个标志位的作用，并正确管理栈空间和其他资源。虽然可以直接使用clone创建线程，但这通常只在特定的高性能或低级系统编程场景中才会用到。