Linux多进程详解（进程间通信）

进程

程序

程序就是一个文件，程序中的信息描述了如何创建一个进程。

• 二进制格式标识：每个程序文件都包含用于描述可执行文件格式的元信息。内核利用此信息来解释
• 文件中的其他信息。（ELF可执行连接格式）
• 机器语言指令：对程序算法进行编码。
• 程序入口地址：标识程序开始执行时的起始指令位置。
• 数据：程序文件包含的变量初始值和程序使用的字面量值（比如字符串）。
• 符号表及重定位表：描述程序中函数和变量的位置及名称。这些表格有多重用途，其中包括调试和
• 运行时的符号解析（动态链接）。
• 共享库和动态链接信息：程序文件所包含的一些字段，列出了程序运行时需要使用的共享库，以及
• 加载共享库的动态连接器的路径名。
• 其他信息：程序文件还包含许多其他信息，用以描述如何创建进程。

进程概念

• 进程就是运行中的程序，对程序资源进行分配。
• 它是操作系统动态执行的基本单元，在传统的操作系统中，进程既是基本的分配单元，也是基本的执行单元。
• 可以用一个程序来创建多个进程，进程是由内核定义的抽象实体，并为该实体分配用以执行程序的各项系统资源。
• 从内核的角度看，进程由用户内存空间和一系列内核数据结构组成，其中用户内存空间包含了程序代码及代码所使用的变量，而内核数据结构则用于维护进程状态信息。记录在内核数据结构中的信息包括许多与进程相关的标识号（IDs）、虚拟内存表、打开文件的描述符表、信号传递及处理的有关信息、进程资源使用及限制、当前工作目录和大量的其他信息。
• 对于一个单 CPU 系统来说，程序同时处于运行状态只是一种宏观上的概念，他们虽然都已经开始运行，但就微观而言，任意时刻，CPU 上运行的程序只有一个。在多道程序设计模型中，多个进程轮流使用 CPU。而当下常见 CPU 为纳秒级，1秒可以执行大约10 亿条指令。由于人眼的反应速度是毫秒级，所以看似同时在运行。

图为进程虚拟地址空间分布。

单道多道程序设计

• 单道程序，即在计算机内存中只允许一个的程序运行。
• 多道程序设计技术是在计算机内存中同时存放几道相互独立的程序，使它们在管理程序控制下，相互穿插运行，两个或两个以上程序在计算机系统中同处于开始到结束之间的状态, 这些程序共享计算机系统资源。引入多道程序设计技术的根本目的是为了提高 CPU 的利用率。
• 对于一个单 CPU 系统来说，程序同时处于运行状态只是一种宏观上的概念，他们虽然都已经开始运行，但就微观而言，任意时刻，CPU 上运行的程序只有一个。
• 在多道程序设计模型中，多个进程轮流使用 CPU。而当下常见 CPU 为纳秒级，1秒可以执行大约10 亿条指令。由于人眼的反应速度是毫秒级，所以看似同时在运行。

并发与并行

并发：一个处理器在一个时刻只能处理一个命令，但多个进程指令被快速的轮换执行，使得在宏观上是同时执行的效果，其在微观上不是同时执行，只是把时间分成了若干段，使得每个命令可以交替的运行。

并行：同一时刻，多条指令在多个处理器上同时执行

进程控制块（PCB）

内核为每个进程分配一个PCB(Processing Control Block)进程控制块，维护进程相关的信息，Linux 内核的进程控制块是task_struct 结构体。PCB在进程的内核区内。

• 进程id：系统中每个进程有唯一的 id，用 pid_t 类型表示，其实就是一个非负整数
• 进程的状态：有就绪、运行、挂起、停止等状态
• 进程切换时需要保存和恢复的一些CPU寄存器
• 描述虚拟地址空间的信息
• 描述控制终端的信息
• 当前工作目录（Current Working Directory）
• umask 掩码
• 文件描述符表，包含很多指向 file 结构体的指针
• 和信号相关的信息
• 用户 id 和组 id
• 会话（Session）和进程组
• 进程可以使用的资源上限（Resource Limit）

