# task_struct
 Linux将进程和线程默认为一个**task_struct**结构存放
```cpp
struct task_struct {
    /* 1. 任务状态：-1不可运行, 0可运行, >0停止 */
    volatile long state;
    /* 2. 线程信息与内核栈：每个任务独享，用于进入内核态时的执行上下文 */
    struct thread_info thread_info;
    void *stack;
 /* 3. PID与TGID：区分进程与线程的关键 */
    pid_t pid;    /* 线程ID (内核眼中唯一的ID) */
    pid_t tgid;   /* 线程组ID 都等于主线程的 pid */
    struct task_struct *group_leader; /* 指向进程的主线程 */	
/* 4. 退出状态：用于处理僵尸进程 */
    int exit_state;
    int exit_code;
/* 5. 调度实体：包含 vruntime，是 CFS 红黑树中的排序键 */
    struct sched_entity se;
    
    /* 6. 调度类：指向具体的调度算法 (如 fair_sched_class) */
    const struct sched_class *sched_class;
    /* 7. SMP(多核)支持：记录任务在哪个 CPU 上运行 */
#ifdef CONFIG_SMP
    int on_cpu;         /* 是否正在 CPU 上运行 */
    unsigned int cpu;   /* 绑定的逻辑核心编号 */
#endif
struct mm_struct *mm; 
    /* 9. 文件系统信息：记录当前工作目录、root目录 */
    struct fs_struct *fs;
    /* 10. 文件描述符表：记录打开了哪些文件 (线程间共享) */
    struct files_struct *files;
    /* 11. 信号处理：所有线程共享同一个信号处理结构体 */
    struct signal_struct *signal;
    struct sighand_struct *sighand;
    sigset_t blocked; /* 屏蔽的信号集 */
    
    /* 12. 全局任务链表：将系统中所有任务串起来 */
    struct list_head tasks;
    /* 13. 亲缘关系：父子进程、兄弟进程的连接 */
    struct task_struct __rcu *real_parent;
    struct list_head children;
    struct list_head sibling;
    
    /* Objective and real subjective task credentials (COW): */const struct cred __rcu         *real_cred;
/* Effective (overridable) subjective task credentials (COW): */const struct cred __rcu         *cred;
};
```
## **stack 内核栈 **
当一个进程通过系统调用（比如 `open` 或 `read`）进入内核后，它也需要定义局部变量、调用函数。它不能用用户态的那个栈，所以内核给它准备了一个专门的内存区域，这就是**内核栈**
## 用户栈
涉及到内存管理，一个系统分为内核空间以及用户空间，用户栈位于**地址空间的最顶部**，并且是**向低地址（向下）增长**的。
- **栈顶 (Stack Top)**：由 `%rsp` (x86-64) 寄存器指向。
- **栈底 (Stack Bottom)**：是栈开始的地方（高地址）。
每当你调用一个函数，用户栈就会“长”出一个**栈帧 (Stack Frame)**，里面塞满了这些东西：
- 存放的空间
1. **局部变量**：例如 `int arr[100];`。
2. **函数参数**：传给函数的参数（如果寄存器放不下的话）。
3. **返回地址**：函数执行完后，下一行代码该跳回哪里。
4. **调用现场**：保存调用者（Caller）的寄存器状态，方便函数返回后恢复原貌。
## Pid 和Tgid
- **`pid`**: 内核层面的唯一 ID（线程 ID）。
- **`tgid`**: 线程组 ID（用户态看到的进程 ID），一个进程id下面有很多pid。
- **`comm`**: 进程的名字（通常是 16 字节的字符串，如 `bash` 或 `python`）。
## 进程状态
	- `TASK_RUNNING`: 正在运行或在就绪队列中。
	- `TASK_INTERRUPTIBLE`: 浅度睡眠，可被信号唤醒。
	- `TASK_UNINTERRUPTIBLE`: 深度睡眠（通常在等待 IO），不响应信号
## 内存管理 (Memory Management)
- **`mm` (struct mm_struct)**: 指向进程的虚拟地址空间。
	- 它包含了页表、代码段 (`text`)、数据段 (`data`)、堆 (`heap`) 和栈 (`stack`) 的起始和结束地址。
	- **注意**：对于内核线程，`mm` 为 NULL，因为它直接借用前一个进程的内核页表
## 文件系统与 IO (Filesystem & Files)

