3、进程标识符(PID)管理：PID的分配与回收机制、PID位图、线程组标识符(TGID)与进程组

3.1 PID 在内核中的核心地位

进程标识符（PID）是 Linux 内核为每个进程分配的唯一数字标识，是进程管理的基石。内核通过 PID 在调度、信号传递、资源统计、命名空间隔离等场景中精确索引目标进程。PID 的分配与回收效率直接影响系统在高并发创建/销毁进程时的整体性能。

3.2 PID 位图：高效分配的核心数据结构

Linux 内核使用 位图（bitmap） 管理 PID 的分配状态。每个 bit 对应一个 PID 编号，0 表示空闲，1 表示已占用。位图结构存储在 struct pid_namespace 中，支持 O(1) 的分配与释放操作。

3.3 PID 分配与回收的完整路径

当用户态调用 fork() 或 clone() 时，内核会经过以下 PID 分配路径：

1. 调用 copy_process() → 创建新进程的 task_struct
2. 调用 alloc_pid() → 在命名空间内分配 PID
3. 位图扫描 → find_next_zero_bit() 找到第一个空闲 bit
4. 创建 struct pid → 初始化引用计数、哈希链表
5. 建立映射 → 将 PID 编号与 task_struct 关联

3.4 线程组标识符（TGID）与进程组

Linux 内核通过三种标识符区分不同粒度的任务集合：

3.5 内核核心数据结构

PID 管理涉及三个关键内核结构体：

// include/linux/pid.h
struct pid {
    unsigned int level;           // 命名空间层级
    struct hlist_node tasks[PIDTYPE_MAX]; // 按类型组织的任务链表
    struct rcu_head rcu;          // RCU 回调用
    int numbers[1];               // 各级命名空间下的 PID 编号
};

// kernel/pid.c 中的位图结构
struct pidmap {
    atomic_t nr_free;             // 空闲位计数
    void *page;                   // 位图页
};

// include/linux/sched.h
struct task_struct {
    pid_t pid;                    // 进程 PID
    pid_t tgid;                   // 线程组 ID
    struct task_struct *group_leader; // 线程组组长指针
    struct pid_link pids[PIDTYPE_MAX]; // 链接到 struct pid
};

3.6 进程组与作业控制

进程组（PGID）是 shell 作业控制的基础。当用户在终端执行管道命令（如 ls | grep foo）时，shell 会将管道中的所有进程放入同一个进程组，便于统一发送信号（如 SIGINT、SIGTSTP）。

• 组长创建：进程组第一个进程调用 setpgid(0, 0) 成为组长
• 组员加入：子进程继承父进程的 PGID，或通过 setpgid() 加入已有组
• 信号广播：kill(-PGID, SIGTERM) 向组内所有进程发送信号
• 前台/后台：终端只允许一个前台进程组接收键盘输入

3.7 性能优化与调试