半小时搞懂 IO 模型

关注+星标公众号,不错过精彩内容


转自 | 掘金技术社区

1. 背景

最近在折腾网络编程,发现 IO 模型这块比较模糊,翻了不少资料,这里总结分享下。 关键字:网络编程;IO模型

2. 前置知识一:内核态,用户态

想要弄懂 IO 模型,有一批前置知识需要掌握,首先是内核态和用户态的概念。操作系统为了保护自己,设计了用户态、内核态两个状态。应用程序一般工作在用户态,当调用一些底层操作的时候(比如 IO 操作),就需要切换到内核态才可以进行。用户态和内核态的切换需要消耗一些资源,零拷贝技术就是通过减少用户态和内核态的转换来提高性能的。

3. 前置知识二:应用程序从网络中接收数据的大致流程

服务器从网络接收的大致流程如下:

  1. 数据通过计算机网络来到了网卡

  2. 把网卡的数据读取到 socket 缓冲区

  3. 把 socket 缓冲区读取到用户缓冲区,之后应用程序就可以使用了

outside_default.png

核心就是两次读取操作,五大 IO 模型的不同之处也就在于这两个读取操作怎么交互。

4. 前置知识三:理解同步/异步、阻塞/非阻塞

同步/异步:这个是应用层面的概念,指的是调用一个函数,我们是等这个函数执行完再继续执行下一步,还是调完函数就继续执行下一步,另起一个线程去执行所调用的函数。关注的是线程间的协作。阻塞/非阻塞,这个是硬件层面的概念,阻塞是指 cpu “被”休息,处理其他进程去了,比如IO操作,而非阻塞则是 cpu 仍然会执行,不会切换到其他进程。关注的是CPU会不会“被”休息,表现在应用层面就是线程会不会“被”挂起。至于同步和阻塞有什么区别,异步和非阻塞有什么区别,其实这是不同层面的东西,不好相互比较的。在学习IO模型的过程中,千万别钻这个牛角尖。

5. 前置知识四:理解同步阻塞、同步非阻塞、异步阻塞、异步非阻塞

有很多 IO 模型的博客,会把同步/异步、阻塞/非阻塞两两组合,把IO模型分成四类。

outside_default.png

初看其实很纳闷的,都异步了,还咋阻塞啊?

其实大可不必纠结这个,同步/异步、阻塞/非阻塞本身就是不同层面的东西,强行组合起来就是不好理解,甚至是错误的。

建议是抛开这个,直接去理解五大 IO 模型,千万别钻牛角尖。其实,真要分,也只能拆成两个维度分,而不是四个维度。首先是按阻塞/非阻塞分:

outside_default.png

然后是按同步/异步分:

outside_default.png

6. 五大 IO 模型之:阻塞 IO

好了,如果掌握了前面提到的的这些前置知识,理解IO模型就稍微轻松点了,现在开始。

之前提了,应用程序从网络中接收数据的大致流程就是两步:

  1. 数据准备:等待网络数据,把网卡的数据读取到 socket 缓冲区

  2. 数据复制:把 socket 缓冲区的数据读取到用户态 Buffer,供应用程序使用

IO模型的不同之处也就在于这两个操作怎么交互,我们先看看阻塞IO模型

当应用程序发起 read 调用时,调用线程会阻塞住直到第一步读取操作的完成。等第一步读取操作完成后,会将数据读取到用户态 Buffer 中,这个过程中调用线程仍然是阻塞的,直到数据复制完成,整个流程用图来表示就张这样:

outside_default.png

这种 IO 模型的好处就是好理解,API 简单好上手,适用于连接数不多的网络应用。

7. 五大 IO 模型之:非阻塞 IO

当应用程序发起 read 调用时,如果没有数据可读,调用线程不会阻塞。但应用程序为了读到数据,就会一直循环调用,直到有数据可读。

等第一步读取操作完成后,第二步就和阻塞IO一样了。会将数据读取到用户态 Buffer 中,这个过程中调用线程仍然是阻塞的,直到数据复制完成,整个流程用图来表示就张这样:

outside_default.png

这种 IO 模型的并没有特别好处,而且会一直循环调用底层的接口,性能堪忧,很少使用。

8. 五大 IO 模型之:信号驱动 IO

当应用程序发起 read 调用,注册一个handler,等待有数据后的回调。应用程序一旦被回调,就说明数据已经可以读取了,就会进行第二步操作,把数据读取到用户态 Buffer 中。同样,第二步仍然是阻塞的。

outside_default.png

这种 IO 模型的好处就是相比于非阻塞IO,使用通知&回调机制减少了循环的开销,但是对于连接数多的场景,可能会因为信号队列溢出导致没法通知,用的不多。

9. 五大 IO 模型之:多路复用 IO

当应用程序发起 read 调用时,如果没有数据可读,调用线程不会阻塞,系统会把 socket 注册到一个“多路复用器”上,等到有数据了会把可读的socket加入队列,供应用层使用。

outside_default.png

