Reactor模式基于事件驱动与I/O多路复用，利用epoll实现高效并发处理，核心组件包括事件分发器、反应器和事件处理器，通过非阻塞I/O与事件回调机制管理海量连接，结合多线程、事件分离与缓冲区优化，支撑Nginx、Redis等高性能服务。
在Linux网络编程中，Reactor模式是一种高效处理大量并发连接的设计思想，其核心是基于事件驱动模型，利用I/O多路复用技术实现单线程或少量线程管理成千上万个客户端连接。这种架构广泛应用于高性能服务器如Nginx、Redis和Netty等。
事件驱动与I/O多路复用基础
Linux中的事件驱动模型依赖于内核提供的I/O多路复用机制，主要包括 select、poll 和 epoll。其中 epoll 是最高效的实现，适用于大规模并发场景。
epoll 通过三个系统调用工作：
- epoll_create：创建一个epoll实例
- epoll_ctl：注册、修改或删除文件描述符的监听事件
- epoll_wait：等待并获取就绪的事件
当某个socket有数据可读或可写时，内核会通知应用程序，避免了轮询所有连接带来的性能损耗。
Reactor模式的核心结构
Reactor框架主要由以下几个组件构成：
- EventDemultiplexer（事件分发器）：通常是 epoll_wait，负责监听多个文件描述符的事件，并将就绪事件返回
- Reactor（反应器）：运行事件循环，调用事件分发器获取事件，并根据事件类型分发给对应的处理器
- EventHandler（事件处理器）：用户定义的回调函数，处理具体的读、写、连接建立等逻辑
整个流程如下：服务器启动后，将监听套接字加入epoll；当新连接到来时，accept获取新socket并注册读事件；当客户端发送数据，读事件触发，调用相应的读回调处理数据。
一个简单的Reactor实现思路
以C语言为例，构建一个基本的Reactor框架步骤如下：
- 创建监听socket并绑定端口，设置为非阻塞模式
- 使用 epoll_create 创建epoll实例
- 将监听socket加入epoll，关注 EPOLLIN 事件
- 进入事件循环：epoll_wait 等待事件到达
- 对每个就绪事件判断类型：
- 如果是监听socket就绪，则 accept 新连接，并将其添加到epoll监控中
- 如果是已连接socket就绪且为读事件，则 read 数据并处理
- 如果需要发送响应，注册写事件并在可写时 write
关键点在于所有I/O操作都非阻塞，事件到来才处理，避免阻塞主线程。
Reactor的扩展与优化
单Reactor可能成为性能瓶颈，因此可以采用以下改进方案：
- 多Reactor线程：主线程负责accept，多个子线程各自拥有独立的epoll实例处理读写，提升CPU利用率
- 事件分离：将读、写事件分开注册，避免不必要的写事件触发
- 缓冲区管理：为每个连接维护输入/输出缓冲区，支持不完整消息的拼接和分包发送
- 定时事件支持：结合时间轮或最小堆，处理超时断连、心跳检测等任务
这些优化使得Reactor能够支撑百万级连接，广泛用于即时通讯、游戏后端和微服务网关。
基本上就这些。掌握epoll和事件回调机制，就能理解大多数高性能网络库的设计原理。不复杂但容易忽略细节，比如边缘触发模式下的循环读取、错误事件处理等，都需要仔细设计。
