0. 前言：高并发IO的终极解决方案
我们吃透了Linux信号异步处理机制，掌握了系统异步事件捕捉、可重入规范、SIGCHLD工业级僵尸进程回收方案。至此，Linux基础系统编程（IO、进程、IPC、信号）全部闭环。
从今天开始，正式进入Linux高性能高并发核心——IO多路复用，这是所有后端服务器、Nginx、Redis、Tomcat、网络框架的底层基石，也是面试薪资分水岭的核心考点。
在没有多路复用之前，传统网络程序存在两大致命痛点：
1.单进程阻塞IO：一次只能处理一个连接，无法并发，性能极低；
2.多进程/多线程模型：每连接一线程，连接量大后进程/线程爆炸，内存耗尽、CPU调度爆满、上下文切换开销巨大。
IO多路复用完美解决以上问题：单个进程监听成千上百个文件描述符，哪个IO就绪处理哪个，以极小资源支撑十万、百万级并发。
绝大多数开发者只会调用epoll API，不懂底层本质，面试频频翻车：
1. select/poll/epoll 三者底层差异、性能差距、适用场景？
2. 水平触发LT和边缘触发ET的本质区别、工程坑点？
3. epoll为什么能支撑百万并发？零拷贝、事件驱动原理是什么？
4. 为什么Nginx用ET、Redis用LT？架构选型逻辑是什么？
5. 多路复用的本质是什么？和阻塞、非阻塞IO的层级关系？
今天我们从零击穿IO多路复用全套底层原理，手写三大模型实战代码，吃透触发机制、性能差异、工程选型、高频坑点与面试考点。
1. IO模型四层体系（前置核心）
Linux所有网络IO分为四大基础模型，多路复用建立在非阻塞IO之上。
1.1 阻塞IO（BIO）
默认IO模型，数据未就绪进程休眠阻塞，无法处理其他任务。优点简单无CPU浪费，缺点无法并发。
1.2 非阻塞IO（NIO）
数据未就绪立即返回，进程持续轮询，CPU空转严重，单纯NIO无法用于生产。
1.3 IO多路复用（IO Multiplexing）
单进程监听多个fd，内核统一检测IO就绪状态，有事件就绪才返回，用户进程统一处理。兼顾并发与CPU利用率，工业级主流模型。
1.4 异步IO（AIO）
内核全权完成IO读写，完成后通知进程，用户进程全程无感知，Linux极少使用。
2. IO多路复用核心本质
一句话核心定义：内核提供统一监控接口，一次性监听多个文件描述符，任意fd读写就绪立即返回，用户进程批量处理IO事件。
核心优势：
1. 单进程管理海量文件描述符，无需多进程多线程；
2. 避免空轮询，无事件阻塞等待，极大节省CPU；
3. 支撑高并发连接，是C10K、C100K问题的核心解决方案。
3. select模型精讲与实战（初代多路复用）
3.1 函数原型
#include <sys/select.h> int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout);参数解析：
nfds：最大文件描述符+1；
readfds/writefds/exceptfds：读、写、异常文件描述符集合；
timeout：超时阻塞时间，NULL永久阻塞。
3.2 核心机制
1. 用户态将需要监听的fd集合拷贝到内核；
2. 内核遍历所有fd，检测IO就绪状态；
3. 将就绪fd标记返回，清空未就绪fd；
4. 用户态遍历所有fd，找到就绪事件执行业务。
3.3 四大致命缺陷（面试必背）
缺陷1：最大fd数量限制：默认最大监听1024个fd，并发上限极低；
缺陷2：每次调用需重新设置fd集合：内核会清空未就绪fd，每次循环必须重置；
缺陷3：两次全量遍历：内核遍历所有fd检测、用户再次遍历查找就绪事件，效率极低；
缺陷4：频繁内存拷贝：每次调用都需要用户态内核态拷贝fd集合，开销巨大。
4. poll模型精讲（select优化版）
4.1 函数原型
#include <poll.h> int poll(struct pollfd *fds, nfds_t nfds, int timeout); struct pollfd { int fd; // 待监听文件描述符 short events; // 待监听事件 short revents; // 内核返回就绪事件 };4.2 优化点
1. 摒弃位图存储，使用结构体数组，无1024最大fd限制；
2. 监听事件与返回事件分离，无需每次重置监听集合；
3. 支持精细化监听读写、异常事件。
4.3 遗留缺陷
1. 依旧需要全量遍历fd查找就绪事件；
2. 每次调用依旧需要批量拷贝fd集合到内核；
3. 海量空闲fd场景性能断崖式下跌。
结论：poll解决了select部分短板，但无法解决高并发性能瓶颈。
5. epoll模型精讲（Linux终极高并发模型）
epoll是Linux专属、性能最强、工业级唯一使用的多路复用模型，Nginx、Redis、Libevent、muduo全部基于epoll实现。
5.1 三大核心API
#include <sys/epoll.h> // 1. 创建epoll树根节点，内核开辟高速事件空间 int epoll_create(int size); // 2. 事件注册：添加/删除/修改监听fd与事件 int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); // 3. 阻塞等待事件就绪，返回就绪事件集合 int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);5.2 底层核心原理（面试高频）
1.epoll_create：内核创建一棵红黑树+就绪链表，用于存储监听fd与就绪事件；
2.epoll_ctl：用户只需一次性添加/删除fd，内核持久维护，无需重复拷贝；
3.内核事件回调机制：fd就绪时内核主动将事件塞入就绪链表，无需轮询遍历；
4.epoll_wait：直接读取就绪链表数据，仅返回就绪fd，无任何无效遍历。
5.3 epoll碾压select/poll的核心优势
1.无文件描述符上限：仅受系统资源限制，支持百万并发；
2.O(1)事件查找：只返回就绪事件，摒弃全量遍历；
3.极小内存拷贝开销：一次注册永久监听，无需每次批量拷贝；
4.事件驱动机制：内核主动通知，而非用户轮询检测。
6. LT水平触发 & ET边缘触发（核心难点）
6.1 LT 水平触发（默认模式）
触发规则：只要fd中有数据未读完，epoll_wait每次都会持续触发事件。
优点：容错高、编程简单、不会丢数据；
缺点：容易产生重复事件、空唤醒，性能略低；
工程选型：Redis、简易服务、业务复杂场景优先LT。
6.2 ET 边缘触发（高速模式）
触发规则：仅状态变化瞬间触发一次，数据未读完不再重复触发。
优点：触发次数极少、无重复事件、性能极致；
缺点：编程难度极高，必须配合非阻塞IO+循环读写，否则数据残留永久不触发；
工程选型：Nginx、超高并发网关、性能极致优化场景。
6.3 工程铁律
ET模式必须使用非阻塞IO，绝对禁止阻塞读写，否则会造成数据残留、连接卡死、服务挂死。
7. epoll最简可运行实战代码
实现epoll监听标准输入，多路复用事件检测，极简核心架构：
#include <stdio.h> #include <unistd.h> #include <sys/epoll.h> int main() { // 1. 创建epoll实例 int epfd = epoll_create(1); // 2. 注册监听标准输入fd struct epoll_event ev; ev.events = EPOLLIN; ev.data.fd = 0; epoll_ctl(epfd, EPOLL_CTL_ADD, 0, &ev); struct epoll_event events[10]; // 3. 循环多路复用监听 while(1) { int n = epoll_wait(epfd, events, 10, -1); for(int i = 0; i < n; i++) { if(events[i].data.fd == 0) { char buf[128] = {0}; read(0, buf, sizeof(buf)); printf("epoll接收数据：%s\n", buf); } } } return 0; }8. 三大模型终极对比（面试必背表格）
模型 | 最大fd限制 | 时间复杂度 | 拷贝开销 | 触发模式 | 工程使用 |
|---|---|---|---|---|---|
select | 1024 | O(n) | 每次全量拷贝 | 仅LT | 废弃 |
poll | 无限制 | O(n) | 每次全量拷贝 | 仅LT | 极少使用 |
epoll | 系统上限 | O(1) | 单次注册 | LT/ET | 工业级首选 |
9. 工程高频坑点汇总
坑1：ET边缘触发使用阻塞IO
ET只触发一次，阻塞读写无法一次性读完缓冲区数据，残留数据永远不会再次触发事件，连接永久卡死。
坑2：epoll不循环读写数据
缓冲区数据大于单次read长度，数据残留，LT重复空触发、ET永久丢失事件。
坑3：select不重置fd集合
内核清空未就绪fd，不重置会导致监听fd越来越少，后续无事件触发。
坑4：海量空闲连接下误用select/poll
空闲连接无事件，依旧全量遍历，CPU 100%爆满，服务吞吐量暴跌。
坑5：混淆LT与ET业务场景
高并发网关用LT导致大量无效唤醒，复杂业务用ET导致数据丢失、偶现BUG。
10. 高频面试满分问答
Q1：select、poll、epoll 的核心区别？
select有1024fd上限，每次需重置集合、全量遍历、频繁拷贝，性能最差；poll解除fd上限，但依旧全量遍历、批量拷贝；epoll基于红黑树+就绪链表事件驱动，O(1)获取就绪事件，一次注册永久监听，支持LT/ET双触发，百万并发性能最优，是工业级唯一选型。
Q2：LT和ET触发机制区别、选型场景？
LT水平触发：数据未读完持续触发，编程简单、容错高，适合Redis等业务复杂场景；ET边缘触发：仅状态变化瞬间触发一次，性能极高，需配合非阻塞循环读写，适合Nginx等高并发网关极致性能场景。
Q3：epoll为什么能支撑百万并发？
epoll无fd数量限制，内核采用事件驱动机制，无需用户全量遍历、无需频繁内存拷贝，仅返回就绪事件，海量空闲连接几乎零开销，突破传统模型性能瓶颈，支撑百万级高并发。
Q4：ET模式为什么必须搭配非阻塞IO？
ET仅触发单次事件，阻塞IO无法一次性读完缓冲区所有数据，会造成数据残留且不会再次触发事件，导致连接卡死、数据丢失；非阻塞循环读写可一次性清空缓冲区，保证数据完整性。
Q5：epoll的内核数据结构是什么？作用？
epoll内核维护红黑树和就绪链表：红黑树持久存储所有监听的文件描述符，避免重复拷贝；就绪链表存储已就绪IO事件，epoll_wait直接读取链表数据，无无效遍历，保障高并发性能。
11. 全文总结
今天我们彻底吃透Linux IO多路复用全套高并发核心体系：
1. 厘清Linux四大IO模型层级关系，理解多路复用的设计初衷与核心价值；
2. 吃透select/poll底层机制、完整缺陷，明白其被淘汰的根本原因；
3. 精通epoll三大API、红黑树+就绪链表内核架构、事件驱动原理；
4. 击穿LT/ET双触发机制、优缺点、工程选型与强制编码规范；
5. 完成三大模型性能、场景、优劣终极对比，规避高并发线上高频坑点；
6. 掌握epoll最简核心架构，具备高并发服务开发基础能力。
IO多路复用是Linux网络编程的巅峰基石，掌握本节内容，正式具备服务端高并发架构的底层认知，为后续TCP粘包、网络服务器框架、Reactor模式进阶打下核心基础。
项目介绍项目架构项目环境配置)