美文网首页
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 - 同步,异步,阻塞,非阻塞

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