-
浅谈Java多线程之FutureTask
Runnable和Callable是多线程中的两个任务接口,实现接口的类将拥有多线程的功能,FutureTask类与这两个类是息息相关!
FutureTask继承体系
看下这张图,原来FutureTask类实现了Runnable和Future,既然是Runnable的实现类,我们可以写如下的代码:
public static void main(String[] args) {
FutureTask task = new FutureTask(new Callable() {
@Override
public Object call() throws Exception {
System.out.println(Thread.currentThread().getName() + "========>正在执行!");
return "SUCCESS";
}
});
new Thread(task).start();
}
因为FutureTask是Runnable的实现类嘛,根据多态的特性,肯定可以传到Thread的构造器中。
FutureTask的构造方法
构造方法1 接收Callable对象
public FutureTask(Callable<V> callable) {
if (callable == null)
throw new NullPointerException();
this.callable = callable;
this.state = NEW; // ensure visibility of callable
}
构造方法2 接收Runnable对象 和一个泛型的result
public FutureTask(Runnable runnable, V result) {
this.callable = Executors.callable(runnable, result);
this.state = NEW; // ensure visibility of callable
}
原来,FutureTask内部维护Callable类型的成员变量,对于Callable任务,直接赋值即可。而对于Runnable任务,需要先调用Executors#callable()把Runnable先包装成Callable。
Executors.callable(runnable, result);
这行代码用了适配器模式,你给我一个runnable对象,我还你一个callable对象。
public static <T> Callable<T> callable(Runnable task, T result) {
if (task == null)
throw new NullPointerException();
return new Executors.RunnableAdapter<T>(task, result);
}
RunnableAdapter是Executors中的静态内部类,上面代码意思是调用该静态内部类的构造方法,生成RunnableAdapter对象,而RunnableAdapter对象实现了Callable接口,根据多态也就相当于得到了一个Callable对象。
static final class RunnableAdapter<T> implements Callable<T> {
final Runnable task;
final T result;
RunnableAdapter(Runnable task, T result) {
this.task = task;
this.result = result;
}
public T call() {
task.run();
return result;
}
}
RunnableAdapter作为Callable的适配器,也拥有call方法,这就是适配器模式。
如果你是用第二种方式来构造FutureTask对象,因为传入的是Runnable,Runnable的run方法是没有返回值的,而Callable的call方法是有返回值的,所以这边就折中一下,返回值需要你在构建FutureTask对象时自己传进去,最后再原封不动地还给你。
如果你是用第一种方式来构造FutureTask对象,那就简单多了,直接传入一个Callable对象即可,返回值你自己决定。
总而言之,FutureTask的构造方法就为了做一件事,即统一Callable和Runnable!
为什么FutureTask要花这么大的精力去搞定Callable和Runnable呢?就是因为统一了好办事啊,以后在线程池的章节中,你还会频繁看到这个类。
捋一捋思路,为什么要用FutureTask?
多线程是Java进阶的难点,也是面试的重灾区,请确保你把上面的代码都理解了之后再来看这一节。
我们再回过头来想想,如何使用多线程呢,是不是有3个方法?如果记不得了请回过去看看上一个章节【线程类】。
第1种方法是直接继承Thread类,重写run方法。
第2种方法是实现Runnable接口,然后还是要靠Thread类的构造器,把Runnable传进去,最终调用的就是Runnable的run方法。
第3种方法是用线程池技术,用ExecutorService去提交Runnable对象/Callable对象,区别是Runnable没有返回值,Callable对象有返回值。
你发现没有,不管你用哪种方式,最终都是要靠Thread类去开启线程的。因为,有且仅有Thread类能通过start0()方法向操作系统申请线程资源(本地方法)
第一种方法因为耦合性太高,很少会使用,实际开发中我们一般都会使用线程池技术,所以第3种方法是有实战意义的。那么问题来了,Runnable和Callable对象都可以被用作线程池的任务,就有人会乱用了啊,有的人喜欢Runnable,有的喜欢Callable,到时候项目的代码就乱成一锅粥啦!
所以,我私以为Java的创始人意识到这一点,就干脆搞一个FutureTask出来一统江湖。我说的这么白,应该都明白了吧,嘿嘿。
FutureTask的7种状态
既然FutureTask是子类,那么必然有比Callable和Runnable强悍的地方,比如FutureTask的7种状态
private volatile int state;
private static final int NEW = 0;
private static final int COMPLETING = 1;
private static final int NORMAL = 2;
private static final int EXCEPTIONAL = 3;
private static final int CANCELLED = 4;
private static final int INTERRUPTING = 5;
private static final int INTERRUPTED = 6;
状态含义分别是:
● 0-刚创建
● 1-即将完成
● 2-完成
● 3-抛异常
● 4-任务取消
● 5-任务即将被打断
● 6-任务被打断
为什么要设置这些状态呢,那是因为FutureTask=任务+结果,调用者何时可以去获取这个结果result呢?FutureTask在调用get方法时,会去判断当前任务的状态,只有当任务完成才会给你实际的result,因此get方法是阻塞的。
FutureTask的get() 方法
先看下FutureTask的get() 方法是如何使用的:
FutureTask task = new FutureTask(new Callable() {
@Override
public Object call() throws Exception {
System.out.println(Thread.currentThread().getName() + "========>正在执行!");
Thread.sleep(2000); //执行耗时操作
return "SUCCESS";
}
});
new Thread(task).start();
System.out.println(task.get());
效果:
Thread-0========>正在执行!
SUCCESS
过了两秒后才打印出SUCCESS,说明get确实是阻塞的。再来一个线程池的例子:
ExecutorService executorService = Executors.newSingleThreadExecutor();
/**
* 往线程池中提交一个Callable,立刻返回Future对象,但是该Future对象里面的返回值目前还是null
* 只有当你调用get方法时,才会阻塞地获取该任务真实的返回值
*/
Future<Object> objectFuture = executorService.submit(new Callable<Object>() {
@Override
public Object call() throws Exception {
System.out.println(Thread.currentThread().getName() + "========>正在执行!");
Thread.sleep(2000); //执行耗时操作
return "SUCCESS";
}
});
Object result = objectFuture.get();
System.out.println(result);
executorService.shutdownNow();
FutureTask的run方法
先来看看源代码吧:
public void run() {
if (state != NEW ||
!UNSAFE.compareAndSwapObject(this, runnerOffset,
null, Thread.currentThread()))
return;
try {
Callable<V> c = callable;
if (c != null && state == NEW) {
V result;
boolean ran;
try {
result = c.call();
ran = true;
} catch (Throwable ex) {
result = null;
ran = false;
setException(ex);
}
if (ran)
set(result);
}
} finally {
// runner must be non-null until state is settled to
// prevent concurrent calls to run()
runner = null;
// state must be re-read after nulling runner to prevent
// leaked interrupts
int s = state;
if (s >= INTERRUPTING)
handlePossibleCancellationInterrupt(s);
}
}
FutureTask的run方法第一步果然是获取callable对象,这个callable对象也可能是runnable伪装的,上面介绍了适配器模式,这边就不再赘述了。
最终是存储到outcome对象了,简而言之,FutureTask的run方法的作用就是运行callable的call方法,拿到返回值保存到outcome对象,等待有人来取。
薛定谔的FutureTask
为什么说是薛定谔的FutureTask呢?那是因为,当你把FutureTask跑起来的时候,里面的outcome可能没有值,也可能有值。
但是又因为outcome在FutureTask源码中被设置成private,所以如果你要获取这个数据,只能通过get方法。而get方法是阻塞的,当你调用get方法时,一定是等到任务执行成功后,才会返回真实的值。
这就有点像薛定谔的猫,你不去观察它,两种状态皆有可能,一旦你去观察了(调用get方法),就只有一种明确的状态。
其实这真的只是一个小技巧,相信你也能办到,我们用代码来模拟一下这个过程。
首先,新建一个MyFutureTask类:
/**
* 自定义任务类
*/
public class MyFutureTask implements Runnable{
/**
* 为了看到效果,outcome设置为Object
*/
public Object outcome;
public void run(){
try {
/**
* 执行耗时操作
*/
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
/**
* 给outcome赋值
*/
this.outcome = "SUCCESS";
}
public Object get(){
return outcome;
}
}
为了模拟线程池,新建一个MyExecutorService类:
class MyExecutorService {
/**
* 提交任务
* @param myFutureTask
* @return
*/
public MyFutureTask submit(MyFutureTask myFutureTask){
/**
* 开启一个线程把myFutureTask跑掉
*/
new Thread(myFutureTask).start();
/**
* 线程有没有跑完不关心,直接把myFutureTask返回
* 此时myFutureTask很可能不是最终结果,但其中的outcome一定指向最终结果
*/
return myFutureTask;
}
}
测试:
public static void main(String[] args) throws InterruptedException {
MyExecutorService myExecutorService = new MyExecutorService();
MyFutureTask myFutureTask = myExecutorService.submit(new MyFutureTask());
/**
* 线程开启立刻查看outcome
*/
System.out.println(myFutureTask.outcome);
/**
* 主线程继续运作
*/
Thread.sleep(1100);
/**
* 再次查看outcome是否有值
*/
System.out.println(myFutureTask.get());
}
结果:
null
SUCCESS
总结一下,ExecutorService的submit方法只是提交Runnable或Callable任务到线程池,直接返回FutureTask给你,这个FutureTask是薛定谔的FutureTask,里面的outcome现在可能有值,也可能没有。只有当你主动调用get方法,才可以得到确切的值。
FutureTask的get方法阻塞原理
FutureTask的get方法是阻塞的,当你调用这个方法就一定要等该线程跑完,那么为什么能做到这样呢?
接下来我们看看get方法的阻塞原理是什么,我重新写了一个例子,注释能写的都写了,代码如下:
package com.javaxbfs.thread;
import java.util.concurrent.locks.LockSupport;
class MyExecutorService {
/**
* 提交任务
* @param myFutureTask
* @return
*/
public MyFutureTask submit(MyFutureTask myFutureTask){
/**
* 开启一个线程把myFutureTask跑掉
*/
Thread thread = new Thread(myFutureTask);
thread.start();
/**
* 把线程赋给myFutureTask的runner属性,以方便查看线程状态
*/
myFutureTask.runner = thread;
/**
* 线程有没有跑完不关心,直接把myFutureTask返回
* 此时myFutureTask很可能不是最终结果,但其中的outcome一定指向最终结果
*/
return myFutureTask;
}
}
/**
* 自定义任务类
*/
public class MyFutureTask implements Runnable{
/**
* 为了看到效果,outcome设置为Object
*/
public Object outcome;
/**
* 当前任务所在的线程
*/
public volatile Thread runner;
public void run(){
try {
/**
* 执行耗时操作
*/
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
/**
* 给outcome赋值
*/
this.outcome = "SUCCESS";
}
public Object get() throws InterruptedException {
if(awaitDone())
return outcome;
return null;
}
private boolean awaitDone() throws InterruptedException {
/**
* 做一个死循环,轮询检查当前线程状态
*/
for(;;){
/**
* 如果当前线程被打断,则抛异常结束任务
*/
if(runner.isInterrupted()){
throw new InterruptedException();
}
if(runner.getState() == Thread.State.NEW){
System.out.println(Thread.currentThread().getName() + "新建!");
}
if(runner.getState() == Thread.State.RUNNABLE){
System.out.println(Thread.currentThread().getName() + "准备就绪!");
}
if(runner.getState() == Thread.State.TERMINATED){
System.out.println(Thread.currentThread().getName() + "执行完毕!");
return true;
}
Thread.sleep(200);
}
}
public static void main(String[] args) throws InterruptedException {
MyExecutorService myExecutorService = new MyExecutorService();
MyFutureTask myFutureTask = myExecutorService.submit(new MyFutureTask());
/**
* 线程开启立刻查看outcome
*/
System.out.println(myFutureTask.outcome);
/**
* 主线程继续运作
*/
//Thread.sleep(1100);
/**
* 再次查看outcome是否有值,现在是阻塞的
*/
System.out.println(myFutureTask.get());
}
}
关键就在于这个 awaitDone 方法(源码也叫这个名字),它里面是一个死循环,不断去检查当前FutureTask所在线程的状态,当线程执行结束,就返回true,表示可以给出精确的result了。
真实的get方法实现非常复杂,不过思路是差不多的,有兴趣的童鞋可以去百度了解。
来源:https://www.cnblogs.com/skyblue-li/p/15526613.html