面试官：谈谈你对Reactor模型的理解？
Reactor 模型是一种事件驱动的高性能网络编程模型，主要用于处理高并发的网络 I/O 请求。其核心思想是通过一个或多个线程监听事件，并将事件分发给相应的处理程序，从而实现高效的并发处理。
为什么要有Reactor模型？
在高并发下，只有多路复用技术，以及 NIO 是不行的，因为 NIO 只是 Java 提供的非阻塞 I/O 库，它是通过轮询的方式检测事件变化的，所以效率不算太高，而 Reactor 模型可以通过监听事件（非轮询的方式，例如 Linux 下的 epoll 技术）来实现更高效的 IO 编程。
特征
Reactor 模型的主要特征如下：
- 事件驱动：所有 I/O 操作都由事件触发并处理。
- 非阻塞：操作不会因为 I/O 而挂起，避免了线程等待的开销。
- 高效资源利用：通过少量线程处理大量并发连接，提升性能。
- 组件分离：将事件监听（Reactor）、事件分发（Dispatcher）和事件处理（Handler）解耦，使代码结构更清晰。
组成
Reactor 模型的核心组件包括：
- Reactor：负责监听和分发事件，通常基于 I/O 多路复用技术，如 epoll。
- Acceptor：负责接收新的客户端连接，并将其注册到 Reactor 中。
- Handler：负责处理具体的 I/O 事件和业务逻辑。
实现模式
Reactor 模型实现模式总共有以下三种：
- 单线程 Reactor 模型：所有操作在一个线程完成，适用于低并发场景。
- 多线程 Reactor 模型：主线程处理连接，子线程池处理 I/O 和业务。
- 主从 Reactor 模型：主线程池处理连接，子线程池处理 I/O（进一步优化资源分配）。
它们的具体区别如下。
单线程 Reactor
执行流程
- Reactor 通过监听客户端请求事件（如连接、读、写）。
- 如果是连接事件，Acceptor 通过 accept 接受连接，并注册到 Reactor 中，之后创建一个 Handler 处理后续事件。
- 如果是读写事件，Reactor 调用对应的 Handler 处理，完成 read -> 业务处理 -> send 的完整流程。
优点
模型简单，没有多线程、进程通信和竞争问题，所有操作在一个线程中完成。
缺点
- 性能瓶颈：只有一个线程，无法充分利用多核 CPU 的性能。当 Handler 处理业务时，无法处理其他连接事件。
- 可靠性问题：如果线程意外终止或进入死循环，整个系统将不可用。
适用场景
客户端数量有限，业务处理非常快速。
多线程 Reactor
执行流程
- Reactor 通过监听客户端请求事件。
- 如果是连接事件，Acceptor 通过 accept 接受连接，并注册到 Reactor 中，之后创建一个 Handler 处理后续事件。
- 如果是读写事件，Reactor 调用对应的 Handler 处理。
- Handler 只负责读取数据，将业务处理交给 Worker 线程池。
- Worker 线程池 完成业务处理，将结果返回给 Handler，由 Handler 发送给客户端。
优点
充分利用多核 CPU 的性能，提高任务处理能力。
缺点
- 多线程数据共享和访问复杂，涉及线程同步问题。
- Reactor 仍然是单线程，高并发时可能成为性能瓶颈。
适用场景
• 并发需求较高，但任务处理逻辑简单的场景。
主从 Reactor 多线程
执行流程
- MainReactor（主线程）通过监听连接建立事件，由 Acceptor 处理连接请求。
- MainReactor 将新连接分配给 SubReactor（子线程）。
- SubReactor 将连接加入监听队列，并创建 Handler 处理后续事件。
- 当事件发生时，SubReactor 调用对应的 Handler 处理。
- Handler 读取数据后，将业务处理交给 Worker 线程池。
- Worker 线程池 完成业务处理，将结果返回给 Handler，由 Handler 发送给客户端。
优点
- 职责明确：主线程只负责接收新连接，子线程负责业务处理。
- 性能优化：主线程和子线程交互简单，适合高并发场景。
缺点
编程复杂度较高。
适用场景
高并发场景，例如 Nginx、Netty。
结论
模型 | 优点 | 缺点 | 适用场景 |
|---|---|---|---|
单线程 Reactor | 模型简单，无多线程竞争问题 | 性能瓶颈，可靠性差 | 客户端少，业务处理快 |
多线程 Reactor | 充分利用多核 CPU 性能 | 多线程数据共享复杂，Reactor 单线程可能成为瓶颈 | 并发需求高，任务处理简单 |
主从 Reactor | 职责明确，性能优化，适合高并发 | 编程复杂度高 | 高并发场景（如 Nginx、Netty） |
使用场景
Reactor 模型应用在 Nginx、Netty、Kafka 以及 Redis 等框架中。
小结
Reactor 模型是一种实现思路（也是一种设计模式），它是通过事件驱动和非阻塞 I/O 机制，实现了高并发、高性能的网络编程。其核心思想是通过一个或多个线程监听事件，并将事件分发给相应的处理程序，从而实现高效的并发 IO 处理。
本文已收录到我的面试小站 www.javacn.site，其中包含的内容有：场景题、并发编程、MySQL、Redis、Spring、Spring MVC、Spring Boot、Spring Cloud、MyBatis、JVM、设计模式、消息队列等模块。
腾讯云开发者
