Netty 学习之路

线程模型

---

传统阻塞 I/O 服务模型

---

采用阻塞 I/O 模式获取输入的数据，每个连接都需要独立的线程完成数据的输入，业务处理，数据返回
当并发数很大时，会创建大量的线程，占用很大的系统资源；连接创建后，如果当前线程暂时没有数据可读，该线程会阻塞在 read 操作，造成线程资源的浪费

Reactor 模式

---

反应器模式、分发者模式（Dispatcher）、通知者模式（Notify）
针对传统阻塞 I/O 服务模型的缺点，进行改进

• 基于 I/O 复用模型：多个连接共用一个阻塞对象，应用程序只需要在一个阻塞对象等待，无需阻塞等待所有连接。当某个连接有新的数据可以处理时，操作系统通知应用程序，线程从阻塞状态返回，开始进行业务处理
• 基于线程池复用线程资源：不必再为每个连接创建线程，将连接完成后的业务处理任务分配给线程进行处理，一个线程可以处理多个连接的业务

Reactor 核心组成

• Reactor：在一个单独的线程中运行，负责监听和分享事件，分发给适当的处理程序来对 I/O 事件做出反应
• Handlers：处理程序执行 I/O 事件要完成的实际事件；Reactor 通过调度适当的处理程序来响应 I/O 事件，处理程序执行非阻塞操作

单 Reactor 单线程模式

---

优点：模型简单，没有多线程、进程通信、竞争的问题
缺点：

• 只有一个线程，无法完全发挥多核 CPU 的性能；Handle 在处理某个连接上的业务时，整个进程无法处理其他连接事件，导致性能瓶颈
• 可靠性问题，线程意外终止，或陷入死循环，会导致整个系统通信模块不可用、不能接受、处理外部消息，造成节点故障

使用场景：客户端数量少、业务处理快，如 Redis 处理业务的时间复杂度为 O(1)

• Select 是 I/O 复用模型的标准网络编程 API，可以实现应用程序通过一个阻塞对象监听多路连接请求
• Reactor 对象通过 Select 监控客户端请求事件，收到事件后通过 Dispatch 进行分发
• 如果是建立连接请求事件，则由 Accepter 通过 Accept 处理连接请求，然后创建一个 Handle 对象处理连接完成后的后续业务处理
• 如果不是连接事件，则 Reactor 会分发调用连接对应的 Handle 来响应
• Handle 会完成 Read、业务处理、Send 业务流程

单 Reactor 多线程

---

优点：可以充分的利用多核 CPU 的处理能力
缺点：多线程会数据共享和访问复杂，单线程的 Reactor 承担了多有的处理事件的监听和响应，高并发场景容易出现瓶颈

• Reactor 对象通过 select 监控客户端请求事件，收到事件后，通过 dispatch 进行分发
• 如果是建立连接请求，则由 Acceptor 通过 accept 处理连接请求，然后创建一个 Handler 对象处理完成连接后的各种事件
• 如果不是连接请求，则由 Reactor 分发调用连接对应的 Handler 来处理
• Handler 只负责响应事件，不做具体的业务处理，通过 read 读取数据后，会分发给后面的 worker 线程池的某个线程处理业务
• worker 线程池会分配独立线程完成真正的业务，并将结果返回给 Handler
• Handler 收到响应后，通过 send 将结果返回给客户端

主从 Reactor 多线程

---

优点：

• 父线程与子线程的数据交互简单职责明确，父线程只需要接受新的连接，子线程完成后续的业务处理
• 父线程与子线程的数据交互简单，Reactor 主线程只需要把新连接传递给子线程，子线程无需返回数据

缺点：编码复杂度高
使用场景：Nginx、Memcached、Netty

• Reactor 主线程 MainReactor 对象通过 select 监听连接事件，收到事件后，通过 Acceptor 处理连接事件
• 当 Acceptor 处理连接事件后，MainReactor（主线程） 将创建好的连接分配给 SubReactor（子线程）
• SubReactor 将连接加入到连接队列进行监听，并创建 Handler 进行各种事件处理
• 当有新事件发生时，SubReactor 会调用对应的 Handler 进行处理
• Handler 通过 read 读取数据，分发给后面的 worker 线程池中的某个线程处理
• worker 线程池分配独立线程完成真正的业务处理，并返回结果给 Handler
• Handler 收到响应结果后，再通过 send 将结果返回给客户端

总结

---

响应快，不必为单个同步时间所阻塞，虽然 Reactor 本身依然是同步的
可以最大程度的避免复杂的多线程及同步问题，并且避免了多线程/进程的切换开销
扩展性好，可以方便通过增加 Reactor 实例个数来充分利用 CPU 资源
复用性好，Reactor 模型本身与具体事件处理逻辑无关，具有很高的复用性