Linux epoll 事件通知机制深度实战：从内核红黑树到高并发服务器的全栈剖析

引言：从 select/poll 到 epoll 的历史性跨越

在高并发网络服务器领域，高效的事件通知机制是核心基石。从早期的 O(n) 线性扫描 select() 和 poll()，到如今内核级事件通知 epoll() 的 O(1) 就绪事件获取，Linux 内核经历了一次范式的跃迁。本文将深入 epoll 的内核实现原理，从红黑树文件描述符管理、回调事件就绪机制，到水平触发(LT)与边缘触发(ET)的行为差异，再到 EPOLLONESHOT 与 EPOLLEXCLUSIVE 等高级特性，带你从零构建一个基于 epoll 的高并发网络服务器，并揭示其在实际生产中最常见的陷阱与性能调优策略。

一、epoll 架构全景：就绪列表 红黑树

1.1 核心数据结构

epoll 实例在内核中由 struct eventpoll 管理，其核心在于两个关键数据结构：

struct eventpoll {
    struct mutex mtx;           // 保护并发访问
    struct rb_root rbr;         // 红黑树根，管理所有监控的 fd
    struct list_head rdllist;   // 就绪双向链表（核心性能优势来源）
    struct wake_queue_entry wq; // 等待队列（epoll_wait 阻塞处）
    struct list_head ovflist;   // 溢出队列（用于 EPOLLET 模式暂存）
    ...
};

红黑树（rbr）：每当用户调用 epoll_ctl(EPOLL_CTL_ADD) 时，内核会将目标 fd 对应的 struct epitem 插入到红黑树中。红黑树保证 O(log n) 的查找、插入和删除复杂度，使得即使监控数万个 fd，操作依然高效。

就绪链表（rdllist）：这是 epoll 的核心性能优势所在。当某个被监控的 fd 有事件发生时，内核的 poll 回调（ep_poll_callback）会将该 epitem 加入就绪链表。epoll_wait() 只需检查 rdllist 是否为完全空，非空即取，O(1) 获取所有就绪事件。

1.2 epoll_create / epoll_create1

创建 epoll 实例的系统调用：

int epfd = epoll_create1(EPOLL_CLOEXEC);
// 旧版: int epfd = epoll_create.size_hint);

内核层面的创建流程：

1. 分配 struct eventpoll 并初始化各字段
2. 初始化红黑树根节点
3. 初始化就绪链表（空）
4. 创建唤醒队列条目（init_waitqueue_func_entry）
5. 将 epfd 与 eventpoll 关联，写入进程文件描述符表

注意：epoll_create(size_hint) 中的 size_hint 在 2.6.8 后已被忽略，仅为兼容性保留——内核会自动按需扩展。

1.3 epoll_ctl 的三种操作

// ADD：将 fd 加入红黑树，注册 poll 回调
epoll_ctl(epfd, EPOLL_CTL_ADD, fd,