半小时搞懂 IO 模型

2023年 8月 9日 45.9k 0

1. 背景

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

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

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

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

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

  • 数据通过计算机网络来到了网卡
  • 把网卡的数据读取到 socket 缓冲区
  • 把 socket 缓冲区读取到用户缓冲区,之后应用程序就可以使用了
  • image.png
    核心就是两次读取操作,五大 IO 模型的不同之处也就在于这两个读取操作怎么交互。

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

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

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

    有很多 IO 模型的博客,会把同步/异步、阻塞/非阻塞两两组合,把IO模型分成四类。
    image.png
    初看其实很纳闷的,都异步了,还咋阻塞啊?

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

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

    然后是按同步/异步分:
    image.png

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

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

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

  • 数据准备:等待网络数据,把网卡的数据读取到 socket 缓冲区
  • 数据复制:把 socket 缓冲区的数据读取到用户态 Buffer,供应用程序使用
  • IO模型的不同之处也就在于这两个操作怎么交互,我们先看看阻塞IO模型

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

    image.png

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

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

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

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

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

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

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

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

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

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

    image.png
    大概的代码如下:

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

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

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

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

    11. 打个比方

    打个个人认为很贴切的比方,帮助理解。
    image.png
    大家都去医院取过药吧,五种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:纯异步,数据准备好后,应用层直接使用。

    都看到这了,给个赞吧

    都看到这了,给个赞吧

    都看到这了,给个赞吧

    14. Ref

    • notes.shichao.io/unp/ch6/
    • 彻底搞懂 select/poll/epoll,就这篇了!blog.csdn.net/Linuxhus/ar…
    • 图解四种 IO 模型 juejin.cn/post/704953…
    • 深入理解Java I/O模型 juejin.cn/post/684490…
    • 关于同步、异步与阻塞、非阻塞的理解 www.cnblogs.com/Anker/p/596…
    • Node的灵魂——非阻塞异步IO blog.csdn.net/chanmufeng/…
    • Java NIO--(1)高并发IO的底层原理及4种主要IO模型 juejin.cn/post/687371…
    • 计算机I/O与I/O模型 juejin.cn/post/684490…

    相关文章

    JavaScript2024新功能:Object.groupBy、正则表达式v标志
    PHP trim 函数对多字节字符的使用和限制
    新函数 json_validate() 、randomizer 类扩展…20 个PHP 8.3 新特性全面解析
    使用HTMX为WordPress增效:如何在不使用复杂框架的情况下增强平台功能
    为React 19做准备:WordPress 6.6用户指南
    如何删除WordPress中的所有评论

    发布评论