美文网首页
一文彻底搞定(阻塞/非阻塞/同步/异步)网络IO、并发编程模型、

一文彻底搞定(阻塞/非阻塞/同步/异步)网络IO、并发编程模型、

作者: 烟花诗人 | 来源:发表于2021-11-01 02:46 被阅读0次

概述

  是否和我有一样的困惑。什么阻塞IO、非阻塞IO、同步IO、异步IO,多路复用(epoll)等本质还是同步IO,这时可能你和我一样懵逼多路复用是同步的IO,那么使用epoll的nginx、redis、swoole等服务端程序又是异步的,这不前后矛盾么?网上文章又是五花八门,越看越糊涂。终于我无法忍受这样概念不清晰,乱麻一般的萦绕在我的心头。我决定要彻底拨开云雾见蓝天,啊!终于在一个阳光明媚的午后,就彻底顿悟了,这感觉如同德芙一般丝滑。今天就跟随我的步伐让你有丝滑一般的感觉,兄弟们走起来!!!!

网络IO

IO:IO是input/ouput英文缩写,顾名思义就是输入输出的意思,在计算中以CPU为视角,所有和外设(键盘、显卡、网卡、打印机的等)的数据操作都是涉及IO操作,外设流向CPU的是input,流向外设的就是ouput。网路IO就是网卡和CPU之间的数据交互
思考一个问题:网卡数据流向CPU都经过那些流程

数据流向示意图
用户进程发起一个网络IO操作的时候,大致上分为三个部分
  1. 用户进程读取数据,读取数据只会有三个可能(有数据、没有数据、出错)
  2. 网卡数据从网卡外设到内核空间(此过程现代计算机是不需要CPU参与,网卡控制器通过DMA技术直接搬运到内核空间)。数据完成空网卡控制器会发出中断信号。
  3. 数据到内核之后CPU负责复制(在此我们先不考虑零拷贝情况)到用户空间。

用户进程和内核交互围绕着1和3进行。到此在1和3环节就会有很多故事发生了。且听我慢慢道来!!!!

在给出分类之前我先抛出阻塞、非阻塞、异步、同步的定义,定义来自《UNIX 网络编程卷一 》的 6.2 章节
根据 POSIX 定义:

  • A synchronous I/O operation causes the requesting process to be blocked until that I/O operation completes(导致请求进程阻塞, 直到 IO 操作完成)。
  • An asynchronous I/O operation does not cause the requesting process to be blocked(不导致请求进程阻塞)。

上述定义是说:如果在1阶段系统挂起用户进程,那么该IO操作就是阻塞IO,反之不挂起,就是非阻塞IO。如果在2阶段系统挂起用户进程,那么这次IO操作就是同步,反之不挂起就是异步。

有了上述的定义,我们如何尚方宝剑一样,在也不担心傻傻分不清网络IO相关晦涩难懂的概念了。就如同初中老师教会我们如何判断什么是化学反应变化是物理变化,判断标准就是看有无新的物质生成。我们判断网络分类标准就是如上述的定义。对,就是这么狭义!!!

操作针对上述1和3处理行为,我们将网络IO分类下列5类。

  • 阻塞IO 此IO操作在1和3两个阶段,用户进程都在休眠状态
  • 非阻塞I/O 此IO操作在1阶段未被挂起,3阶段被挂起
  • 多路复用I/O 此IO操作在1阶段 (select,poll)被挂起、epoll未挂起,3阶段被挂起
  • 信号驱动I/O 此IO操作在1阶段未挂起,的数据到从网卡到内核之后,CPU通过信号机制通知用户进程。用户进程3阶段被挂起
  • 异步I/O 此IO操作在1和3阶段都不需要用户进程参与,数据拷贝完成后CPU会通知用户进程

此刻来一张很经典的图

image

IO对比图

从图中和上述定义就能看到真正的异步IO只有最后一个是。其余四个都是同步IO。对于同步和异步深入理解,其实在3这个阶段CPU需要拷贝数据到用户空间,等于用户进程切换到内核空间去执行拷贝操作,这个时候用户进程只能被挂起等待CPU拷贝数据直到完成。用户进程被挂起这段时间,用户进程的后续代码都是无法执行的只能同步等待。

并发编程模型

追求性能极致的程序员们,不遗余力地压榨CPU。基于系统提供的网络IO模型,人类设计出形形色色的并发模型。

  • 阻塞IO这种是完美无法提供并发的能力,只能串行的去处理客户端连接,所以网络IO就有了新的发展,进入到了非阻塞IO
  • 非阻塞IO 这种IO模型 就能设计出多线程、多进程并发模型
  • 多路复用 这便是并发能力秘密武器,基于这种网络IO 衍生出了 reactor反应堆并发模型,大名鼎鼎的nginx、redis就是reactor模型
  • 信号驱动和异步IO 暂时还未有更多的使用

异步编程模型

在上述的并发模型中其实单纯靠多进程和多线程,还无法达到人们的预期。所以就有了异步编程模型,异步编程模型的宗旨就是,用户程序调用同步的网络IO 模拟异步IO。人们经常说的异步IO更多指的是 异步编程模型(netty就是典型的异步IO)

在异步编程过有两个核心的技术技术回调和协程。

总结

并非同步IO就会性能差,异步IO就会性能好。要具体情况而定!!!

相关文章

  • 阻塞非阻塞 同步异步 IO模型及其应用 NIO实现原理

    1.同步异步概念 2.阻塞非阻塞概念 3.常见I/O模型:同步阻塞IO,同步非阻塞IO,异步阻塞IO,异步非阻塞I...

  • UNIX 的5种IO模型介绍

    IO模型同步、异步、阻塞、非阻塞socket阻塞与非阻塞,同步与异步 同步和异步 同步/异步主要针对C端-同步就像...

  • I/O模型

    一般来说I/O模型可以分为:同步阻塞,同步非阻塞,异步阻塞,异步非阻塞IO 同步阻塞IO:在此种方式下,用户进程在...

  • 产品开发

    IO复用模型同步,异步,阻塞,非阻塞及实例详解 IO复用模型同步,异步,阻塞,非阻塞及实例详解数据库中间件 MyC...

  • 一文彻底搞定(阻塞/非阻塞/同步/异步)网络IO、并发编程模型、

    概述   是否和我有一样的困惑。什么阻塞IO、非阻塞IO、同步IO、异步IO,多路复用(epoll)等本质还是同步...

  • IO模型

    原文参考链接 四种状态 同步 异步 阻塞 非阻塞 IO分类 同步阻塞IO 同步非阻塞IO 异步非阻塞IO注意: 没...

  • 网络编程之IO模型与Epoll

    一、IO模型 区分同步&异步,阻塞&非阻塞 区分同步或异步(synchronous/asynchronous)。简...

  • 分布式理论架构设计

    IO模型 BIO 同步阻塞 NIO 同步非阻塞 AIO 异步非阻塞 NIO核心组件 Selector Channe...

  • BIO NIO AIO

    BIO:同步阻塞IONIO:同步非阻塞IOAIO:异步非阻塞IO先弄清楚同步、异步,阻塞、非阻塞概念。 io操作分...

  • Java Socket IO演进(一)-BIO/NIO/AIO

    1. 概览 Java中主要有三种IO模型,分别是同步阻塞IO(BIO)、同步非阻塞IO(NIO)、异步非阻塞IO(...

网友评论

      本文标题:一文彻底搞定(阻塞/非阻塞/同步/异步)网络IO、并发编程模型、

      本文链接:https://www.haomeiwen.com/subject/kzfaaltx.html