同步/异步、阻塞/非阻塞

我们常说 JavaScript 是单线程、异步、非阻塞的,但实际上同步/异步、阻塞/非阻塞这两组概念并非那么简单。通过研读网络上各位大神的文章,我来记录一下,对于这两组概念的理解。

同步/异步

描述的是调用方与被调用方的关系

同步:

是指调用方发出请求后,被调用方在产生结果后才会返回,这样调用的过程中参与双方都处于一个状态同步的过程。

异步:

是指调用方发出请求就立即返回,请求甚至可能还没到达被调用方,比如说放到了某个缓冲区中,等待对方取走或者第三方转交;而结果,则通过被调用方主动推送,或调用方轮询来得到。

阻塞/非阻塞

描述的是调用者自身的运行状态

阻塞:

调用者什么都不干,直至收到被调用者的通知。

非阻塞:

调用者去干别的活,当被调用者完成任务后,通知调用者,调用者就可以处理被调用者的返回结果了。(回调就是用来处理此时返回的结果)

二者的组合

同步&阻塞、异步&非阻塞

js中我们可以直观理解,何为同步&阻塞,何为异步&非阻塞,在此不再赘述

同步&非阻塞

调用者发出调用之后(比如read),如果当时有数据可读,则读取并返回,如果没有数据可读,则线程继续向下执行。在实际使用时,read调用会在一个循环中,这样就可以不断的读取数据(尽管可能某次read操作并不能获得任何数据,举例:IO多路复用)

异步&阻塞

调用者发出调用之后(如async_recv),线程挂起,被调用者的读操作由系统(或者库)来进行,等待有结果之后,系统(或者库)通过某种机制来通知调用者(在调用者获得结果之前,调用者所在线程一直阻塞,这个看起来和同步阻塞很像,但可以这样理解,同步阻塞相当于调用者A调用了一个函数F,F是在调用者A所在的线程中完成的,而异步阻塞相当于调用者A发出对F的调用,然后A所在线程挂起,而实际F是在另一个线程中完成,然后另一个线程通知给A所在的线程,更准确的是将两个线程分别换成用户进程和内核)

JS中的场景

如果想实现同步&非阻塞,其实需要一个while循环,在循环内没有阻塞,但整个event loop仍然是阻塞的,所以意义不大。

如果想实现异步&阻塞,其实就是想发起异步请求后,挂起线程内的所有操作,可以设置一个标志位,在标志位不改变之前,不执行任何其他task,但显然这也是多此一举。

因此,JS的event loop机制,已经决定了只有同步&阻塞、异步&非阻塞是有意义的。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。