Future、Callable 、FutureTask详解

1.Future和Callable

---

 

Future是一个接口表示异步计算的结果，它提供了检查计算是否完成的方法，以等待计算的完成，并获取计算的结果。Future提供了get()、cancel()、isCancel()、isDone()四种方法，表示Future有三种功能：

1、判断任务是否完成

2、中断任务

3、获取任务执行结果

 

Callable和Runnable差不多，两者都是为那些其实例可能被另一个线程执行的类而设计的，最主要的差别在于Runnable不会返回线程运算结果，Callable可以（假如线程需要返回运行结果）

 

public class CallableAndFuture {
    public static class CallableThread implements Callable<String> {

        @Override
        public String call() throws Exception {
            Thread.sleep(3000);
            System.out.println("方法A过了3秒钟才返回数据");
            return "A返回结果";
        }

    }

    public static void main(String[] args) throws InterruptedException, ExecutionException {
        ExecutorService newCachedThreadPool = Executors.newCachedThreadPool();
        CallableThread cThread = new CallableThread();
        Future<String> submit = newCachedThreadPool.submit(cThread);
        System.out.println(submit.get());
    }

}

输出：

方法A过了3秒才返回结果

 

2.FutureTask

---

 

先上个FutureTask的类图

FutureTask实现了Runnable和Future，实际上是这两个接口的包装器，所以FutureTask既是Runnable也是Future

我们先写个基本的例子看看FutureTask的使用

Callable<Integer> myComputation = ...;
FutureTask<Integer> task = new FutureTask<Integer>(myComputation);
Thread t = new Thread(task);
t.start();
...
Integer result = task.get(); //获取结果

 

再看下他的构造方法

相比第一个构造方法，第二个构造方法里面把Runnable转成了callable，所以两个构造方法实现的功能其实都差不多。

 

FutureTask里面最重要的方法就是get方法了，该方法实际上是对Future的get的实现，下面我们研究下FutureTask的代码

1.FutureTask的状态转换过程：

　　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; // 任务线程已经中断

 * NEW -> COMPLETING -> NORMAL
 * NEW -> COMPLETING -> EXCEPTIONAL
 * NEW -> CANCELLED
 * NEW -> INTERRUPTING -> INTERRUPTED

2.具体的get方法如下

 

实现阻塞效果的是awaitDone，具体如下

private int awaitDone(boolean timed, long nanos)
        throws InterruptedException {
            //先定义一堆变量
        final long deadline = timed ? System.nanoTime() + nanos : 0L;
        WaitNode q = null;
        boolean queued = false;
        //注意，这个是死循环，阻塞有他一半的功劳
        for (;;) {
            //刚开始线程还没加入到阻塞队列中这段代码是没有用的，
            //这里的作用是当线程已加入队列后，这时候线程被中断了，那就把线程从队列中移除
            if (Thread.interrupted()) {
                removeWaiter(q);
                throw new InterruptedException();
            }

            int s = state;
            //任务结束，返回状态
            if (s > COMPLETING) {
                if (q != null)
                    q.thread = null;
                return s;
            }
            //将要结束，那就再等等呗
            else if (s == COMPLETING) // cannot time out yet
                Thread.yield();
            //初始化
            else if (q == null)
                q = new WaitNode();
            //还没加入队列，那就用CAS加进去呗
            else if (!queued)
                queued = UNSAFE.compareAndSwapObject(this, waitersOffset,
                                                     q.next = waiters, q);
            //将线程挂起来，这里就阻塞了
            else if (timed) {
                nanos = deadline - System.nanoTime();
                if (nanos <= 0L) {
                    removeWaiter(q);
                    return state;
                }
                LockSupport.parkNanos(this, nanos);
            }
            else
                LockSupport.park(this);
        }
    }

 

上述讲述的是FutureTask的阻塞实现，其实还有个疑惑，当线程运行完毕，阻塞会自动解除获取结果，这究竟是怎么实现的呢

我们看看线程的run方法

这里有个ran变量，当获取到执行结果后ran变量为true，再执行set方法

这个可以看出正常情况下FutureTask的状态变化是

NEW -> COMPLETING -> NORMAL

我们再看出 finishCompletion

哈，找到了，类似于AQS的共享锁，这里也做了持续的唤醒