链接: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不再需要等待很长的业务处理时间了,也就是说,业务处理被“异步处理”了。
待续