进程状态转换

进程状态反映进程执行过程的变化。这些状态随着进程的执行和外界条件的变化而转换。在三态模型中，进程状态分为三个基本状态，即就绪态，运行态，阻塞态。在五态模型中，进程分为新建态、就绪态，运行态，阻塞态，终止态。

**运行态：**进程占有处理器正在运行

**就绪态：**进程具备运行条件，等待系统分配处理器以便运行。当进程已分配到除CPU以外的所有必要资源后，只要再获得CPU，便可立即执行。在一个系统中处于就绪状态的进程可能有多个，通常将它们排成一个队列，称为就绪队列

**阻塞态：**又称为等待(wait)态或睡眠(sleep)态，指进程不具备运行条件，正在等待某个事件的完成

**新建态：**进程刚被创建时的状态，尚未进入就绪队列

**终止态：**进程完成任务到达正常结束点，或出现无法克服的错误而异常终止，或被操作系统及有终止权的进程所终止时所处的状态。进入终止态的进程以后不再执行，但依然保留在操作系统中等待善后。一旦其他进程完成了对终止态进程的信息抽取之后，操作系统将删除该进程。

进程的相关命令

ps aux / ajx 
a：显示终端上的所有进程，包括其他用户的进程 
u：显示进程的详细信息 
x：显示没有控制终端的进程 
j：列出与作业控制相关的信息

//状态的参数意义
D 不可中断 Uninterruptible（usually IO） 
R 正在运行，或在队列中的进程 
S 处于休眠状态 
T 停止或被追踪 
Z 僵尸进程 
W 进入内存交换（从内核2.6开始无效） 
X 死掉的进程 
< 高优先级 
N 低优先级 
s 包含子进程 
+ 位于前台的进程组

实时显示进程状态：

top

可以在使用 top 命令时加上 -d 来指定显示信息更新的时间间隔，在 top 命令执行后，可以按以下按键对显示的结果进行排序：

M 根据内存使用量排序

P 根据 CPU 占有率排序

T 根据进程运行时间长短排序

U 根据用户名来筛选进程

K 输入指定的 PID 杀死进程

进程相关函数

每个进程都由进程号来标识，其类型为 pid_t（整型），进程号的范围：0～32767。进程号总是唯一的，但可以重用。当一个进程终止后，其进程号就可以再次使用。

任何进程（除 init 进程）都是由另一个进程创建，该进程称为被创建进程的父进程，对应的进程号称为父进程号（PPID）。

进程组是一个或多个进程的集合。他们之间相互关联，进程组可以接收同一终端的各种信号，关联的进程有一个进程组号（PGID）。默认情况下，当前的进程号会当做当前的进程组号。

pid_t getpid(void);//获取当前进程的pid
pid_t getppid(void); //获取父进程的pid
pid_t getpgid(pid_t pid);

进程创建

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

返回值：

​ 成功：子进程中返回 0，父进程中返回子进程 ID

​ 失败：返回 -1

失败的两个主要原因：

​ 当前系统的进程数已经达到了系统规定的上限，这时 errno 的值被设置为 EAGAIN

​ 系统内存不足，这时 errno 的值被设置为 ENOMEM

进程的虚拟内存空间

操作系统会给每一个进程都分配一个虚拟内存空间，其在逻辑上是连续的但是在物理上不一定是连续的。

fock函数：

/*
    #include <unistd.h>
    #include <sys/tyeps.h>
    pid_t fork(void)；
    作用：用于创建子进程
    返回值：
        fork()的返回值会返回两次，一次在父进程中，一次在子进程中，父进程中返回值为子进程的PID。
        在子进程中返回0
        通过fork()的返回值区分父进程和子进程
        在父进程中返回-1，表示创建子进程失败，并且设置errno

*/
#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>

