java并行编程fork_java并发编程:Fork/Join 框架

Java 从问世之初就在语言层次支持线程的概念，从 JDK 1.5 版本开始开始提供并发编程类库；从 JDK 1.7 版本开始引入了 Fork/Join 框架编程模式，该框架可以适应多核时代并发/并行编程的要求。

一、概述

Fork/Join 框架是适用于多核处理器上并行编程的轻量级并行框架。

该框架主要由 Fork 和 Join 两个操作构成：

Fork 操作主要用于对任务和数据进行划分，一般是将一个大问题划分为若干个小问题。

Join 操作主要用于对各个部分的运行结果进行合并，相当于程序中的一个障栅。

两个操作与MapReduce 中的Map/Reduce 操作类似。

Fork/Join 框架实现了任务定义和任务处理功能的分离，使程序员在实现并行编程的同时，将更多的精力实现业务逻辑中。

在 Java 语言中，Fork/Join 框架实现了 ExecutorService 接口，与任何一个 ExecutorService 接口功能相同的是：Fork/Join 会自动地将任务分配给线程池中的线程，并负责线程管理等相关工作。与 ExecutorService 不同的是：Fork/Join 使用了工作窃取算法，从而使线程执行过程中的负载均衡。

二、相关知识

Fork/Join 框架通常被用于解决那些可以递归的分解为更小的任务的问题。该框架与负载均衡、分治方法和工作窃取算法有紧密联系。

2.1、负载均衡

负载均衡有利于加快程序的执行，减少资源的浪费。

2.2、分治方法

分支方法是简化问题的一种处理方法。该方法的基本思想是将一个复杂的任务分解为若干个小任务，然后分别解决这些小任务。

使用分治方法的步骤：分解问题、解决小问题和合并结果。

分治法可以用来解决合并排序、二分搜索和矩阵相乘等问题。

在使用 Fork/Join 框架的过程中，首先将对任务 ForkJoinTask 进行分解，任务分解的数目可以根据问题的特征以及CPU的核数进行设定，然后分解的任务交给 ForkJoinPool 处理，最后对处理结果进行收集。

2.3、工作窃取算法

工作窃取算法是提高程序性能、保证负载均衡的一种方法。该方法的基本思想是：当程序某些线程工作完成后，去查看其他线程是否有未处理完的工作；如果有，则窃取一部分工作来执行。

Fork/Join 框架采用双端队列作为任务的存储结构，该队列支持【后进先出】的数据 pop 和 push 操作，也支持【先进先出】的task 操作。

由某一工作线程创建的子任务仍然会被加入到线程的队列中，一般采用 push 操作；工作线程从自己的双端队列中取出任务执行，一般采用 pop 操作；当工作线程需要从其他线程的工作队列中窃取任务执行时，一般采用 take 操作。

三、Fork/Join 框架的编程模型

Java 语言中的 Fork/Join 框架比较适合解决那些具有递归性质、可以进行任务分解的程序。Fork/Join 框架需要对任务进行分解和合并的操作。

在分解前，首先查看问题的规模是否超过了预设的门槛值&