并发:Java的Future和FutureTask
并发:Java的Future和FutureTask
Future类的作用
Future 类是异步思想的典型运用,主要用在一些需要执行耗时任务的场景,避免程序一直原地等待耗时任务执行完成,执行效率太低。具体来说是这样的:当我们执行某一耗时的任务时,可以将这个耗时任务交给一个子线程去异步执行,同时我们可以干点其他事情,不用傻傻等待耗时任务执行完成。等我们的事情干完后,我们再通过 Future 类获取到耗时任务的执行结果。这样一来,程序的执行效率就明显提高了。
这其实就是多线程中经典的 Future 模式,你可以将其看作是一种设计模式,核心思想是异步调用,主要用在多线程领域,并非 Java 语言独有。
在 Java 中,Future 类只是一个泛型接口,位于java.util.concurrent包下,其中定义了 5 个方法,主要包括下面这 4 个功能:
- 取消任务;
- 判断任务是否被取消;
- 判断任务是否已经执行完成;
- 获取任务执行结果。
源码
1 | // V 代表了Future执行的任务返回值的类型 |
FutureTask的作用
FutureTask是Future的具体实现。
FutureTask实现了RunnableFuture接口。RunnableFuture接口又同时继承了Future 和 Runnable 接口。所以FutureTask既可以作为Runnable被线程执行,又可以作为Future得到Callable的返回值,可以作为任务直接被线程执行。
构造函数
1 | public FutureTask(Callable<V> callable) { |
例子
1 | import java.util.concurrent.Callable; |
这里用时仅仅只有3013ms,“input2生成, 需要耗费3秒”,这一步占了主要时间。由此观之,整个过程是异步的(不然时间将会是>3+2=5s的)。
CompletableFuture类
Future 在实际使用过程中存在一些局限性,比如不支持异步任务的编排组合、获取计算结果的 get() 方法为阻塞调用。
Java 8 才被引入CompletableFuture 类可以解决Future 的这些缺陷。CompletableFuture 除了提供了更为好用和强大的 Future 特性之外,还提供了函数式编程、异步任务编排组合(可以将多个异步任务串联起来,组成一个完整的链式调用)等能力。
1 | //programmer-club中的例子 |
CompletableFuture是对Future的扩展和增强。CompletableFuture实现了Future接口,并在此基础上进行了丰富的扩展,完美弥补了Future的局限性,同时CompletableFuture实现了对任务编排的能力(重点)。
CompletionStage接口定义了任务编排的方法,执行某一阶段,可以向下执行后续阶段。异步执行的,默认线程池是ForkJoinPool.commonPool(),但为了业务之间互不影响,且便于定位问题,强烈推荐使用自定义线程池。
功能
常用方法
依赖关系
- thenApply():把前面任务的执行结果,交给后面的Function。
- thenCompose():用来连接两个有依赖关系的任务,结果由第二个任务返回。
and集合关系
- thenCombine():合并任务,有返回值。
- thenAccepetBoth():两个任务执行完成后,将结果交给thenAccepetBoth处理,无返回值。
- runAfterBoth():两个任务都执行完成后,执行下一步操作(Runnable类型任务)。
or聚合关系
- applyToEither():两个任务哪个执行的快,就使用哪一个结果,有返回值。
- acceptEither():两个任务哪个执行的快,就消费哪一个结果,无返回值。
- runAfterEither():任意一个任务执行完成,进行下一步操作(Runnable类型任务)。
并行执行
- allOf():当所有给定的 CompletableFuture 完成时,返回一个新的 CompletableFuture。
- anyOf():当任何一个给定的CompletablFuture完成时,返回一个新的CompletableFuture。
结果处理
- whenComplete:当任务完成时,将使用结果(或 null)和此阶段的异常(或 null如果没有)执行给定操作。
- exceptionally:返回一个新的CompletableFuture,当前面的CompletableFuture完成时,它也完成,当它异常完成时,给定函数的异常触发这个CompletableFuture的完成。
异步操作
提供了四个静态方法来创建一个异步操作:
1 | public static CompletableFuture<Void> runAsync(Runnable runnable) |
这四个方法的区别:
-
runAsync()以Runnable函数式接口类型为参数,没有返回结果,supplyAsync()以Supplier函数式接口类型为参数,返回结果类型为U;Supplier接口的get()是有返回值的(会阻塞) -
使用没有指定
Executor的方法时,内部使用ForkJoinPool.commonPool()作为它的线程池执行异步代码。如果指定线程池,则使用指定的线程池运行。 -
默认情况下
CompletableFuture会使用公共的ForkJoinPool线程池,这个线程池默认创建的线程数是 CPU 的核数(也可以通过JVM option:-Djava.util.concurrent.ForkJoinPool.common.parallelism来设置ForkJoinPool线程池的线程数)。如果所有CompletableFuture共享一个线程池,那么一旦有任务执行一些很慢的 I/O 操作,就会导致线程池中所有线程都阻塞在 I/O 操作上,从而造成线程饥饿,进而影响整个系统的性能。所以,强烈建议你要根据不同的业务类型创建不同的线程池,以避免互相干扰
异步操作
1 | Runnable runnable = () -> System.out.println("无返回结果异步任务"); |
获取结果(join&get)
join()和get()方法都是用来获取CompletableFuture异步之后的返回值。join()方法抛出的是uncheck异常(即未经检查的异常),不会强制开发者抛出。get()方法抛出的是经过检查的异常,ExecutionException, InterruptedException 需要用户手动处理(抛出或者 try catch)
结果处理
当CompletableFuture的计算结果完成,或者抛出异常的时候,我们可以执行特定的 Action。主要是下面的方法:
1 | public CompletableFuture<T> whenComplete(BiConsumer<? super T,? super Throwable> action) |
Action的类型是BiConsumer<? super T,? super Throwable>,它可以处理正常的计算结果,或者异常情况。
方法不以Async结尾,意味着Action使用相同的线程执行,而Async可能会使用其它的线程去执行(如果使用相同的线程池,也可能会被同一个线程选中执行)。
这几个方法都会返回CompletableFuture,当Action执行完毕后它的结果返回原始的CompletableFuture的计算结果或者返回异常。
1 | CompletableFuture<String> future = CompletableFuture.supplyAsync(() -> { |
上面的代码当出现异常时,输出结果如下:
1 | 执行失败:java.lang.ArithmeticException: / by zero |





