NIO 理论基础（IO 模型、线程模型）

Linux 的五种 IO 模型

出于对 OS 安全的考虑，用户进程不能直接操作 IO 设备，必须通过系统调用请求操作系统内核帮忙完成 I/O 操作。Linux I/O 操作流程如下：

请求过程中，操作系统从 IO 设备读取数据拷贝到 kernel buffer，再从 kernel buffer 拷贝到用户空间，用户进程再把数据返回给客户端。

在 IO 过程中，通常有两个不同的阶段：

• 等待数据就绪
• 把数据从内核空间拷贝到用户空间

根据这两个阶段等待方式的不同，可以将 Linux I/O 分为五种不同的类型：

• 阻塞IO
• 非阻塞IO
• IO多路复用
• 信号驱动IO
• 异步IO

根据同步、异步、阻塞、非阻塞进行分类

阻塞IO（同步阻塞）

从系统调用开始，到数据从内核空间拷贝到用户空间，进程始终阻塞。

非阻塞IO（同步非阻塞）

数据未准备好，则立刻返回。但是数据从内核空间拷贝到用户空间时，进程仍需等待。

IO多路复用（同步阻塞）

用一个线程监听多个 socket，某个 socket 就绪时，通知进程处理。虽然仍属于同步阻塞，但是由于引入多路复用机制，一个线程监听多个 socket，减少了多线程带来的上下文切换开销，对服务器性能会有很大的提升。

信号驱动IO（同步非阻塞）

发起系统调用后，进程不会阻塞，数据可用时，通知进程，数据拷贝时，进程仍需等待。

异步IO（异步非阻塞）

从进程发起系统调用，到数据从内核空间拷贝到用户空间，进程始终不会阻塞，系统会在数据完全拷贝到用户空间后通知进程。

线程模型（传统IO模型、Reactor模型）

传统IO模型

一个线程负责处理建立连接，不断创建新线程用于数据读写和业务处理，一个请求对应一个线程，示意图如下。

Reactor模型

单 Reactor 单线程

Reactor 通过 IO 多路复用模型，监控客户端请求，收到事件后利用 dispatch 进行分发，accept 事件由 acceptor 进行处理，读写事件则创建 Handler 进行数据读写和业务处理。但是上述逻辑全部由一个线程执行，没有多线程竞争问题，实现简单，但是无法支持大量连接，无法发挥多核 CPU 的优势，存在瓶颈问题。

单 Reactor 多线程

Reactor 只负责处理 accept 和 IO 事件的处理，具体的业务逻辑则创建一个 Handler 丢到 worker 线程池中进行处理，提升 Reactor 线程的性能。

主从 Reactor 多线程

基于上一步的模型，进一步进行拆分，mainReactor 只负责处理连接事件，subReactor 只负责处理读写事件，具体的业务逻辑，则丢给 worker 线程池进行处理。

这种方式的优点是，大大减轻了 mainReactor 的负担，mainReactor 和 subReactor 分别运行在不同的线程中，业务处理还是交给 worker 线程池处理，这种方式可以支持更多的连接数量。