多进程并发执行具有异步的特性
进程异步就是指一个以上的进程在并发执行时具有的异步特型,就比如说两个进程之间指令的执行顺序是不确定的,具有很强的随机性。
举个例子
现在有两个并发执行的进程 A 和 B, 各自都有n条指令需要执行。
然而,我的CPU很垃圾,只能在同一时刻执行一条语句,就产生了如下几个问题:
- 是先执行A进程的第一条语句还是B进程的第一条语句?
显然这是未知的。
- 假如先执行的是A进程的第一条语句,那我要执行到第几条语句才停下来再去执行B的语句呢?(肯定不能让A进程执行完所有的语句再转去执行B进程,这就失去了并发的意义了)
显然这也是未知的
这就是进程异步特型,在单进程中语句的顺序是很容易确定的,而多进程中却是无法确定的。
提出需求
假如现在A进程的某一条语句需要等待B进程的某一条语句执行完才能执行,那么我们解决这个问题呢?
与这个类似的问题很复杂,解决这一类问题就是 进程同步 需要讨论的内容。
进程同步
进程同步就是用一些巧妙的方法将异步的进程的局部代码加以控制,达到我们想要的效果。
为什么说是局部呢
因为只有一部分指令的执行是有条件约束的,需要我们去控制,如果不控制就会得不到我们想要的执行结果,甚至发生严重的错误。
当然更不肯能去手动控制所有的代码,那样将是及其的低效率且没有任何意义。