什么是阻塞/非阻塞和同步/异步

作者：萧萧
链接：https://www.zhihu.com/question/19732473/answer/241673170
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
IO 概念区分四个相关概念：同步（Synchronous）异步( Asynchronous)阻塞( Blocking )非阻塞( Nonblocking)这四个概念的含义以及相互之间的区别与联系，并不如很多网络博客所写的那么简单, 通过举一些什么商店购物， 买书买报的例子就能讲清楚。进程间通信的同步/异步， 阻塞/非阻塞首先强调一点， 网络上很多博文关于同步/异步， 阻塞非阻塞区别的解释其实都经不起推敲。 例如在 严肃 的这一高赞回答中 ， 有如下解释（不准确）：同步/异步关注的是消息通信机制 (synchronous communication/ asynchronous communication) 。
所谓同步，就是在发出一个调用时，在没有得到结果之前， 该调用就不返回。异步则是相反，调用在发出之后，这个调用就直接返回了，所以没有返回结果阻塞/非阻塞关注的是程序在等待调用结果（消息，返回值）时的状态.阻塞调用是指调用结果返回之前，当前线程会被挂起。调用线程只有在得到结果之后才会返回。非阻塞调用指在不能立刻得到结果之前，该调用不会阻塞当前线程。粗一看， 好像同步/ 非同步， 阻塞/非阻塞 是两种维度的概念， 可以分别对待， 但是稍微推敲一下就会发现上述的解释存在不妥之处。如果“同步”是发起了一个调用后， 没有得到结果之前不返回， 那它毫无疑问就是被“阻塞”了（即调用进程处于 “waiting” 状态）。如果“异步”调用发出了以后就直接返回了， 毫无疑问， 这个进程没有被“阻塞”。
所以， 上述的解释是不准确的。 让我们看一下《操作系统概念（第九版）》中有关进程间通信的部分是如何解释的：

翻译一下就是：进程间的通信是通过 send() 和 receive() 两种基本操作完成的。具体如何实现这两种基础操作，存在着不同的设计。
消息的传递有可能是阻塞的或非阻塞的 – 也被称为同步或异步的：阻塞式发送（blocking send）. 发送方进程会被一直阻塞， 直到消息被接受方进程收到。非阻塞式发送（nonblocking send）。 发送方进程调用 send() 后， 立即就可以其他操作。阻塞式接收（blocking receive） 接收方调用 receive() 后一直阻塞， 直到消息到达可用。非阻塞式接受（nonblocking receive） 接收方调用 receive() 函数后， 要么得到一个有效的结果， 要么得到一个空值， 即不会被阻塞。上述不同类型的发送方式和不同类型的接收方式，可以自由组合。也就是说， 从进程级通信的维度讨论时， 阻塞和同步（非阻塞