- **`fs`**: 指向 `fs_struct`，包含进程的当前工作目录（pwd）和根目录。
- **`files`**: 指向 `files_struct`，即著名的**文件描述符表**。当你调用 `open()` 得到一个 `fd` 时，其实就是在这个数组里找下标。
## 信号处理 (Signal Handling)

- **`signal`**: 挂起的信号和信号处理函数（`sighand`）。
- **`pending`**: 已经到达但尚未处理的信号队列。
# PCB和TCB
## **内存管理指针 (`mm`)**

- **PCB（主线程/进程）：** `mm` 指针指向一个唯一的 `mm_struct`，拥有独立的页表。
- **TCB（同一进程下的线程）：** `mm` 指针指向其**父进程**的 `mm_struct`。
- **源码逻辑：** 同一进程的所有线程共享同一个 `mm_struct`。

## **B. 文件描述符表 (`files`)**

- **PCB：** 拥有独立的 `files_struct`，记录打开的文件。
- **TCB：** 指向与其所属进程相同的 `files_struct`。
- **源码逻辑：** 这就是为什么一个线程 `open()` 了一个文件，另一个线程能直接读的原因。

## **C. 标识符 (`tgid` vs `pid`)**

- **PCB：** `pid` == `tgid`（它是它自己的组长）。
- **TCB：** `pid` 是唯一的标识，但 `tgid` 指向主进程的 `pid`。
# PCB和TCB之间的切换代价
##**A. 相同代价：寄存器上下文切换 (Context Save/Restore)**
无论是进程还是线程，都需要保存和恢复 CPU 的通用寄存器、栈指针（ESP/RSP）、程序计数器（EIP/RIP）以及浮点寄存器状态。这部分的开销在两者之间是**基本持平**的。
**线程但依然需要通过中断或系统调用陷入内核（Kernel Mode），由内核调度器来操作寄存器。**
## **B. 巨大差异：TLB 刷新 (The Cost of Memory Switching)**
这是进程切换昂贵的根本原因。
- **TLB (Translation Lookaside Buffer)** 是 CPU 内部的一个高速缓存，专门用来存储“虚拟地址”到“物理地址”的映射结果。
- **进程切换时**：由于页表变了，旧进程在 TLB 里的缓存全部失效。CPU 必须清空（Flush）TLB。
- **后果**：切换后的前一段时间，CPU 访问内存会频繁发生 **TLB Miss**，必须去慢速的内存中重新查找页表。这会导致数百甚至上千个时钟周期的性能抖动。
- **线程切换时**：页表没变，TLB 依然有效，访问内存依然是“秒回”。
##**C. CPU 缓存 (L1/L2/L3 Cache) 的污染**
- **进程间**数据通常不共享，切换后，新进程需要的数据不在 Cache 中（Cache Cold），导致大量的内存读取延迟。
- **线程间**因为共享数据段，某些全局变量或热点数据可能已经躺在 Cache 里了，命中率更高

# 创建PCB和TCB
## 创建PCB
```c
#include <unistd.h>
#include <iostream>

int main() {
    pid_t pid = fork();

    if (pid < 0) {
        // 失败
    } else if (pid == 0) {
        // 这里是子进程
        std::cout << "I am Child, PID: " << getpid() << std::endl;
        // 通常在这里调用 exec() 来运行新程序
    } else {
        // 这里是父进程
        std::cout << "I am Parent, Child PID: " << pid << std::endl;
    }
    return 0;
}
```
## 创建TCB
```cpp
#include <iostream>
#include <thread>

void task(int id) {
    std::cout << "Thread " << id << " is running" << std::endl;
}

int main() {
    // 创建线程并立即开始执行
    std::thread t1(task, 1); 
    
    // 主线程等待子线程结束
    t1.join(); 
    return 0;
}
```


当一个进程通过系统调用（比如 open 或 read）进入内核后，它也需要定义局部变量、调用函数。它不能用用户态的那个栈，所以内核给它准备了一个专门的内存区域，这就是内核栈

Linux内核中的进程 线程

操作系统

编程语言

Linux进程管理核心task_struct结构详解：包含进程状态、PID/TGID标识、调度实体、内存管理指针(mm_struct)、文件描述符表等关键字段。深入解析内核栈与用户栈区别，线程共享机制，以及进程/线程切换时的TLB刷新代价差异。

文件系统

内存管理

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

Linux内核中的进程 线程-腾讯云开发者社区-腾讯云

Linux内核中的进程线程

Linux内核中的进程线程

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

Linux内核中的进程 线程

Linux内核中的进程 线程

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

Linux内核中的进程线程

Linux内核中的进程线程