原文:https://www.cnblogs.com/Anker/p/5965654.html
作者:Rabbit_Dale
1.同步与异步
同步与异步关注的是消息通信机制(Synchronous communication/Asynchronous communication)。
同步/异步
:当发出一次IO请求后,同步情况下 调用进程需要主动检查是否可读;异步情况下调用进程并不主动检查是否可读,由操作系统内核完成数据的读写,内核态进程完成IO操作然后通知调用线程。
2.阻塞与非阻塞
阻塞和非阻塞关注的是进程在等待调用结果(消息,返回值)时候的状态。
阻塞/非阻塞
: 得到IO结果前,阻塞情况下,调用进程会被挂起等待;非阻塞情况下,调用进程不用挂起等待。
3.例子
你打电话问书店老板有没有《分布式》系统这本书。如果是同步通信机制,书店老板会说:“您稍等一下,我查一下”。然后他就去查库存了,等查到了(可能1秒后,也可能一周后),然后电话里告诉你结果(返回结果)。
在这个时候,如果你选择一直拿着话筒干等着(阻塞着),一直等到老板告诉你结果,那就是同步阻塞。
在这个时候,如果你把话筒放旁边,自己该干嘛干嘛,每隔30秒过来问问老板“书找到了吗,老板?”,那就是同步非阻塞。
而在异步通信机制下,书店老板告诉你“我查一下啊,查好了给你回电”,然后直接就把电话挂了(不返回结果)。然后不知道过了多久,他会主动打电话告诉你。在这里老板是通过“回电”这种方式来回调的。
其实这里的通知严格意义上是信号驱动,我在被动等待老板的电话信号通知。
而真正意义上的异步,应该是老板直接把书送到我家,我拿起书直接看就行,不需要再跑一趟了。
最后说一句,阻塞/非阻塞和同步异步没有直接关系,它们描述的不是同一类事物。
阻塞、非阻塞、多路IO复用,都是同步IO。异步必定是非阻塞的,所以不存在异步阻塞和异步非阻塞的说法。真正的异步IO需要CPU的深度参与。
换句话说,只有用户线程在操作IO的时候根本不去考虑IO的执行全部都交给CPU去完成,而自己只等待一个完成信号的时候,才是真正的异步IO。所以,拉一个子线程去轮询、去死循环,或者使用select、poll、epool,都不是异步。