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

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