大概的代码如下:

java复制代码while (true) {
    if (selector.select(READ_KEY) > 0) { // selector 就是多路复用器,READ_KEY 大于 1 说明有可读的socket
        Set<SelectionKey> set = clientSelector.selectedKeys();
        Iterator<SelectionKey> keyIterator = set.iterator();
        while (keyIterator.hasNext()) { 
            SelectionKey key = keyIterator.next();
            if (key.isReadable()) {
                // 读取数据
            }
        }
    }
}

这种 IO 模型的好处是能够应对大量的连接,尤其适用于大量的短连接。现在大多数网络应用,底层采用的都是多路复用IO。

10. 五大 IO 模型之:异步 IO

异步IO 则和上面四种IO模型都不通,他是完完全全的异步,两步操作都不会阻塞。应用程序发起 read 调用后,等收到回调通知,就可以去使用用户态 Buffer 的数据了,如下图所示。

outside_default.png

11. 打个比方

打个个人认为很贴切的比方,帮助理解。

edd6ad18247dedb1557cdf98a3a0e5e5.jpeg

大家都去医院取过药吧,五种IO模型就像是不同的取药方式。

  • 阻塞IO: 排队等药,排到我了但是药还没准备好,那我也继续等着,别人也不能取。这种我没好,别人也落不着好的方式,就是阻塞IO的体现。

  • 非阻塞IO: 排队等药,排到我了但是药还没准备好,那我重新排吧。重新排队就是轮询,因为重新排了也没有阻塞别人取消,就是非阻塞IO的体现。

  • 信号驱动IO: 不用排队等药,药准备好了就直接短信通知你去取。短信通知就相当于信号驱动了,因为不用排队,节省了不少时间。

  • 多路复用IO: 这个就是日常中常见的那种取药方式了,付了钱后要去药房的机器上扫码,然后盯着显示器,上面显示了你的名字,再去取药。在机器上扫码就相当于注册,显示了你的名字就相当于有需要处理的IO事件了。现实中显示了我的名字,我还是要去排队,这也是对应上的,因为一个 selector 返回的是多个需要处理的IO时间,一个个处理就相当于一个个排队取药。

  • 异步IO: 这个就很赛博朋克了,异步IO就像是不用排队,不用取药,药好了直接寄你家,完全异步。

12. 可能会产生的疑问:

12.1 Java 的 nio 是对多路复用IO模型的实现,为什么叫非阻塞?

首先 Java 的 nio 包可以用来实现多路复用IO模型,也可以用来实现非阻塞IO模型,只不过非阻塞IO模型性能差没人用而已。其次,nio 中的那个“n”是 new 的意思。当时 JDK 的开发者为了和老的io包做区分,才用nio 来表示的,并不是 nonblocking 的“n”,所以叫“新IO包”更准确,也不容易弄混。

12.2 select、poll、epoll有什么关系

select、poll、epoll 都是用来实现多路复用的,原理也都是通过遍历找到可读写的socket,区别在于

  • select 有限制,最多1024个,poll、epoll没有这个限制。

  • poll 对数据结构有优化,没有 1024 个的限制,但还是要遍历所有socket,目前很少用。

  • epoll 对遍历有优化,不会遍历所有socket,只会遍历那些可读的socket,所以效率有所提升。

12.3 信号驱动 IO 和多路复用 IO 很难分辨

信号驱动 IO 的底层机制是事件通知,多路复用 IO 的底层机制是遍历+回调,只不过在应用层面包装成了事件而已。

13. 总结

从网卡中读取数据有两步:第一步是网卡到 socket 缓存区,第二步是从 socket 缓冲区到内核态。

IO 模型有五种:阻塞IO、非阻塞IO、信号驱动IO、多路复用IO、异步IO。

  • 阻塞IO:两步都阻塞

  • 非阻塞IO:第一步不阻塞,但应用层不知道什么时候数据可读,所以需要不断轮询

  • 信号驱动IO:第一步不阻塞,但应用层不感知这一步的阻塞,机制是事件通知机制,数据准备好后直接通知应用层读取

  • 多路不用IO:第一步不阻塞,但应用层不感知这一步的阻塞,机制是遍历所有 Socket,有准备好的再通知应用层读取

  • 异步IO:纯异步,数据准备好后,应用层直接使用。

声明:本文素材来源网络,版权归原作者所有。如涉及作品版权问题,请与我联系删除。

------------ END ------------

db36b777620e2f456de278bd3ef160ef.gif

●专栏《嵌入式工具

●专栏《嵌入式开发》

●专栏《Keil教程》

●嵌入式专栏精选教程

关注公众号回复“加群”按规则加入技术交流群,回复“1024”查看更多内容。

2ecd5a9f89e90f2d58c95b3aae7e9ca5.jpeg

ec29fcbc8a69dda0b863d0b87cada4f3.png

点击“阅读原文”查看更多分享。

猜你喜欢

转载自blog.csdn.net/ybhuangfugui/article/details/132594442