前言:在之前的Redis面试套路拆解的文章[Redis面试套路拆解(一)]中有提到过IO模型,并且IO模型自身也是一个比拟容易混同的高频面试考点,小黑板将在本篇文章帮你理清思路,辨别各种IO模型~

其实网络上曾经有很多博客讲了这个问题,然而总是感觉看完之后还是迷迷糊糊的,感觉大家有点太执着于把这个问题讲的通俗易懂了,常常会举各种各样的例子,比方烧水、去银行办理业务之类的,然而看完之后反倒会产生更多的疑难,因为可能举得例子并不能完满的实用于同步异步、阻塞非阻塞的概念

所以咱们明天就不举例子了,小黑板想从业余概念的角度来帮忙大家了解各种概念~

在探讨问题之前,咱们须要确定一下上下文,免得产生误解,本文探讨的背景是基于Linux的网络IO发展的


实际上无论是哪一种IO模型,都能够分为两个阶段(read操作为例):

  • 期待数据准备就绪
  • 将数据从内核态拷贝到用户空间

这里咱们须要解释一下,什么是内核态用户态



  • 用户态:也称为用户空间,即下层应用程序的流动空间,应用程序的执行必须依赖于内核提供的资源
  • 内核态:也称为内核空间,管制计算机的硬件资源,并提供下层利用程序运行的环境

:用户态能够通过零碎调用切换到内核态,这是被动进入到内核态。此外在呈现异样或者外围设备的中断也会进入到内核态,不过是被动响应的

先说论断:各种IO模型其实是依据它在上述两个阶段的不同体现(用户过程或者线程是否阻塞)来辨别的!!!


在第一个阶段用户过程是否阻塞用来辨别阻塞/非阻塞,在第二个阶段用户是否阻塞用来辨别同步/异步!!!


阻塞IO

当用户过程发动零碎调用recvfrom时,在第一阶段,内核首先会期待数据准备就绪,这个过程中用户过程是阻塞的;在第二阶段,当数据准备就绪之后,数据会从内核空间拷贝到用户空间(应用程序空间),这个过程中用户过程同样是阻塞的,直到数据拷贝实现才复原。

所以,阻塞IO在两个阶段都是阻塞的!!


非阻塞IO

非阻塞IO和阻塞IO类似,区别在于第一阶段,在期待数据准备就绪的过程中,用户过程不会阻塞,而是在数据没有准备就绪的时候失去一个error返回,这是用户过程就晓得数据还没有筹备好,而后就能够持续发动recvfrom操作直到数据准备就绪

在第二阶段,数据从内核空间向用户空间拷贝时,非阻塞IO用户过程同样是阻塞的

IO多路复用

IO多路复用实际上是通过select/epoll等函数轮询多个socket,当用户过程调用了select函数,整个用户过程就会被阻塞,直到收到数据准备就绪的返回

后续的操作和非阻塞IO是相似的,因为在recvfrom零碎调用之前,须要的数据就曾经准备就绪了,所以第一个阶段是非阻塞的第二个阶段同样还是阻塞

所以IO多路复用整个过程中,用户过程都是阻塞的~


异步IO

异步IO实际上是用户过程发动read操作之后,就会立即收到一个返回,所以用户过程就能够去实现其余的工作,而不须要阻塞;直到数据准备就绪并且实现了从内核空间向用户空间拷贝的工作,这时用户过程会收到一个告诉,通知他read操作已实现


整个过程中用户过程不会被阻塞


总结

所以实际上阻塞IO和非阻塞IO都是同步IO,用到了非凡的异步函数才是异步IO


如果能从IO过程的两个阶段来对待这些问题,就不会被这些概念和一些例子绕晕了


心愿本文对大家有帮忙,如果有播种的话请点点赞和在看哟~