图解四种 IO 模型 _图解

博观而约取，厚积而薄发。这篇文章主要讲述图解四种 IO 模型相关的知识，希望能为你提供帮助。
最近越来越认为，在讲解技术相关问题时，大白话固然很重要，通俗易懂，让人有想读下去的欲望。但几乎所有的事，都有两面性，在看到其带来好处时，不妨想想是否也引入了不好的地方。
例如在博客中，过于大白话的语言的确会让你阅读起来更加顺畅，也更容易理解。但这都是其他人理解，已经咀嚼过了的，人家是已经完全理解了，你从这些信息中大概可能会观察不到全貌。所以，适当的白话是很好的，但这个度得控制一下。
接下来切入正文。
相信大家经常看到这个问题：
看到这个问题，可能你脑海中就会浮现以下这些字眼。比如 BIO 就是如果从内核获取数据会一直阻塞，直到数据准备完毕返回。再比如 NIO，内核在数据没有准备好时不会阻塞住，调用程序会一直询问内核数据是否 Ready。
虽然是正确的，字数也很少。但是这样一来，你看这些概念就不是理解，而是背诵了。其实 BIO 和 NIO 这类的名词还有一个共同的名字叫——IO模型，总共有:
【图解四种 IO 模型】

文章图片

由于信号驱动 IO 在实际中不常用，我们主要讲以下四种模型：

同步阻塞
同步非阻塞
IO 多路复用
异步 IO

这里还是通过例子来理解这 4 种 IO 模型：
不清楚用户态和内核态区别的可以看看《简单聊聊用户态和内核态的区别》
对数据在网络中是如何传输的细节感兴趣的，可以去看看我之前写的文章《请求数据包从发送到接收，都经历了什么？》。
同步阻塞 BIO
我们需要知道，内核在处理数据的时候其实是分成了两个阶段：

数据准备
数据复制

在网络 IO 中，数据准备可能是客户端还有部分数据还没有发送、或者正在发送的途中，当前内核 Buffer 中的数据并不完整；而数据复制则是将内核态 Buffer 中的数据复制到用户态的 Buffer 中去。
当调用线程发起 read 系统调用时，如果此时内核数据还没有 Ready，调用线程会阻塞住，等待内核 Buffer 的数据。内核数据准备就绪之后，会将内核态 Buffer 的数据复制到用户态 Buffer 中，这个过程中调用线程仍然是阻塞的，直到数据复制完成，整个流程用图来表示就张这样：

文章图片

同步非阻塞 NIO
相信大家知道 java 中有个包叫nio，但那跟我们现在正在讨论的 NIO 不是同一个概念。
现在正在讨论的是 Non-Blocking IO，代表同步非阻塞，是一种基础的 IO 模型。而 nio包则是 New IO，里面的 IO 模型实际上是 IO多路复用，大家不要搞混淆了。
有了 BIO 的基础，这次我们直接来看图：

文章图片

还是分为两个阶段来讨论。
数据准备阶段。此时用户线程发起 read 系统调用，此时内核会立即返回一个错误，告诉用户态数据还没有 Read，然后用户线程不停地发起请求，询问内核当前数据的状态。
数据复制阶段。此时用户线程还在不断的发起请求，但是当数据 Ready 之后，用户线程就会陷入阻塞，直到数据从内核态复制到用户态。
稍微总结一下，如果内核态的数据没有 Ready，用户线程不会阻塞；但是如果内核态数据 Ready 了，即使当前的 IO 模型是同步非阻塞，用户线程仍然会进入阻塞状态，直到数据复制完成，并不是绝对的非阻塞。
那 NIO 的好处是啥呢？显而易见，实时性好，内核态数据没有 Ready 会立即返回。但是事情的两面性就来了，频繁的轮询内核，会占用大量的 CPU 资源，降低效率。
IO 多路复用
IO 多路复用实际上就解决了 NIO 中的频繁轮询 CPU 的问题。在之前的 BIO 和 NIO 中只涉及到一种系统调用——read，在 IO 多路复用中要引入新的系统调用——select。
read 用于读取内核态 Buffer 中的数据，而 select 你可以理解成 mysql 中的同名关键字，用于查询 IO 的就绪状态。
在 NIO 中，内核态数据没有 Ready 会导致用户线程不停的轮询，从而拉满 CPU。而在 IO 多路复用中调用了 select 之后，只要数据没有准备好，用户线程就会阻塞住，避免了频繁的轮询当前的 IO 状态，用图来表示的话是这样：

文章图片

异步 AIO
该模型的实现就如其名，是异步的。用户线程发起 read 系统调用之后，无论内核 Buffer 数据是否 Ready，都不会阻塞，而是立即返回。
内核在收到请求之后，会开始准备数据，准备好了& 复制完成之后会由内核发送一个 Signal 给用户线程，或者回调用户线程注册的接口进行通知。用户线程收到通知之后就可以去读取用户态 Buffer 的数据了。

文章图片

由于这种实现方式，异步 IO 有时也被叫做信号驱动 IO。相信你也发现了，这种方式最重要的是需要 OS 的支持，如果 OS 不支持就直接完蛋。
Linux 系统在 2.6 版本的时候才引入了异步IO，不过那个时候并不算真正的异步 IO，因为内核并不支持，底层其实是通过 IO 多路复用实现的。而到了 Linux 5.1 时，才通过 io_uring 实现了真 AIO。