IO 多路复用：select、poll 与 epoll/kqueue 的比较与性能优化

在高并发网络服务器开发中，IO多路复用是实现单线程高效处理多个连接的核心技术。它允许程序同时监控多个文件描述符（FD），仅在事件就绪时响应，从而避免了多线程模型的开销和复杂性。传统阻塞IO模型下，每个连接需独立线程，导致资源消耗巨大，而多路复用通过内核事件通知机制，将FD状态变化主动推送给用户空间，实现事件驱动架构。这种方法广泛应用于Nginx、Redis等高性能服务器，显著提升吞吐量和响应速度。

select作为最早的IO多路复用实现，适用于基本轮询场景。其核心是通过fd_set位图管理FD集合，支持监听读（EPOLLIN）、写（EPOLLOUT）和异常事件。调用select时，用户空间的FD集复制到内核，内核遍历所有FD检查就绪状态，返回后用户需再次遍历位图定位就绪FD。这种O(n)时间复杂度的遍历在FD数量少时高效，但当连接数超过数百时，CPU开销急剧增加。此外，select默认限制FD_SETSIZE为1024，超出需重新编译内核，兼容性虽好，却不适合大规模部署。证据显示，在基准测试中，select在1000 FD下每秒轮询次数已达数万次，远高于事件驱动模型。

poll是对select的改进，主要解决FD数量限制问题。它使用pollfd结构体数组存储FD及其事件掩码，无位图上限，支持动态扩展到数千FD。poll接口简单：用户填充数组传入内核，内核线性扫描返回revents标记就绪事件。相比select，poll避免了位图拷贝开销，但仍保留O(n)遍历内核路径，导致高负载下性能瓶颈相似。例如，在模拟10000连接的压力测试中，poll的系统调用延迟比select略低，但CPU利用率仍高达80%以上，无法满足万级并发需求。poll的跨平台性强，常用于中型应用，但缺乏事件持久化机制，需每次重建数组。

epoll是Linux内核专有的高效实现，专为高并发设计，采用事件驱动模型。epoll使用红黑树管理FD集合，epoll_create创建实例，epoll_ctl注册/修改事件，epoll_wait阻塞等待就绪队列。关键创新在于O(1)复杂度：内核维护就绪链表，仅返回活跃事件，避免全遍历。epoll支持两种触发模式：水平触发（LT，默认），持续通知就绪FD；边缘触发（ET），仅在状态变化时通知一次，适合大数据块传输。ET模式需结合非阻塞IO，循环处理直到EAGAIN，以防数据丢失。如Linux手册所述，epoll在epoll_ctl时仅拷贝事件数据，epoll_wait返回时直接从共享内存读取，极大降低用户-内核切换开销。在Nginx等生产环境中，epoll处理10万连接时，延迟仅毫秒级，QPS提升5-10倍。

kqueue是BSD系统（如macOS、FreeBSD）的对应实现，功能上类似epoll但更通用。它通过kqueue()创建队列，kevent()统一注册/等待事件，支持FD、信号、文件变更等多种类型。kqueue使用事件过滤器和唤醒机制，内核仅通知变化事件，时间复杂度O(1)。与epoll不同，kqueue支持EV_CLEAR标志自动清除事件，并可监控进程定时器等扩展场景。在跨BSD平台的Node.js异步IO中，kqueue的性能与epoll相当，平均延迟低至微秒级。但kqueue接口更复杂，需处理kevent变化列表，适用于需要多事件融合的场景。

性能比较显示，select和poll适合FD<1000的低并发应用，如小型Web服务器；epoll和kqueue则主导高并发领域，前者在Linux上QPS可达10万+，后者在BSD上类似。基准测试表明，epoll ET模式下，单核处理5万连接的CPU占用仅20%，而select达90%。权衡因素包括平台兼容（select/poll胜出）和并发规模（epoll/kqueue优）。在混合环境中，可用libevent封装抽象层自动选择最佳实现。

落地部署时，优先评估FD上限：select设ulimit -n 1024；poll/epoll无硬限，但内核参数net.core.somaxconn调至65535。epoll实例大小建议epoll_create1(0)，避免size参数过大浪费内存。ET模式阈值：缓冲区设64KB，循环read/write直到EAGAIN，返回码监控-1错误。监控要点包括epoll_wait超时设100ms，防止饥饿；用/proc/net/sockstat追踪FD使用率，阈值超80%触发告警。回滚策略：若ET遗漏事件，fallback至LT模式；生产中集成prometheus指标，如events_per_sec>1万时优化事件处理队列。参数清单：非阻塞fcntl(fd, F_SETFL, O_NONBLOCK)；事件掩码EPOLLIN|EPOLLET；maxevents=1024，避免内核队列溢出。这些工程化实践确保系统在高负载下稳定运行，平均响应时间控制在50ms内。

（字数：1025）