这一篇我们就要开始手写这个并行框架了。
做任何一个项目,都要做的事情都是先定大框架,后拆解任务。
那么这个并发框架,要完成上一篇讲的那些所有任务,该如何定大框架呢,如何选型呢?
如果大家仔细看了上一篇文章,可以看到该框架的难点和重点,主要有两点,分别是任务的顺序编排和任务结果的回调。
如何做任务顺序编排
依次来看一下各个基本场景
1 全串行
这种是最简单的,依次串行即可。
假如有3个任务,譬如每个任务由一个worker来完成,共计3个worker,这3个worker有明显的先后顺序。要描述这种依赖关系和前后顺序,我们对任务的包装类应该至少有两个属性,nextWrappers和dependWrappers。分别代表我这个任务的后面的任务和依赖的任务。
以B为例,nextWrapper就是C,dependWrapper就是A。
2 全并行
这种也很简单,也比较常见。全并行的实现方式很多,譬如可以将所有的worker放到list里,写个for循环依次start;也可以全部提交到线程池里;也可以用CompleteableFuture.supply()去接收多个worker任务。
3 先串后并
这种稍微有点难度,首先它们的数据结构是这样的,A的nextWrappers是B和C,B、C的dependWrappers都是A。
执行A不必多说,就直接在主线程里执行它,或者新开线程执行它都可以,主要是A执行完毕后,当发现自己的nextWrappers有多个时,该怎么办。
还好,CompleteableFuture提供了allOf这个方法,它可以让你传入多个future,并且能够等待这多个future都完成时再统一返回。见下图代码。
4 先并后串
这种就有难度了,分几种情况,1-BC都完成才能执行A,2-BC任意一个完成都可以执行A,3-明确指定B完成、或者C完成才能执行A,也就是当有多个dependWrapper时,可以指定必须哪些个dependWrapper执行完,才能执行自己。
这该怎么实现呢,首先BC肯定是在两个线程上。A将来是要运行在B的线程或者C的线程的,视具体规则而定。
第一种情况,BC都完成才能执行A,这个比较简单,因为B的nextWrapper是A,C的nextWrapper也是A,B或者C执行完后就会去调用A。那么在A这里就可以做判断了,判断自己的dependWrappers的状态,遍历一遍,如果所有的dependWrappers的状态都是已完成,那么自然是所有的依赖都完成了,就可以执行自己了。 如果有任何一个的状态没完成,那就说明依赖项还未完全解除,就什么也不干,等待下一次被调用,再次判断即可。
第二种情况,BC任意一个完成就能执行A,这种假如B先完成,那么B执行完就会走nextWrapper,那就是A。如果此时C也完事了,也会进入A,那么A就要做判断了,如果状态已经不是初始化时的状态,说明已经被执行了,就什么也不干,就是C完毕后调用自己时,自己什么也不干。
第三种情况,我们就需要在dependWrapper里加个属性了,代表是不是必须执行完毕。当执行到A时,A就要去遍历所有的dependWrappers,看看那些必须要完毕的wrapper的状况,是不是都全部已经执行完毕了。倘若还有至少1个强依赖项没执行完,那么自己什么也不干,直接return即可。
基本上完成上面这几种情况就可以了,其他的复杂场景,都是由这4种组合起来的。