进程组简介
在现代操作系统中，进程组（Process Group）是进程管理中的一个重要概念，用于管理和组织一组具有逻辑关系的进程。它的主要目的是使操作系统可以对成组的进程进行控制，例如发送信号、管理进程间的通信等。
进程组的概念在Unix和Linux操作系统中被广泛使用，它允许将多个进程组合在一起，以便对它们执行一些集体的操作，如终止、挂起或恢复运行等。这在某些情况下非常有用，尤其是当我们希望同时控制多个进程时，例如在终端中运行的前台作业。
进程组的基本概念
每个进程在操作系统中都有一个唯一的进程ID（PID）。在进程组的概念中，多个进程可以被划分到一个组内，这个组由一个特定的进程ID作为组标识，称为进程组ID（PGID）。进程组ID通常是进程组内某一个进程的PID，通常是组内第一个进程的PID。
进程组中的每个进程都有一个父进程和多个子进程。所有这些进程共享相同的PGID，但它们的PID是唯一的。操作系统可以对整个进程组发送信号，例如当用户在终端中按下 Ctrl+C 时，所有属于当前前台进程组的进程都会接收到 SIGINT 信号。
进程组的组成
- 进程组ID（PGID）：标识一个进程组，由某个进程的PID充当PGID。组内所有进程共享这个PGID。
- 会话（Session）：进程组的集合，由一个会话ID（SID）标识，会话可以包含一个或多个进程组。
- 前台进程组：当前与终端交互的进程组，终端会将信号发送到前台进程组。
- 后台进程组：与终端无直接交互的进程组，通常是在用户后台运行的进程。
进程组的创建与管理
当进程通过系统调用 fork() 创建新进程时，子进程继承父进程的进程组ID。默认情况下，父进程和子进程属于同一个进程组，即它们共享相同的PGID。
如果希望将子进程放入新的进程组，可以使用 setpgid() 系统调用。这允许进程通过指定一个新的PGID，脱离其原有的进程组并加入新的组中。
系统调用简介
getpgid(pid)：获取进程pid所在的进程组ID。如果pid为0，则获取调用该函数的进程的PGID。setpgid(pid, pgid)：将进程pid加入到PGID为pgid的进程组中。如果pid为0，则表示当前进程。如果pgid为0，则表示将pid加入到进程pid的PID对应的进程组。setsid()：创建一个新的会话，调用此函数的进程将成为会话的领导者，且成为一个新的进程组的组长。
进程组和信号
进程组的一个重要作用是用于信号处理。终端可以通过按 Ctrl+C 向整个前台进程组发送 SIGINT 信号，或通过按 Ctrl+Z 发送 SIGTSTP 信号，暂停前台进程组中的所有进程。这种机制使得用户能够方便地控制终端中的多个进程。
进程组的典型使用场景
1. 前台和后台作业控制
在Unix系统中，当你从终端运行一个命令时，操作系统会将该命令放入一个前台进程组。如果用户希望将作业移到后台运行，可以使用 & 符号，例如：
$ sleep 100 &
这会启动一个新的后台进程组，而终端会继续接收用户输入，不会被这个后台作业阻塞。
2. 信号处理
在终端中，用户可以通过按 Ctrl+C 向当前的前台进程组发送 SIGINT 信号，这会终止所有属于该进程组的进程。如下所示：
$ sleep 100
# 按下 Ctrl+C
上述命令会立即终止 sleep 100 命令。因为终端向 sleep 命令所属的前台进程组发送了 SIGINT 信号。
3. shell 管理多个进程
进程组对于shell程序（如 bash）特别重要，shell需要管理多个作业并控制哪些作业是前台作业，哪些作业在后台运行。shell通过将进程划分到不同的进程组来实现这些功能。
进程组与会话的关系
一个会话可以包含多个进程组，而一个会话是由一个会话领导者进程创建的。会话领导者可以通过调用 setsid() 系统调用来创建一个新的会话，这将创建一个新会话并将进程组与终端设备分离。
每个会话可以有一个控制终端，该终端与前台进程组交互。当终端向前台进程组发送信号时，会话的控制终端负责发送这些信号。
进程组的作用和优势
- 信号的批量发送：进程组允许信号一次性发送给组内的所有进程。例如，在终端按下
Ctrl+C时，整个前台进程组都能接收到SIGINT信号。 - 作业控制：进程组允许用户方便地控制前台和后台作业，shell使用进程组来管理多个进程。
- 分离进程和终端：通过创建新的会话，可以将进程与控制终端分离，使得进程在后台独立运行，不受用户操作的影响。
进程组的示例代码
下面是一个简单的C++程序，演示如何使用 fork() 创建子进程，并将其放入新的进程组中：
#include <iostream>
#include <unistd.h> // for fork, getpid, setpgid, setsid
#include <sys/wait.h> // for wait
int main() {
pid_t pid = fork();
if (pid < 0) {
std::cerr << "Fork failed" << std::endl;
return 1;
}
if (pid == 0) {
// 子进程创建一个新的进程组
if (setpgid(0, 0) == -1) {
std::cerr << "Failed to create new process group" << std::endl;
return 1;
}
std::cout << "Child process in new process group, PID: " << getpid()
<< ", PGID: " << getpgid(0) << std::endl;
// 子进程执行其他任务
sleep(10);
} else {
// 父进程等待子进程
std::cout << "Parent process, PID: " << getpid()
<< ", PGID: " << getpgid(0) << std::endl;
wait(nullptr);
}
return 0;
}
在这个示例中，子进程调用 setpgid() 创建了一个新的进程组。
结论
进程组在Unix/Linux系统中提供了一种有效的方式来组织和管理进程，使得操作系统能够对进程进行集体操作。这对于控制台作业管理和信号处理非常有用，通过进程组和会话的结合，开发人员能够灵活地控制前台和后台的作业，管理进程的生命周期。
进程组在系统级开发和shell编程中扮演了至关重要的角色，它使得复杂的进程管理任务变得更加清晰和可控。
