同步/异步，阻塞/非阻塞概念深度解析

IO 概念区分

NIO 现在已经是一个耳熟能详的名词了， 好像人人都能对所谓的 NIO ( Non-Blocking IO, 非阻塞 IO ) 发表一些如何如何提高效率的言论。 但很多东西， 追问几句就会难以自圆其说。

四个相关概念：

• 同步（Synchronous）
• 异步( Asynchronous)
• 阻塞( Blocking )
• 非阻塞( Nonblocking)

这四个概念的含义以及相互之间的区别与联系，并不如很多网络博客所写的那么简单, 通过举一些什么商店购物， 买书买报的例子就能讲清楚。

进程通信上下文的同步/异步， 阻塞/非阻塞

首先强调一点， 网络上的很多博文关于同步/异步， 阻塞非阻塞区别的解释其实都很经不起推敲。 例如怎样理解阻塞非阻塞与同步异步的区别 这一高赞回答中 ， 有如下解释（不准确）：

• 同步/异步关注的是消息通信机制 (synchronous communication/ asynchronous communication) 。

  • 所谓同步，就是在发出一个调用时，在没有得到结果之前， 该调用就不返回。
  • 异步则是相反，调用在发出之后，这个调用就直接返回了，所以没有返回结果

• 阻塞/非阻塞关注的是程序在等待调用结果（消息，返回值）时的状态.

  • 阻塞调用是指调用结果返回之前，当前线程会被挂起。调用线程只有在得到结果之后才会返回。
  • 非阻塞调用指在不能立刻得到结果之前，该调用不会阻塞当前线程。

粗一看， 好像同步/ 非同步， 阻塞/非阻塞 是两种维度的概念， 可以分别对待， 但是稍微推敲一下就会发现上述的解释根本难以自圆其说。

• 如果**“同步”** 是发起了一个调用后， 没有得到结果之前不返回， 那它毫无疑问就是被"阻塞"了（即调用进程处于 “waiting” 状态）。
• 如果调用发出了以后就直接返回了， 毫无疑问， 这个进程没有被“阻塞”。

所以， 上述的解释是不准确的。 让我们看一下《操作系统概念（第九版）》中有关进程间通信的部分是如何解释的：

翻译一下就是：

进程间的通信时通过 send() 和 receive() 两种基本操作完成的。具体如何实现这两种基础操作，存在着不同的设计。
消息的传递有可能是**阻塞的**或**非阻塞的** -- 也被称为**同步**或**异步**的：

• 阻塞式发送（blocking send）. 发送方进程会被一直阻塞， 直到消息被接受方进程收到。
• 非阻塞式发送（nonblocking send）。 发送方进程调用 send() 后， 立即就可以其他操作。
• 阻塞式接收（blocking receive） 接收方调用 receive() 后一直阻塞， 直到消息到达可用。
• 非阻塞式接受（nonblocking receive） 接收方调用 receive() 函数后， 要么得到一个有效的结果， 要么得到一个空值， 即不会被阻塞。

上述不同类型的发送方式和不同类型的接收方式，可以自由组合。

• 也就是说， 从进程级通信的维度讨论时， 阻塞和同步（非阻塞和异步）就是一对同义词， 且需要针对发送方和接收方作区分对待。

先修知识

• 用户空间和内核空间
• 进程切换
  • 系统调用（system call）
  • 中断（interrupt）
<