你的程序在内存里长什么样？这个问题面试必问，但90%的人画出来的图都是错的。不是 ignorance（无知），是操作系统藏得太好——它把最关键的那块空白区域，伪装成了"不存在的东西"。
地址空间不是一张连续表格，更像一套被严格分区的公寓。操作系统给每个进程发了五把钥匙，但第二把钥匙打开的是一堵墙。
五把钥匙：Stack、Gap、Heap、Data、Text
Text 区放的是你的代码本身，只读，操作系统把它锁死。Data 区留给全局变量和静态变量，程序启动时就占好位置。Heap 是动态内存的游乐场，malloc() 每次从这里切一块走。Stack 最忙，函数调用、局部变量、返回地址全堆在这里，像一叠不断增减的盘子。
Gap 呢？Gap 是操作系统留的缓冲带，Heap 和 Stack 之间的无人区。它的设计意图很直白：让两个动态增长的方向别撞车。Heap 向下长，Stack 向上长，中间这片空白就是它们的防撞气囊。
但这里有个反直觉的点：Gap 在进程眼里是"不存在"的。你的代码无法直接访问它，它不占物理内存，甚至不会出现在大多数教科书示意图里。它只在虚拟地址空间里占个坑位，等 Heap 或 Stack 扩张时，操作系统才慢悠悠地分配真实页面。
这种"先占坑后填土"的策略，让 32 位系统能跑起比物理内存大得多的程序。代价是 Segmentation Fault——当你试图触碰 Gap 之外的禁区，操作系统直接掐断进程，连解释机会都不给。
PCB：操作系统的员工档案柜
如果说地址空间是进程的"身体"，PCB（进程控制块，Process Control Block）就是它的"身份证+体检报告+考勤记录"。操作系统靠这个结构体管理成千上万个进程，每个字段都是生死攸关的元数据。
PID 是唯一标识，就像工牌号。Process State 记录当前状态：New（刚创建）、Ready（等 CPU）、Running（正在执行）、Waiting（等 I/O）、Terminated（已销毁）。这五个状态构成了操作系统调度的全部剧本。
CPU Registers 保存现场——程序计数器（PC）指向下一行要执行的代码，其他寄存器存着临时计算结果。上下文切换的本质，就是把这些寄存器的内容搬进搬出 PCB。你感受到的"卡顿"，很大程度上来自这场微观层面的搬家工程。
Scheduling Information 决定谁先用 CPU。优先级数字越小越优先，但设计良好的调度器不会让低优先级进程饿死。Memory Information 指向地址空间的映射表，I/O Status 记录打开的文件句柄和设备占用情况。
PCB 本身住在内核空间，普通程序连读取权限都没有。这种隔离是操作系统的自保机制：如果用户代码能篡改 PCB，伪造一个高优先级进程只是几行汇编的事。
虚拟地址：操作系统最大的谎言
地址空间里的所有地址都是虚拟的。0x00400000 这个地址，在进程 A 和进程 B 的视角里指向完全不同的物理内存页——甚至可能根本不存在于 RAM 中，被操作系统 swap 到了硬盘。
这种欺骗带来了两个好处：一是进程间彻底隔离，A 程序崩溃不会污染 B 的内存；二是内存使用效率最大化，只有真正被访问的虚拟页才会占用物理资源。
但欺骗需要成本。每次内存访问都要经过页表查询，TLB（Translation Lookaside Buffer，转译后备缓冲器）就是用来缓存这种映射关系的硬件加速器。Cache miss 一次，代价是几十到几百个时钟周期——这在高频交易场景里足以让程序员失眠。
Gap 的设计在这种架构下显得尤为精妙：它是一段明确不映射到物理内存的虚拟地址。操作系统不需要为它维护页表项，不需要在 TLB 里占位置，却能有效防止 Heap 和 Stack 的越界碰撞。这是用"不存在"来解决"可能存在"的问题，典型的工程折中。
为什么面试爱问这个
因为地址空间和 PCB 的交互，暴露了操作系统设计的核心张力：抽象与性能、隔离与共享、简单与完备。
比如 fork() 系统调用创建子进程时，操作系统不会立即复制整个地址空间——那太蠢了。它采用写时复制（Copy-on-Write），让父子进程共享同一套物理页，直到某一方尝试修改才触发真正的内存分配。PCB 在这种场景下需要维护复杂的引用计数，而 Gap 的存在让这种共享策略有了喘息空间。
再比如线程。同一进程的多个线程共享地址空间，但每个线程有独立的 Stack 和寄存器组——这意味着操作系统需要为每个线程维护类似 PCB 的结构（TCB，线程控制块），却不需要复制 Heap、Data、Text 的映射关系。
理解这些边界，才能写出真正高效的并发代码。而不是把 mutex 当万能药，或者盲目相信"线程比进程轻量"这种半截子真理。
最后留个思考题：Gap 的大小是固定的吗？如果你的程序 Heap 和 Stack 增长方向相反，操作系统如何在运行时动态调整这片缓冲带？这个问题的答案，藏在 Linux 的 /proc/[pid]/maps 文件里——下次程序崩溃时，不妨打印出来看看。
热门跟贴