操作系统原理与xv6 Linux内核核心技术剖析 - 第3节

3.1 进程的定义与组成（PCB）

进程（Process）是操作系统中最核心的抽象概念之一。它不仅是程序的一次动态执行过程，更是系统进行资源分配和调度的独立单位。理解进程的定义与组成，是掌握操作系统原理的基石。

3.1.1 进程的定义

从不同角度，进程有多种定义：

• 程序的一次执行：进程是正在运行的程序的实例，具有生命周期。
• 资源分配的单位：操作系统以进程为单位分配内存、文件句柄等资源。
• 调度运行的单位：CPU 调度器在进程之间切换，实现并发执行。

3.1.2 进程的组成

一个进程在内存中通常由以下三部分组成：

• 代码段（Text Section）：存放可执行的机器指令，通常是只读的。
• 数据段（Data Section）：存放全局变量、静态变量。
• 堆栈段（Stack & Heap）：栈用于函数调用、局部变量和返回地址；堆用于动态内存分配。

3.1.3 进程控制块（PCB）

PCB 是操作系统用于描述和管理进程的数据结构，是进程存在的唯一标识。内核通过 PCB 感知进程的存在。在 xv6 中，PCB 对应 struct proc。

// xv6 内核中的进程结构体（简化）
struct proc {
  uint sz;                     // 进程内存大小
  pde_t* pgdir;                // 页表基址
  char *kstack;                // 内核栈底指针
  enum procstate state;        // 进程状态
  int pid;                     // 进程 ID
  struct proc *parent;         // 父进程
  struct trapframe *tf;        // 陷阱帧（保存寄存器）
  struct context *context;     // 上下文切换点
  void *chan;                  // 睡眠通道
  int killed;                  // 是否被杀死
  struct file *ofile[NOFILE];  // 打开的文件
  struct inode *cwd;           // 当前工作目录
};

PCB 的核心字段可归纳为以下四大类：

3.2 进程的状态与转换

进程在其生命周期中会经历多种状态。操作系统通过状态机模型管理进程的创建、运行、等待和终止。

3.2.1 三态模型

三态模型是进程状态管理的基础模型，包含三种基本状态：

• 就绪（Ready）：进程已具备运行条件，等待 CPU 调度。
• 运行（Running）：进程正在 CPU 上执行指令。
• 阻塞（Blocked/Waiting）：进程因等待某事件（如 I/O 完成）而暂停执行。

3.2.2 五态模型

五态模型在三态基础上增加了创建（New）和终止（Terminated）状态，更完整地描述了进程的完整生命周期。

• 创建（New）：进程正在被创建，尚未进入就绪队列。
• 就绪（Ready）：进程已创建完毕，等待调度。
• 运行（Running）：进程正在 CPU 上执行。
• 阻塞（Blocked）：进程等待某事件。
• 终止（Terminated）：进程执行完毕或被强制结束，等待系统回收资源。

3.3 线程的概念与引入

传统进程有两个基本属性：资源所有权和调度执行。随着操作系统的发展，人们发现这两个属性可以分离，从而引入了线程（Thread）的概念。

3.3.1 线程的定义

线程是进程内的一个执行单元，是 CPU 调度的基本单位。一个进程可以包含多个线程，它们共享进程的资源（如地址空间、打开的文件），但每个线程拥有独立的栈和寄存器上下文。

3.3.2 引入线程的原因

• 减少开销：线程创建、切换的开销远小于进程。进程切换需要切换地址空间（TLB 刷新），而同一进程内的线程切换只需保存/恢复寄存器。
• 提高并发：多线程可以在多核 CPU 上真正并行执行，提升计算效率。
• 简化编程：对于需要同时处理多个任务的场景（如 Web 服务器处理多个请求），多线程模型比多进程模型更易于编程和通信。

3.4 进程与线程的区别

进程和线程是操作系统并发执行的两个基本单位，它们在资源拥有、调度开销、通信方式等方面存在显著差异。