一、索引矩阵（文章 01--06）
| 序号 | 内容 | 核心源码 / 考古点 | 认知阶梯 |
|---|---|---|---|
| 01 | 从计算机早期 IO 形态出发，解释 Linux 如何通过 file / fd / VFS 统一异构 IO 设备 | struct file / file_operations / VFS 起源 |
点击阅读 |
| 02 | 从进程调度视角拆解阻塞与非阻塞 IO，讲清睡眠、唤醒与等待队列机制 | task_struct / wait_queue / schedule() |
点击阅读 |
| 03 | 从完成责任角度区分同步与异步 IO，对比 POSIX AIO 与 Linux AIO 的内核现实 | read/write / POSIX AIO / fs/aio.c |
点击阅读 |
| 04 | 通过源码分析 select / poll 的线性扫描模型，解释多路转接的设计与瓶颈 | fd_set / pollfd / do_select / do_poll |
点击阅读 |
| 05 | 拆解 epoll 的事件驱动模型，说明持久监听关系与就绪链表如何消除扫描 | eventpoll / epitem / rdllist |
点击阅读 |
| 06 | 按系统调用逐函数贯通 select/poll/epoll 的内核实现，打通 VFS、socket、poll 与 wait queue 全链路 | poll_table / sock_poll / tcp_poll |
点击阅读 |
二、总结
本系列前六篇完整复原了 Linux IO 模型在操作系统演进中的关键阶段：从早期计算机以设备为中心的 IO 方式，到 Unix 通过 file 抽象建立统一 IO 世界，再到多任务与网络环境下对"等待"问题的制度化解决。阻塞与非阻塞明确了进程是否进入睡眠，同步与异步重新分配了 IO 完成责任，而 select / poll 与 epoll 则分别代表了线性扫描时代与事件驱动时代对并发 IO 的两种根本性回答。
通过将 select、poll、epoll 还原到共同的内核地基------file_operations->poll、poll_table、wait queue 与回调机制，本系列揭示了 Linux IO 并非由零散 API 拼凑而成，而是一套高度一致、可复用的内核机制体系。这一体系既承继了 Unix 抽象优先的设计哲学，又为后续高并发与新型异步 IO 模型奠定了结构基础，在计算机文明史上完成了从"设备驱动编程"向"事件驱动系统"的关键过渡。