Linux epoll 模型详解
什么是 epoll
epoll 是 Linux 内核为处理大量并发网络连接而提供的一种高效 I/O 事件通知机制，它是 select 和 poll 的增强版，旨在解决高并发场景下的性能瓶颈，是现代高性能服务器（如 Nginx、Redis、Node.js）的核心基石。
为什么需要 epoll
传统的 select 和 poll 在处理大量连接时存在明显的性能问题：
- 时间复杂度高：select 和 poll 需要遍历整个文件描述符（fd）集合来检查状态，复杂度为 O(n)。
- 重复拷贝：每次调用都需要将 fd 集合从用户空间拷贝到内核空间。
- 连接数限制：select 通常有最大文件描述符限制（如 1024）。
epoll 通过以下特性解决了上述问题：
- O(1) 复杂度：通过事件驱动机制，只返回真正活跃的 fd,无需遍历所有连接。
- 内存共享：通过内核与用户空间共享内存,减少了数据拷贝开销。
- 无连接限制：仅受系统最大打开文件数限制,支持海量并发。
核心 API
epoll 的使用主要涉及三个系统调用：
- epoll_create：在内核中创建一个 epoll 实例，并返回一个文件描述符,用于后续操作。
- epoll_ctl：向 epoll 实例中添加、修改或删除需要监听的事件（fd）。
- epoll_wait：阻塞等待事件发生,返回就绪的事件列表。
epoll 的工作原理
epoll 的高效性源于其内核实现中的两个关键数据结构：
- 红黑树（Red-Black Tree）：用于存储所有被监听的 fd，红黑树的查找、插入、删除效率均为 O(log n),保证了对大量连接的高效管理。
- 就绪链表（Ready List）：当某个 fd 就绪时，内核通过回调函数将其放入就绪链表，epoll_wait 只需要检查这个链表是否为空，即可直接获取就绪事件,无需遍历整个红黑树。
- 回调机制：当 fd 上的事件发生时，内核直接调用回调函数将该 fd 加入就绪链表,而不是进行轮询。
触发模式：LT 与 ET
epoll 支持两种工作模式,这是开发者必须理解的关键：
- 水平触发（Level Triggered, LT）：
- 默认模式。
- 只要 fd 还有数据可读或可写，epoll_wait 就会一直触发事件。
- 编程逻辑简单，不容易出错,但可能会导致多次系统调用。
- 边缘触发（Edge Triggered, ET）：
- 高性能模式。
- 只有当状态发生变化（如从无数据到有数据）时才触发一次。
- 必须配合 非阻塞 I/O 使用,且必须一次性将缓冲区的数据读完或写完。
- 减少了系统调用次数，效率更高,但编程逻辑更复杂。
epoll 通过将轮询（Polling）改为事件驱动（Event-driven），利用红黑树和就绪链表实现了惊人的性能提升，在处理 C10K（万级并发）甚至更高并发的场景中，epoll 是 Linux 平台下进行高性能网络编程的首选方案。
首发原创文章，作者：王坚，如若转载，请注明出处：https://idctop.com/article/488665.html
