我们常说 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机制,已经决定了只有同步&阻塞、异步&非阻塞是有意义的。