五种IO Model一直不太清楚,今天看了大神写的文章,有种豁然开朗的感觉。
但是感觉大神文章中写的例子不太详细,所以自己又写了一个例子来说明这几种模型的区别。
建议配合大神的文章看。
假设你(进程)是旅游团负责人,需要去办事处(kernel)为旅游团的人办理十个签证。
办理每个签证时,柜员都需要做两件事(对应read操作的两个阶段):
- 查找签证人员的相关数据(等待数据准备)。
- 处理这些数据办理签证(将数据从内核拷贝到进程中)。
办理签证整个过程代表进程向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 模型,你通知了你小弟去办事。那么你小弟很可能就是用前面三种模型的其中之一去办事的。所以归根结底,还是需要同步模型。。