请教下，IO操作中下阻塞/非阻塞，同步/异步问题？

链接：https://www.zhihu.com/question/65519203/answer/233924395

看完了所有问题以及所有的回答，然后觉得可以写一点假定题主对多线程模型有基本的了解，包括线程，原子变量，回调函数等这个问题本身应该从更底层一点的概念说起
下面正文
首先先谈基本的阻塞概念：阻塞的本质源于最基础的串行执行（单线程），也就是说代码逐行执行，例如

#entry
expression #1
expression #2
expression #3
...
#exit

在这段里面，代码是严格按照自然意义上的顺序执行的，也就是从entry进入代码段，然后逐行执行expression #1 #2 #3直到执行到exit结束代码段。所谓的阻塞，就是说当我执行某一行时，必须等到这一行的执行结果完成后，才可以执行下一行。以上面的例子举例，假设我正在在执行expression #2，那么#3就一定不会被执行到，直到#2完整的执行。换而言之，在基础的阻塞模型中，不管我的call stack有多深，在程序的运行期将整个执行链展开后应该是一个完整的单链结构（循环展开），不存在分支。接下来是多线程。多线程模型下，每个线程内部是一个完整的单链状结构（阻塞），区别在于线程之间不再满足单链的状态。

#entry1                   #entry2
exp #1                    exp #3
exp #2                    exp #5
exp #4                    exp #6
...                       ...
#exit                     #exit

每个线程有自己的独立运行，彼此之间在无通讯的情况下互相不干扰，也就是说，在上面的模型中，exp #3的执行不会受exp #1和exp #2的限制，不存在阻塞模型例子中，exp #2执行过程中，exp #3一定无法执行的情况。这种情况下，我们可以称之为异步执行。然后就是看在需要通讯的模型了以题目所谈的IO操作为例子。IO操作的速度普遍很慢，远远比不上内存的直接操作，这就意味这，在单线程的情况下，IO操作对对应的表达式运行速度会严重拖慢整体的执行速度。以我们上面的情况举例。假设exp #2是读取一个磁盘数据，那么很显然在单线程的情况下，exp #3及之后的语句必须要等待很长的时间才能执行到，而这一整段时间系统实际上都是在无所事事的。所以我们需要引入异步模型来进行处理假设exp #2依然是处理IO的语句，不过其内涵变成了，通知#entry2所对应的线程执行这个IO操作，自己并不实际执行

entry1           ========>  #entry2
exp #1         ||            exp #3
exp #2     ====||            exp #5
exp #4                       exp #6
...                          ... 
#exit                        #exit

这个时候我们会看到，exp #4虽然依然会被exp #2短暂的阻塞，然而exp #2本身并不在负责处理长时间的业务，而仅仅是发起一个通知，因此exp #4不再需要等待很长的业务处理时间了，也就是说，业务处理被“异步处理”了。
待续