03. Linux：文件系统、inode、信号、僵尸进程（深挖版）¶
这一章表面看像"Linux 零碎基础题"，但面试里很爱拿它来测你是否真懂系统基本对象：
- 文件名到底是不是文件本体？
- 为什么删除文件后磁盘空间不一定立刻释放？
- 软链接和硬链接到底差在哪一层？
- kill -9 为什么粗暴，kill -15 为什么更推荐？
- 僵尸进程为什么会留下来？
这些问题不难，但特别容易暴露理解是"背命令"还是"懂对象模型"。
本章建议按“先理解知识主线，再练问答表达，最后吃透边界条件”的顺序阅读：
- 先把 inode、文件删除、软硬链接的概念主线讲清
- 再展开信号、kill -9 vs kill -15、僵尸进程处理等高频追问
- 最后把孤儿进程回收、信号处理的可重入性等边界吃透
先把这一章的知识骨架搭起来¶
Linux 这章表面零碎，实际上可以归成两个大主题：文件是如何被内核组织和引用的，进程又如何被内核通知和管理。inode、目录项、文件描述符、硬链接、软链接都属于前半部分；信号、僵尸进程、孤儿进程、kill 行为则属于后半部分。
如果只背“硬链接和软链接区别”“kill -9 和 kill -15 区别”，很容易记成表格；但当你知道文件名、本体、inode、打开文件对象不是一回事，知道信号是内核递送给进程的异步通知，很多问题就会自然串起来。
所以这章最重要的是把系统对象分层：名字层、元数据层、打开实例层；以及进程生命周期层、信号处理层、回收层。
第一部分：先把概念和主线讲清楚¶
进入问答前，先把最小前置知识补齐¶
Linux 这章看着零碎，其实可以拆成两条很清晰的主线：文件对象怎么被内核组织，进程又怎么被内核通知和回收。inode、目录项、文件描述符、软硬链接都属于前者；信号、僵尸进程、孤儿进程、kill 语义都属于后者。
先分层理解文件：文件名是目录项里的名字，inode 是元数据和数据块索引，进程打开文件后还会产生“打开文件对象”这一层，所以“删了文件名但空间没立刻释放”这种问题本质上是不同层还没都断开引用。信号部分也类似，它不是“神秘中断”，而是内核递送给进程的异步通知机制。
把这两条主线分开，很多经典 Linux 题就会自动连起来。
1. inode 和文件名是什么关系？¶
标准回答¶
文件名是目录项里的名字，inode 保存文件元数据和数据块信息。目录本质上是"名字 -> inode 编号"的映射。
为什么这题重要？¶
因为很多人潜意识里把"文件名"当作文件本体，但在 Unix/Linux 语义里：
- 文件名只是目录项中的一个入口
- inode 才更接近文件对象本身的元数据身份
inode 里通常有什么？¶
- 文件类型
- 权限
- 所有者
- 时间戳
- 数据块位置
- 链接计数
不包含什么？¶
通常不直接包含文件名。
一句总结¶
文件名是访问入口，inode 是文件元数据身份，目录负责把两者关联起来。
2. 为什么删除文件后，磁盘空间不一定立刻释放？¶
这是 inode 题最常见的追问。
原因¶
删除文件名，本质上通常是：
- 删掉目录项
- 减少 inode 的链接计数
但如果此时：
- 还有其他硬链接指向它
- 或进程仍持有该文件的打开 fd
那底层数据块不一定立刻能回收。
面试高分点¶
rm删除的首先是名字和引用关系，不一定是"立刻物理抹掉文件数据"。
3. 软链接和硬链接区别？¶
硬链接¶
多个文件名指向同一个 inode。
软链接¶
是一个独立文件，内容是目标路径。
为什么硬链接更像"同一个文件的多个名字"？¶
因为多个目录项都指向同一 inode：
- 改内容彼此都能看到
- 删除其中一个名字，不代表文件数据一定消失
为什么软链接更像"快捷方式"？¶
因为它自己是另一个 inode，只是里面记录了目标路径：
- 目标删了，软链接会悬空
- 它依赖路径解析再跳转
面试易错点¶
- 硬链接通常不能跨文件系统
- 对目录创建硬链接通常受限制
一句总结¶
硬链接是在 inode 层复用同一文件对象，软链接是在路径层做一次跳转引用。
第二部分：围绕高频追问继续展开¶
4. 什么是信号？¶
标准回答¶
信号是 Linux/Unix 中一种异步事件通知机制，用来通知进程某类事件发生，例如中断、终止、子进程状态变化等。
为什么说它是"异步通知"？¶
因为信号的到来通常不是由程序当前控制流主动顺序调用触发的，而是：
- 内核事件触发
- 用户命令触发
- 其他进程发送
- 硬件/终端事件触发
面试高分点¶
信号更像一种轻量级异步打断/通知机制，不适合承载复杂业务数据，但非常适合表达"某件系统事件发生了"。
5. kill -9 和 kill -15 区别？¶
SIGTERM(15)¶
- 请求进程正常退出
- 可捕获和清理资源
- 更适合作为优雅关闭手段
SIGKILL(9)¶
- 强制杀死
- 不能被捕获或忽略
- 进程没有机会做清理收尾
为什么一般更推荐先 kill -15？¶
因为很多服务退出前需要：
- flush 日志
- 关闭连接
- 持久化状态
- 清理锁/临时文件
直接 kill -9 虽然快，但很粗暴，可能留下：
- 半写入状态
- 脏数据
- 没清理的资源
一句总结¶
kill -15是"请你收拾好再走"，kill -9是"立刻消失，别废话"。
6. 为什么会产生僵尸进程？¶
标准回答¶
因为子进程退出后，父进程没有调用 wait/waitpid 回收退出状态。
为什么子进程退出了还不能立刻完全消失？¶
因为操作系统还需要保留一些退出信息给父进程读取，例如：
- 退出码
- 结束状态
- 资源使用统计的某些信息
如果父进程一直不回收，这个"已死但未收尸"的条目就会留在进程表里。
为什么它危险？¶
单个僵尸进程不一定可怕，但大量积累会：
- 占用进程表项
- 影响系统继续创建新进程
高分点¶
僵尸进程的本质不是"还在运行"，而是"退出状态还没被父进程处理掉"。
第三部分：把难点、边界和代价吃透¶
7. 孤儿进程和僵尸进程是什么关系？¶
孤儿进程¶
父进程先退出，子进程会被 init/systemd 等进程接管。
它为什么通常不是问题？¶
因为被接管后，总会有新的父进程负责最终回收它。
和僵尸进程的本质差异¶
- 孤儿进程：还活着，只是没亲爹了
- 僵尸进程：已经死了，但尸体还没收
这个类比很好用，而且面试官很爱听你把两者区分清楚。
8. 一组典型追问链¶
- 文件名和 inode 分别是什么？
- 删除文件为什么不一定立刻释放空间？
- 硬链接和软链接差在哪一层？
- 信号为什么说是异步通知？
SIGTERM和SIGKILL各适合什么场景？- 为什么会出现僵尸进程？
- 孤儿进程为什么通常没那么可怕？
9. 一份更像面试现场的总结回答¶
Linux 这部分基础题真正考的不是命令记忆，而是你是否理解系统对象的组织方式：目录项负责名字到 inode 的映射，inode 才承载文件元数据身份；硬链接和软链接分别是 inode 层和路径层的引用；信号是异步事件通知机制；僵尸进程则说明"进程退出"和"退出状态被回收"不是同一件事。只要把这些对象关系说顺，很多零散命令题自然就不会答错。
10. 复习建议¶
至少做到：
- 能明确说出"文件名不是文件本体"
- 能解释删除文件后空间为何可能不立刻回收
- 能把硬链接/软链接区别讲到 inode 层和路径层
- 能区分
kill -15与kill -9的工程后果 - 能把孤儿进程和僵尸进程稳定地区分开
做到这里，这一章虽然不难，但已经会显得你系统基础很稳。