同步和异步，阻塞和非阻塞

1.1 阻塞

• 程序未得到所需计算资源时被挂起的状态。

• 程序在等待某个操作完成期间，自身无法继续干别的事情，则称该程序在该操作上是阻塞的。

• 常见的阻塞形式有：网络I/O阻塞、磁盘I/O阻塞、用户输入阻塞等。

阻塞是无处不在的，包括CPU切换上下文时，所有的进程都无法真正干事情，它们也会被阻塞。（如果是多核CPU则正在执行上下文切换操作的核不可被利用。）

1.2 非阻塞

• 程序在等待某操作过程中，自身不被阻塞，可以继续运行干别的事情，则称该程序在该操作上是非阻塞的。

• 非阻塞并不是在任何程序级别、任何情况下都可以存在的。

• 仅当程序封装的级别可以囊括独立的子程序单元时，它才可能存在非阻塞状态。

非阻塞的存在是因为阻塞存在，正因为某个操作阻塞导致的耗时与效率低下，我们才要把它变成非阻塞的。

1.3 同步

• 不同程序单元为了完成某个任务，在执行过程中需靠某种通信方式以协调一致，称这些程序单元是同步执行的。

• 例如购物系统中更新商品库存，需要用“行锁”作为通信信号，让不同的更新请求强制排队顺序执行，那更新库存的操作是同步的。

• 简言之，同步意味着有序。

1.4 异步

• 为完成某个任务，不同程序单元之间过程中无需通信协调，也能完成任务的方式。

• 不相关的程序单元之间可以是异步的。

• 例如，爬虫下载网页。调度程序调用下载程序后，即可调度其他任务，而无需与该下载任务保持通信以协调行为。不同网页的下载、保存等操作都是无关的，也无需相互通知协调。这些异步操作的完成时刻并不确定。

• 简言之，异步意味着无序。

 

阻塞和非阻塞一般指进程和线程

同步和异步一般指函数调用

 

来个例子（出自网络）：

老张爱喝茶，废话不说，煮开水。

出场人物：老张，水壶两把（普通水壶，简称水壶；会响的水壶，简称响水壶）。

1 老张把水壶放到火上，立等水开。（同步阻塞） 老张觉得自己有点傻

2 老张把水壶放到火上，去客厅看电视，时不时去厨房看看水开没有。（同步非阻塞）

老张还是觉得自己有点傻，于是变高端了，买了把会响笛的那种水壶。水开之后，能大声发出嘀~~~~的噪音。

3 老张把响水壶放到火上，立等水开。（异步阻塞） 老张觉得这样傻等意义不大

4 老张把响水壶放到火上，去客厅看电视，水壶响之前不再去看它了，响了再去拿壶。（异步非阻塞） 老张觉得自己聪明了。

 

所谓同步异步，只是对于水壶而言。

普通水壶，同步；

响水壶，异步。 (没有通知机制)

 

虽然都能干活，但响水壶可以在自己完工之后，提示老张水开了。这是普通水壶所不能及的。

同步只能让调用者去轮询自己（情况2中），造成老张效率的低下。所谓阻塞非阻塞，仅仅对于老张而言。

立等的老张，阻塞；

看电视的老张，非阻塞；

情况1和情况3中老张就是阻塞的，媳妇喊他都不知道。

虽然3中响水壶是异步的，可对于立等的老张没有太大的意义。所以一般异步是配合非阻塞使用的，这样才能发挥异步的效用。
 

 

 

Unix网络编程一书中作者给出了五种IO模型：

1、BlockingIO - 阻塞IO

2、NoneBlockingIO - 非阻塞IO

3、IO multiplexing - IO多路复用

4、signal driven IO - 信号驱动IO

5、asynchronous IO - 异步IO

这五种IO模型中前四个都是同步的IO，只有最后一个是异步IO。

 

 

阻塞（同步）：

 

非阻塞（同步）：

 

IO多路复用(同步)：

 

异步IO