美文网首页
IO - 同步,异步,阻塞,非阻塞

IO - 同步,异步,阻塞,非阻塞

作者: Rezel | 来源:发表于2016-08-29 12:05 被阅读0次

五种IO Model一直不太清楚,今天看了大神写的文章,有种豁然开朗的感觉。

但是感觉大神文章中写的例子不太详细,所以自己又写了一个例子来说明这几种模型的区别。

建议配合大神的文章看。

假设你(进程)是旅游团负责人,需要去办事处(kernel)为旅游团的人办理十个签证。

办理每个签证时,柜员都需要做两件事(对应read操作的两个阶段):

  1. 查找签证人员的相关数据(等待数据准备)。
  2. 处理这些数据办理签证(将数据从内核拷贝到进程中)。

办理签证整个过程代表进程向kernel请求数据的过程。

文章中的“等待”均表示进程阻塞。

blocking IO 模型

你找到一名柜员,一个签证一个签证按顺序地办。整个过程你都在柜员面前等待。直到业务办完。

non-blocking IO 模型

你找到一名柜员办理签证,她立刻告知你,相关数据还没准备好。

于是你去到另一名柜员面前,办理另一个签证。直到你找了10个柜员办理这十个签证。

然后你回到第一名柜员面前,问她数据准备好没有。被告知没有的话,你又去下一名柜员面前问同样的问题。直到某名柜员回复说,数据已经准备好了,于是你在她面前等待她处理你的数据。直到她处理完数据办理好签证,你再继续去下一名柜员面前询问。

评价

非阻塞指的是:在你请求办理业务的时候,柜员会立即告知你结果--相关数据还没准备好 或者 数据已经准备好了。

但是需要特别注意的是,非阻塞和non-blocking IO 模型是不等同的。

non-blocking IO 模型里面也包含了阻塞的。在柜员处理数据的时候你是需要在她面前等待的。

IO multiplexing 模型

在第二种模型下,你每次询问柜员准备好数据没有,都需要浪费柜员一定的时间。询问太多次,办事处的效率大大地降低了。于是办事处开发了一种机器。

当你使用这种机器时,它可以替你叫柜员办理签证,并且替你询问柜员数据准备好没有(这个机器也是通过轮询的方式询问,只是它询问的速度比较快)。你需要做的就是在这个机器面前等待,不能做其他事情。

当它显示某名柜员已经准备好数据时,你就去到那名柜员面前等待她办理签证。办理好签证之后你再来机器面前等待。直到全部业务办理完。

评价

在这个过程中,你要么在机器面前等待,要么去到柜员面前等待

该模型相对第二个模型的好处在于,提高了询问柜员的效率。

但是如果你需要办理的签证很少,那么办事处生产机器的成本就划不来了。这个时候可能其他模型会是更好的选择。

Asynchronous I/O 模型

你有个小弟,你打电话让你小弟去办事处办理签证,让他办理好之后再打电话通知你。

然后你就去处理其它无关的事情了(回家做饭什么的。。)

假设小弟一直没有回复你电话,那你可能就把签证这件事情完全忘记了。

甚至你也不记得自己是旅行团的负责人了,而是一直在家里愉快地做饭。。

评价

个人认为,Asynchronous I/O 模型和其他几项最主要的区别在于:异步不会等待回应,就立刻进行自己的其他事情。而同步则不一样,进程会等到有结果返回了再考虑下一步动作。

异步和非阻塞并不等同,甚至两个概念完全没有关系:

异步的情况下,进程请求后,不会理会是否有结果返回。然后就去做其他事情了。

//异步
var a = requireData(function(data){
  //do something with data
})

// a is pointless
// do something without data

而在非阻塞的情况下,进程请求后,是可以立刻得到一个结果的。进程可以基于这个结果去做其他事情。

下面的代码可以看出,非阻塞的写法其实和同步的写法一样。

// 非阻塞
var a = requireData()
if (isError(a)) {  
  // keep require data  
  var a = requireData()
} else {  
    // do something with data
}

如果非阻塞情况下,想要实现异步中的效果,则需要引入一个setTimeout才可以。而我们都知道,setTimeout其实是一个异步函数。

那么可不可以理解为,setTimeout其实就是Asynchronous I/O 模型中的旅行团负责人,而这时候,非阻塞请求成为了小弟呢?∑( ̄□ ̄;)虽然这种比喻并不恰当。

// 非阻塞情况下,实现异步中的效果
var keepRequire = function () {
  setTimeout(function() {
    var data = requireData();
    if (isError(data)) {
        keepRequire()
    } else {
        // do something with data
    }
  }, 100);
}

keepRequire()

// do something without data

总结

阻塞和非阻塞的区别在于:

阻塞不能立刻返回结果,然后它还让你(进程)干耗着,直到有结果返回了

非阻塞会立刻返回结果,这样你就不用干耗着了。(当然这个结果很可能是error)

而同步和异步的区别在于:

同步是有结果了,才进行下一步计划。

异步则是不等有没有结果,先做了其他事情再说。

阻塞非阻塞和同步异步的概念不具备可比性,但本人认为,阻塞和非阻塞应该算是属于同步的。

因为同步是需要等待结果才进行下一步计划,这时候阻塞(不能立刻返回结果),非阻塞(立刻返回结果)的概念对同步而言就很重要了。

但是异步根本不需要等待结果啊,它才懒得管你阻不阻塞呢,就是这么傲娇(°ω°ฅ)*

由于异步的不确定性太强了(即使在请求信息的时候出错了(小弟挂了),也不会有出错信息),所以现在主流的应该是用第三种模式。

另外,我觉得有必要注意的是:在Asynchronous I/O 模型,你通知了你小弟去办事。那么你小弟很可能就是用前面三种模型的其中之一去办事的。所以归根结底,还是需要同步模型。。

相关文章

  • IO模型

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

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

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

  • BIO NIO AIO

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

  • UNIX 的5种IO模型介绍

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

  • I/O模型

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

  • Java IO

    Before IO 分为:同步、异步阻塞、非阻塞 同步和异步是目的,阻塞和非阻塞是实现方式。 一个IO操作其实分成...

  • I/O详解之BIO,NIO,AIO概念

    IO的方式通常分为几种,同步阻塞的BIO、同步非阻塞的NIO、异步非阻塞的AIO。 1.IO场景 同步阻塞IO(B...

  • 产品开发

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

  • java IO、NIO、AIO

    IO流(同步、阻塞) 、 NIO(同步、非阻塞) 、 NIO2(异步、非阻塞) 概述在我们学习Java的IO流之前...

  • 网络编程之IO模型与Epoll

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

网友评论

      本文标题:IO - 同步,异步,阻塞,非阻塞

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