扔上我的项目地址
简易原理
什么是ForkJoin
接触到
ForkJoin
框架是因为学习Java
中的Stream
中的并行流,并行流的底层就是借助ForkJoin
框架ForkJoin
框架更适合现在CPU多核的机器,一般用于处理可以将一个大任务分解成数个互相没有依赖性的小任务,利用分治的策略,将任务不断变小,将这些小任务分发到CPU的核中,将子任务并行运行,大大加快任务处理速度具体的很多博客上说的都很不错,这里也不细说了,给几个我当时学习的博客地址吧
任务偷窃
任务偷窃算法其实就是
Worker
可以从自己对应的工作队列头部或者其他Worker
的工作队列尾部获取元素。每次在轮询任务队列时,先从每个
Worker
对应的任务队列中去获取任务,如果发现任务队列此时没有待处理的任务,那么这个时候就会采用随机选取策略,随机选择一个Worker
对应的工作队列,去窃取它的任务Join子任务结果
在Java中需要去不断的获取任务的执行情况,如果任务执行完就返回任务处理的结果;而在Golang中,由于chan的存在,使得Java的Future模式非常容易实现,只需要任务Join的时候去读取通道就可以,因为当我们把chan的cap设置为1时,如果通道中没有数据,读取一方是会被阻塞等待的
1 | func (f *ForkJoinTask) Join() (bool, interface{}) { |
核心代码
任务队列
对任务队列进行遍历操作。任务队列不止一个,而是存在多个任务队列,每次都会从这些任务队列中获取一个任务出来,如果任务存在则将任务包装成一个结构体;在获取到任务后,就是获取一个任务的执行者worker
了,随后将包装好的任务送入Worker
的chan通道中异步发送任务
1 | func (fp *ForkJoinPool) run(ctx context.Context) { |
获取一个Worker
在ForkJoin
初始化的时候,根据CPU核数对Worker
池进行初始化操作
1 | func newPool(ctx context.Context, cancel context.CancelFunc) *Pool { |
随后,处理任务肯定需要一个对应的worker去执行的,因此每次在获取worker
时,会先去worker
池中判断是否还存在空闲的worker
,如果存在就直接获取一个worker
,否则直接创建一个worker
进行接受任务
1 | func (p *Pool) retrieveWorker(ctx context.Context) *Worker { |
Worker
真正执行任务的对象,每个worker
绑定一个goruntine
,并且有一个chan
通道,用于异步接收任务以及在goruntine
中异步将任务取出并执行;当任务执行完后,将worker
返回到worker
池中
1 | func (w *Worker) run(ctx context.Context) { |
成果
正在改进的地方
任务偷窃算法
目前v0.1的任务偷窃算法并不能说像Java的ForkJoin那样,支持两个worker同时从一个队列中获取任务,而是在获取任务的时候锁住整个队列,因此并发性能不太好,目前正在采用CAS去替换悲观锁,实现两个Worker可同时读取一个队列中的数据,如果两
Worker
同时向一个长度只有1的任务队列获取元素,则乐观锁上升为悲观锁进行控制
Worker数量控制
目前的Worker数量会随着任务的不断分解而不断创建,如果任务分解过深可能会导致创建大量的
Worker
,因此还需要继续理解ForkJoin
的关于线程资源的调度