每个进程和线程在内核里都有一份独立档案，这份档案就是 task_struct。它躺在 include/linux/sched.h 里，64 位平台上通常数千字节、数百个字段。PID、状态、调度参数、地址空间、打开文件、权限凭证、亲缘指针，全塞在这一个结构体里。进程状态为什么这样跳、调度器凭什么挑中某个任务、僵尸进程卡在哪一步，答案都能从它身上挖出来。
档案袋里装了什么
把 task_struct 当成进程的档案袋最直观：身份、资源、社会关系三样齐全。字段可粗分为标识符、运行状态、调度信息、亲缘关系、内存管理、文件系统与描述符、权限凭证几组。高频成员包括 state（状态）、pid（进程号）、parent/children/sibling（进程树指针）、mm（地址空间描述符）、files（打开文件表）、sched_entity（调度实体）、cred（用户与组凭证）。
程序是磁盘上的静态指令，进程是它载入内存后的动态实例。内核创建进程的第一步就是分配一个 task_struct，此后整个生命周期的管理动作，本质上都是对这个结构体的读写。进程退出，内核最后回收的也是它。
三个标识符划清进程与线程的边界
PID 是内核分配的唯一非负整数，kill、ps 都靠它定位目标。PID 有上限，用尽后循环复用，长跑系统里 PID 回绕是需要留意的隐患。
PPID 记录父进程的 PID，进程树由此建立。除 PID 为 1 的 init（现代发行版多为 systemd）外，所有进程都有父进程。父进程先退出，子进程成为孤儿，被 init 收养。
TGID 是线程组 ID。Linux 把线程当轻量级进程处理，同一线程组内所有线程共享同一个 TGID，其值等于主线程的 PID。单线程进程里 pid 与 tgid 相等；多线程进程里每个线程有独立 pid，tgid 却一致。用户态 getpid() 返回的其实是 tgid，gettid() 才拿到线程自己的 pid，这个细节在排查多线程问题时经常被忽略。
real_parent 与 parent 正常情况下指向同一进程。进程被 ptrace 跟踪时，parent 改指向跟踪者，real_parent 仍指向真正的创建者。调试器和 strace 的行为就建立在这个区分上。
状态字段是所有调度决策的起点
state 是 volatile long 类型，进程状态的唯一存储位置。ps、top 里看到的 R/S/D 字符，都是内核读取该字段后转换出来的。
TASK_RUNNING 表示可运行：要么正在 CPU 上跑，要么在就绪队列里排队。TASK_INTERRUPTIBLE 是可中断睡眠，等 I/O、等信号量时进入，收到信号能被唤醒。TASK_UNINTERRUPTIBLE 是不可中断睡眠，不响应外部信号，只能由它等待的事件显式唤醒，典型场景是访问硬件或等待关键 I/O。
状态一变，内核的队列管理跟着变。进程从 RUNNING 转入睡眠，会被移出就绪队列、挂进等待队列，把 CPU 让给别人；被唤醒时再重新入队。整套调度流转都围绕 state 字段展开。
D 状态是工程上最让人头疼的一种。它不响应信号，kill -9 也无效，因为信号投递本身需要进程回到可处理状态。定位手段有几种：cat /proc/PID/stack 看内核栈，cat /proc/PID/wchan 看阻塞在哪个函数，内核开启 hung_task 检测后 dmesg 里会出现超时任务的调用栈。紧急情况下向 /proc/sysrq-trigger 写入 w 可以打印所有 D 状态任务的栈。判定标准可以这样定：/proc/PID/stack 有稳定输出且长时间不变、wchan 指向具体阻塞函数，基本可以确认是内核态阻塞而非用户态死循环。多数 D 状态源于存储层或驱动层的阻塞，盲目等它自己恢复不如先确认底层设备是否健康。
调度字段与调度类的分层
prio 是动态优先级，内核会根据运行与等待情况调整；static_prio 是启动时确定的静态优先级，可通过 nice 或 sched_setscheduler 修改；rt_priority 服务于实时进程。数值越小，优先级越高。
sched_class 是指向调度类的指针。Linux 用调度类封装不同策略，优先级从高到低大致是 stop_sched_class、dl_sched_class（Deadline）、rt_sched_class（实时）、fair_sched_class（普通进程）、idle_sched_class。调度器先看进程属于哪个类，再按该类算法选下一个任务。
这里需要修正一个常见认知：以 vruntime 为唯一排序键的 CFS 逻辑，是 5.x 及更早内核的事实。主线内核在 6.6 之后引入了 EEVDF 调度器，公平类的选核依据变成虚拟截止时间（virtual deadline）与 eligibility 判断，vruntime 仍参与计算，但不再是“挑最小者运行”这么简单。面试或排障时如果面对新内核，直接套用红黑树取最小 vruntime 的结论会失准。判断当前内核用的是哪套逻辑，看 /proc/sched_debug 输出里公平类任务的字段即可，老内核展示 vruntime 排序信息，新内核会体现 deadline 相关参数。
mm 与 active_mm 的分工
用户态进程各有独立的 mm_struct，描述整个虚拟地址空间：pgd 指向页全局目录，mmap 挂 VMA 链表，mm_rb 是 VMA 红黑树根，用于快速定位某个地址落在哪个区域。分配内存、建立映射、地址转换，全部围绕这些结构进行。
内核线程没有独立用户地址空间，mm 为 NULL，只借用 active_mm 复用某个用户进程的页表完成内核态访问。这个设计省掉了为内核线程单独建页表的开销。用户进程的 mm 永远非空，内核线程的 mm 永远为空，这条区分在阅读内核代码时很实用。
文件系统上下文：fs 与 files
fs_struct 保存进程的根目录 root、当前工作目录 pwd 和 umask。相对路径解析依赖 pwd，chroot 改变的是 root。files_struct 保存打开文件表，fd 是指向 file 对象指针数组的指针，数组下标就是用户态看到的文件描述符，0、1、2 分别对应标准输入、输出、错误。
read、write、close 这些调用最终都落到 fd 数组对应的 file 对象上。fork 之后子进程复制的是 files_struct 的引用，文件偏移量共享，这也是父子进程同时写同一个文件描述符时容易踩坑的根源。
亲缘指针串起整棵进程树
real_parent、parent、children、sibling 四个成员把进程串成树。children 是子进程链表头，sibling 把当前进程挂到父进程的子进程链表上。内核遍历进程、回收子进程资源、处理孤儿进程，都依赖这几个指针。
调度时到底看什么
调度器选下一个任务时，先看 sched_class 确定算法，再看优先级字段。实时进程的 rt_priority 高，会先于普通进程被选中；普通进程的 static_prio 启动时定下，prio 随运行情况动态调整，长时间等待的任务可能被适当提权，避免饿死。
注意调度器操作的对象是 sched_entity，不是 task_struct 本身，最后靠 container_of 反推回进程结构体。这说明 task_struct 内嵌的调度字段才是调度的数据载体。上面这段逻辑对应老内核的 CFS，新内核的公平类选择路径已经改写，读源码时要按版本对照。
进程状态转换同样由 task_struct 驱动。时间片耗尽或被更高优先级抢占，进程回到就绪队列；等待事件时置为睡眠态并调用 schedule() 让出 CPU；事件就绪或信号到达，唤醒函数把 state 改回 TASK_RUNNING 重新入队。current 宏拿到当前进程的 task_struct，状态切换就是改它的 state 字段。
fork 与退出：结构体的生与死
fork 触发时，内核为新进程分配 task_struct，大部分字段从父进程复制：优先级、文件描述符表、内存描述符（通过写时拷贝，初始共享，写入时才真正复制）。随后修改关键项——子进程获得新 PID，PPID 设为父进程 PID，状态置为 TASK_RUNNING。
fork 返回后父子进程从同一位置继续执行，返回值不同：父进程拿到子进程 PID，子进程拿到 0，出错返回负值。这个约定是父子分流逻辑的基础。
进程退出时先释放用户态资源：关闭文件描述符、释放文件锁、回收用户空间内存与页表。子进程终止会向父进程发送 SIGCHLD，父进程用 wait 或 waitpid 获取退出状态，退出码和终止信号都存在子进程的 task_struct 里。
父进程迟迟不回收，子进程就停在僵尸态：用户态资源已释放，task_struct 还留着，占着一个 PID。僵尸进程本身无害，堆积多了会耗尽 PID 资源。父进程先于子进程退出，子进程被 init 收养，由它负责回收。子进程 return 0 后用户态资源全部释放，只剩 task_struct 记录退出状态，此时 ps 里显示为 Z。父进程 wait() 之后内核读取退出信息并彻底释放结构体，回收完成。
进程与线程：内核视角的分层
进程与线程的区别，落到内核就是资源与调度的分层。进程有独立地址空间，隔离性强，切换要换页表，开销大；线程共享所属进程的地址空间和文件描述符，切换只换寄存器上下文，开销小。Linux 用 clone() 创建线程，通过 CLONE_VM、CLONE_FS、CLONE_FILES、CLONE_THREAD 等标志位控制共享粒度，标志位组合不同，共享程度就不同。CLONE_THREAD 让新任务并入同一线程组，TGID 与 group_leader 由此确定。
pid、tgid、ppid 三者的关系前面已经拆过：pid 唯一标识任务，tgid 标识线程组，ppid 指向父进程。单线程进程 pid 等于 tgid，多线程进程里各线程 pid 不同而 tgid 相同。
线程在内核中与进程共用 task_struct，本质都是任务。线程组由 group_leader 指针维系，主线程的 group_leader 指向自身，其余线程指向主线程。向整个线程组发信号时，内核顺着这个指针找到所有成员。
用户态线程由线程库管理，内核不知情，切换快但一个线程阻塞会拖住整个进程，也吃不满多核。内核态线程由内核维护独立 task_struct，能并行跑在多核上，阻塞时不影响其他线程，代价是切换要进出内核态。Linux 采用 1:1 模型，一个用户态线程对应一个内核态线程，为的是充分利用多核，服务器类高并发场景受益明显。
ps 的 STAT 列：R 可运行，S 可中断睡眠，D 不可中断睡眠，T 被停止或被调试器暂停，Z 僵尸。D 状态的排查路径前面已经给过，这里补一句判定标准：/proc/PID/stack 有稳定输出且长时间不变、wchan 指向具体阻塞函数，基本可以确认是内核态阻塞而非用户态死循环。
收尾
task_struct 不是一堆字段的堆砌，而是内核管理进程的全部状态载体。标识符决定“它是谁”，状态字段决定“它在哪”，调度字段决定“它何时跑”，mm 与 files 决定“它能碰什么”，亲缘指针决定“它和谁有关系”。把这些串起来，进程创建、调度、阻塞、退出的每一步都能在内核源码里找到落点。版本差异要留意，尤其是公平调度器从 CFS 到 EEVDF 的演进，照搬旧结论容易在新内核上翻车。
ID:7070
