这个问题特别有意思,也非常容易概念混淆!
那么我这边分两步来讲清楚,首先第一步先把阻塞、非阻塞 和同步、异步两组概念区分出来;
同步与异步
同步和异步关注的是消息通信机制 (synchronous communication/ asynchronous communication)
同步
就是在发出一个调用时,在没有得到结果之前,该调用就不返回。但是一旦调用返回,就得到返回值了。换句话说,就是由调用者主动等待这个调用的结果。而异步则是相反,调用在发出之后,这个调用就直接返回了,所以没有返回结果。
异步
当一个异步过程调用发出后,调用者不会立刻得到结果。而是在调用发出后,被调用者通过状态、通知来通知调用者,或通过回调函数处理这个调用。
举例
你打电话问书店老板有没有《分布式系统》这本书,如果是同步通信机制,书店老板会说,你稍等,”我查一下",然后开始查啊查,等查好了(可能是5秒,也可能是一天)告诉你结果(返回结果)。而异步通信机制,书店老板直接告诉你我查一下啊,查好了打电话给你,然后直接挂电话了(不返回结果)。然后查好了,他会主动打电话给你。在这里老板通过回电这种方式来回调。
阻塞与非阻塞
阻塞和非阻塞关注的是程序在等待调用结果(消息,返回值)时的状态.
阻塞调用是指调用结果返回之前,当前线程会被挂起。调用线程只有在得到结果之后才会返回。非阻塞调用指在不能立刻得到结果之前,该调用不会阻塞当前线程。还是上面的例子,你打电话问书店老板有没有《分布式系统》这本书,你如果是阻塞式调用,你会一直把自己“挂起”,直到得到这本书有没有的结果,
如果是非阻塞式调用,你不管老板有没有告诉你,你自己先一边去玩了, 当然你也要偶尔过几分钟check一下老板有没有返回结果。在这里阻塞与非阻塞与是否同步异步无关。跟老板通过什么方式回答你结果无关。
那么接下来我们来看下在unix中的定义
unix网络编程中的IO模型
详细的请看我的这篇文章:
Linux下的五种I/O模型
在这里我简单说明下:
主要分为5类:
阻塞IO
阻塞IO就是那种recv, read,一直等,等到有了数据才返回;
非阻塞IO
非阻塞IO就是立即返回,设置描述符为非阻塞,但是要进程自己一直检查是否可读
IO复用
IO复用其实也是阻塞的,不过可以用来等很多描述符,比起阻塞有了进步,可以算有点异步了,但需要阻塞着检查是否可读
信号驱动
对同一个描述符的IO操作也是有序的。信号驱动采用信号机制等待,有了更多的进步,不用监视描述符了,而且不用阻塞着等待数据到来,被动等待信号通知,由信号处理程序处理。但对同一个描述符的IO操作还是有序的。
异步IO
异步IO,发送IO请求后,不用等了,也不再需要发送IO请求获取结果了。等到通知后,其实是系统帮你把数据读取好了的,你等到的通知也不再是要求你去读写IO了,而是告诉你IO请求过程已经结束了。你要做的就是可以处理数据了。且同一个描述符上可能同时存在很多请求。(对应上面那个买书例子中,就是送书到我家,我直接看书就行了,不需要再去跑一趟了)。
同步IO与异步IO
同步IO操作
导致请求进程阻塞,直到I/O操作完成;
异步IO操作
不导致请求进程阻塞。
所以上面的阻塞式IO(默认),非阻塞式IO(nonblock),IO复用(select/poll/epoll)都属于同步IO,因为它们在数据由内核空间复制回进程缓冲区时都是阻塞的(不能干别的事)。只有异步IO模型(AIO)是符合异步IO操作的含义的.