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 线程池处理,这种方式可以支持更多的连接数量。