1.1 基本进程状态#

进程状态在操作系统中体现为 task_struct 结构体中的一个整数标志。理论模型通常包含以下状态：

1.2 挂起状态#

当系统资源（尤其是内存）不足时，进程可能被交换到磁盘：

2.1 运行队列与等待队列#

• 运行队列 (runqueue)：CPU维护一个调度队列，包含所有处于**就绪(R)**状态的进程。调度器从这个队列中选择进程执行。

• 等待队列 (wait_queue)：每个设备（如键盘、磁盘、网卡）都有自己的等待队列，包含所有**阻塞(S/D)**在该设备上的进程。

1
运行队列 (runqueue)
2
┌─────────────┐   ┌─────────────┐   ┌─────────────┐
3
│ task_struct │◄─►│ task_struct │◄─►│ task_struct │
4
│  (状态: R)  │   │  (状态: R)  │   │  (状态: R)  │
5
└─────────────┘   └─────────────┘   └─────────────┘
6

7
磁盘等待队列 (disk wait_queue)
8
┌─────────────┐   ┌─────────────┐
9
│ task_struct │◄─►│ task_struct │
10
│  (状态: D)  │   │  (状态: D)  │
11
└─────────────┘   └─────────────┘
12
       │                  │
13
       └──────────────────┘
14
                ▼
15
          磁盘设备结构
16
          struct device

2.2 状态变化的本质#

进程状态的变化，本质上就是进程在不同的队列（运行队列、设备等待队列）中进行流动。这最终归结为对数据结构的增删查改操作。

• 运行 → 阻塞：进程从运行队列移除，加入某个设备的等待队列。

• 阻塞 → 就绪：当设备就绪（如磁盘I/O完成），进程从设备等待队列移除，加入运行队列。

2.3 挂起与交换分区#

• 当内存严重不足时，操作系统会将部分进程的数据和代码换出到磁盘的交换分区(swap)。

• 被换出的进程处于挂起状态，其PCB可能保留在内存或也被换出。

• 当需要时，操作系统再将进程换入内存。

3.1 孤儿进程#

• 孤儿进程 (Orphan Process)：在父子进程关系中，如果父进程先于子进程退出，子进程将成为孤儿进程。

• 处理机制：操作系统会将孤儿进程**“领养”，通常由init进程（PID=1）** 或特定系统进程接管。

• 为什么需要领养？

  1. 防止僵尸进程累积：如果父进程退出且子进程未被领养，子进程终止后将无人回收，成为永久的僵尸进程，导致系统资源泄漏。

  2. 维护进程树结构：确保所有进程都有父进程，便于统一管理。

• 特性与影响

  • 变为后台进程：孤儿进程通常会成为后台进程，在终端关闭后仍可能继续运行。

  • 创建后台进程的方法：在命令后添加 & 符号，如 ./myprocess &。

4.1 设备管理的“先描述，再组织”#

操作系统管理各种硬件设备（键盘、磁盘等）同样遵循“先描述，再组织”原则：

1
struct device {
2
    int id;             // 设备标识
3
    int vendor;         // 厂商信息
4
    int type;           // 设备类型
5
    struct task_struct *wait_queue; // 等待该设备的进程队列
6
    // ... 其他属性
7
};

所有设备通过链表组织，便于管理。

4.2 内核通用链表实现#

Linux内核使用一种巧妙的通用双向链表设计，实现数据结构的复用：

1
// 内核通用链表节点（只包含前后指针）
2
struct list_head {
3
    struct list_head *next, *prev;
4
};
5

6
// 将链表节点嵌入到具体数据结构中
7
struct task_struct {
8
    // 进程的各种属性...
9
    int pid;
10
    int status;
11
    // ...
12
    struct list_head tasks; // 链接到进程链表
13
};

优势：

1. 类型无关：list_head 不包含具体数据类型，可嵌入任何结构体。

2. 代码复用：一套链表操作函数（增、删、遍历）可用于所有嵌入 list_head 的结构体。

3. 通过偏移量获取父结构：通过 list_head 指针，可以计算出其所在外层结构体（如 task_struct）的地址。

1
// 示例：从list_head指针获取包含它的task_struct指针
2
#define container_of(ptr, type, member) \
3
    ((type *)((char *)(ptr) - offsetof(type, member)))

5.1 Slab分配器#

内核使用Slab分配器管理 task_struct 等内核对象的分配与释放：

• 目的：提高频繁创建和销毁进程时的性能。

• 机制：维护一个 task_struct 对象的缓存池。

• 优势：

  1. 避免频繁向物理内存申请释放带来的碎片和性能开销。

  2. 快速重用已释放的 task_struct 对象。

1
Slab缓存池
2
┌─────────────┐   ┌─────────────┐   ┌─────────────┐
3
│ task_struct │   │ task_struct │   │ task_struct │
4
│   (空闲)    │   │   (空闲)    │   │   (空闲)    │
5
└─────────────┘   └─────────────┘   └─────────────┘