从源码分析 PCB（以 Linux 内核为例）

在操作系统中，PCB（进程控制块） 是描述进程状态和资源的核心数据结构。不同系统的实现有差异，本文以 Linux 5.15 内核为例，分析其 PCB 实现——task_struct（位于 include/linux/sched.h）。

1. 核心结构体：task_struct

Linux 的 PCB 是一个 2000+ 行的复杂结构体，涵盖进程的所有信息。以下列举关键字段：

(1) 进程状态

volatile long state; // 进程状态（如运行、就绪、阻塞等）
int exit_state;      // 退出状态

状态常量定义在 include/linux/sched.h：

#define TASK_RUNNING        0x0000
#define TASK_INTERRUPTIBLE  0x0001
#define TASK_UNINTERRUPTIBLE    0x0002
#define __TASK_STOPPED      0x0004
#define __TASK_TRACED       0x0008
/* ... */

(2) 进程标识

pid_t pid;                   // 进程 ID
pid_t tgid;                  // 线程组 ID（主线程 PID）
struct task_struct *parent;  // 父进程指针
struct list_head children;   // 子进程链表
struct list_head sibling;    // 兄弟进程链表

(3) 调度信息

int prio;                     // 动态优先级
int static_prio;              // 静态优先级
const struct sched_class *sched_class; // 调度器类（CFS、RT 等）
struct sched_entity se;       // 调度实体（用于 CFS）
struct sched_rt_entity rt;    // 实时调度实体
unsigned int policy;          // 调度策略（SCHED_NORMAL、SCHED_FIFO 等）

(4) 内存管理

struct mm_struct *mm;         // 进程内存描述符（地址空间、页表等）
struct vm_area_struct *mmap;  // 虚拟内存区域链表

(5) 文件系统

struct files_struct *files;   // 打开的文件描述符表
struct fs_struct *fs;         // 工作目录等信息

(6) 信号处理

struct signal_struct *signal; // 信号处理函数指针
sigset_t blocked;             // 阻塞的信号掩码
struct sigpending pending;    // 待处理信号队列

(7) 计时与统计

u64 utime, stime;            // 用户态/内核态 CPU 时间
unsigned long nvcsw, nivcsw; // 自愿/非自愿上下文切换计数
struct timespec64 start_time;// 进程启动时间戳

2. 关键工作机制

(1) 进程创建（fork() 源码路径）

• 入口：kernel/fork.c → _do_fork()
• 核心步骤：
  1. 调用 copy_process() 复制父进程的 task_struct。
  2. 为新进程分配新的内核栈（alloc_thread_stack_node()）。
  3. 复制资源（文件描述符、信号处理、内存映射等）。
  4. 将新进程加入调度队列（wake_up_new_task()）。

(2) 状态转换示例

• 睡眠 → 就绪：当进程等待 I/O 时：

  // 进入睡眠（例如等待键盘输入）
  set_current_state(TASK_INTERRUPTIBLE);
  schedule(); // 主动让出 CPU

• 输入到达后，内核通过 wake_up_process(task) 将其状态改为 TASK_RUNNING。

3. 典型操作

查找进程（通过 PID）：

struct task_struct *find_task_by_vpid(pid_t pid) {
    return pid ? find_task_by_pid_ns(pid, task_active_pid_ns(current)) : NULL;
}

获取当前进程：

内核通过 current 宏（通常用 Per-CPU 变量或 寄存器缓存）快速访问当前进程的 task_struct：

// x86 实现（通过栈偏移定位）
#define current get_current()

static __always_inline struct task_struct *get_current(void) {
    return this_cpu_read_stable(pcpu_hot.current_task);
}

4. 设计特点

1. 统一线程模型：
   线程与进程共用 task_struct，线程通过共享 mm_struct（内存空间）和 files_struct（文件句柄）实现轻量化。
2. 高效访问：
   current 宏通过硬件特性（如 x86 的 %gs 寄存器）实现纳秒级访问当前 PCB。
3. 模块化组织：
   资源通过指针分离（如 mm_struct、files_struct），便于共享和写时复制（Copy-On-Write）。

总结

• Linux 的 PCB 实现为 task_struct，涵盖进程所有关键信息。
• 通过 统一线程模型 和 资源指针分离 实现高效管理。
• 进程状态转换、调度、资源分配等功能均围绕 task_struct 展开。

提示：深入源码可参考 Linux Kernel Source 搜索 task_struct。