int main() {
   

    int num = 10;

    // 创建子进程
    pid_t pid = fork();

    // 判断是父进程还是子进程
    if(pid > 0) {
   
        // printf("pid : %d\n", pid);
        // 如果大于0，返回的是创建的子进程的进程号，当前是父进程
        printf("i am parent process, pid : %d, ppid : %d\n", getpid(), getppid());

        printf("parent num : %d\n", num);
        num += 10;
        printf("parent num += 10 : %d\n", num);

    } else if(pid == 0) {
   
        // 当前是子进程
        printf("i am child process, pid : %d, ppid : %d\n", getpid(),getppid());
       
        printf("child num : %d\n", num);
        num += 100;
        printf("child num += 100 : %d\n", num);
    }

    // for循环
    for(int i = 0; i < 3; i++) {
   
        printf("i : %d , pid : %d\n", i , getpid());
        sleep(1);
    }

    return 0;
}

上面程序的结果为：

Num在父进程中由1 + 10 变为 11， 在子进程中写时拷贝1 + 100 = 101。并且父进程和子进程都进入下面的循环中，但是两个进程相互不影响。

实际上，准确来说，Linux的fock()使用是通过**写时拷贝(copy-on-write)**实际内核并不复制整个个进程的地址空间，而是让父子进程共享一个地址空间只用在需要写入时才会复制地址空间，从而使各个进程间拥有各自的地址空间也就是说，资源的复制是需要写入时才会进行，在此之前只用制度方式共享

注意；fock之后父子进程共享文件fock产生的子进程和父进程相同的文件描述符指向相同的文件表，引用计数增加，共享文件偏移指针。

exec族函数：

exec 函数族的作用是根据指定的文件名找到可执行文件，并用它来取代调用进程的内容，换句话说，就是在调用进程内部执行一个可执行文件。

exec 函数族的函数执行成功后不会返回，因为调用进程的实体，包括代码段，数据段和堆栈等都已经被新的内容取代，只留下进程 ID 等一些表面上的信息仍保持原样，颇有些神似“三十六计”中的“金蝉脱壳”。看上去还是旧的躯壳，却已经注入了新的灵魂。只有调用失败了，它们才会返回 -1，从原程序的调用点接着往下执行。

#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 execvpe(const char *file, char *const argv[],
            char *const envp[]);
    

#include <unistd.h>
int execl(const char *path, const char *arg, ...);
        - 参数：
            - path:需要指定的执行的文件的路径或者名称
            - arg:是执行可执行文件所需要的参数列表
                第一个参数一般没有什么作用，为了方便，一般写的是执行的程序的名称
                从第二个参数开始往后，就是程序执行所需要的的参数列表。
                参数最后需要以NULL结束（哨兵）

        - 返回值：
            只有当调用失败，才会有返回值，返回-1，并且设置errno
            如果调用成功，没有返回值。
#include <unistd.h>
int execlp(const char *file, const char *arg, ... );
        - 会到环境变量中查找指定的可执行文件，如果找到了就执行，找不到就执行不成功。
        - 参数：
            - file:需要执行的可执行文件的文件名
            - arg:是执行可执行文件所需要的参数列表
                第一个参数一般没有什么作用，为了方便，一般写的是执行的程序的名称
                从第二个参数开始往后，就是程序执行所需要的的参数列表。
                参数最后需要以NULL结束（哨兵）

        - 返回值：
            只有当调用失败，才会有返回值，返回-1，并且设置errno
            如果调用成功，没有返回值。

进程退出：

进程退出在C库中调用exit()函数，Linux调用_exit()函数，两者的区别在于，exit()函数的底层也是调用__exit()，只不过C库加入了缓冲区刷新。

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

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

status参数：是进程退出时的一个状态信息。父进程回收子进程资源的时候可以获取到。

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main ()