从 BIO 到 epoll：高并发 I/O 模型演进与本质分析

张开发
• 2026/4/14 0:32:28 • 15 分钟阅读

最新文章

推荐文章

相关文章

分享文章

从 BIO 到 epoll：高并发 I/O 模型演进与本质分析
一、问题背景为什么需要 I/O 多路复用在现代服务器开发中一个核心问题是如何高效处理海量并发连接在真实场景中如 Web 服务、缓存系统服务器往往需要同时维护成千上万的连接。但关键在于同一时刻只有少量连接是活跃的大部分连接处于“空闲等待数据”状态如果采用传统的 BIO阻塞 I/O模型一个连接对应一个线程线程在read()上阻塞等待数据就会导致大量线程空转资源浪费线程切换开销大系统难以支撑高并发核心矛盾连接多但活跃连接少二、解决思路I/O 多路复用I/O 多路复用的核心思想是用少量线程监听大量连接只处理“就绪”的连接也就是说不再为每个连接分配线程而是集中管理所有连接只在“有数据可读/可写”时处理三、select / poll传统方案1. 工作机制select 和 poll 的基本流程是用户态维护一个 fd 集合(fd就是文件描述符)每次调用时将整个集合拷贝到内核内核遍历所有 fd判断是否就绪返回就绪的 fd2. 存在的问题这种方式存在两个核心性能瓶颈1重复拷贝每次调用都需要用户态 → 内核态传入 fd 集合内核态 → 用户态返回结果2全量遍历O(n)内核必须遍历所有 fd逐个检查是否就绪 即使只有一个连接活跃也要检查全部连接四、epoll事件驱动优化epoll 的核心优化在于避免“每次全量扫描”1. 两阶段设计1注册阶段epoll_ctl(epfd, ADD, fd, ...)将 fd 注册到内核内核使用红黑树管理所有 fd2等待阶段epoll_wait(epfd, ...)不再传入 fd 集合内核直接返回“已经就绪的 fd”2. 关键数据结构红黑树管理所有 fd增删改高效就绪队列ready list存放已就绪的 fd3. 核心优化点select/poll每次扫描所有 fd epoll只返回已经就绪的 fd五、时间复杂度分析1. 理想情况假设总连接数n就绪连接数kepoll 的复杂度为O(k)当k ≪ n例如10000 个连接只有 10 个活跃 性能接近O(1)2. 为什么说 epoll 不是严格 O(1)关键点在于epoll 的复杂度取决于“就绪的 fd 数量”3. 退化场景当出现以下情况时大量 fd 同时就绪k ≈ n例如所有连接同时有数据或广播场景此时epoll_wait 返回 n 个 fd 处理成本变为O(n)4. 本质理解epoll 优化的是“典型场景”而不是“最坏情况”

更多文章