Java Future的实现原理

2020-03-18  本文已影响0人  阳公子_

在项目中使用了future类来实现数据的异步存取来提高时间效率,@Async public Future<List<RecordHourPingEntity>> queryDayList(Map<String, Object> map){ return new AsyncResult<> (recordHourPingDao.queryDayList(map)); }但是究竟是怎么实现的呢?为什么线程之间知道对方已经存取完毕?
在Java中一般通过继承Thread类或者实现Runnable接口这两种方式来创建多线程,但是这两种方式都有个缺陷,就是不能在执行完成后获取执行的结果,因此Java 1.5之后提供了CallableFuture接口,通过它们就可以在任务执行完毕之后得到任务的执行结果。本文会简要的介绍使用方法,然后会从源代码角度分析下具体的实现原理。
本文以Java 1.7的代码进行分析。

Future接口

Future接口代表异步计算的结果,通过Future接口提供的方法可以查看异步计算是否执行完成,或者等待执行结果并获取执行结果,同时还可以取消执行。Future接口的定义如下:

public interface Future<V> {
    boolean cancel(boolean mayInterruptIfRunning);
    boolean isCancelled();
    boolean isDone();
    V get() throws InterruptedException, ExecutionException;
    V get(long timeout, TimeUnit unit)
        throws InterruptedException, ExecutionException, TimeoutException;
}
FutureTask

Future只是一个接口,不能直接用来创建对象,FutureTaskFuture的实现类。
使用方法:

/**
 * 第一种方式:Future + ExecutorService
 * Task task = new Task();
 * ExecutorService service = Executors.newCachedThreadPool();
 * Future<Integer> future = service.submit(task1);
 * service.shutdown();
*/

 /**
  * 第二种方式: FutureTask + ExecutorService
  * ExecutorService executor = Executors.newCachedThreadPool();
  * Task task = new Task();
  * FutureTask<Integer> futureTask = new FutureTask<Integer>(task);
  * executor.submit(futureTask);
  * executor.shutdown();
  */

 /**
   * 第三种方式:FutureTask + Thread
   */
// 2. 新建FutureTask,需要一个实现了Callable接口的类的实例作为构造函数参数
    FutureTask<Integer> futureTask = new FutureTask<Integer>(new Task());
// 3. 新建Thread对象并启动
   Thread thread = new Thread(futureTask);
   thread.setName("Task thread");
   thread.start();

先从FutureTask的构造函数看起,FutureTask有两个构造函数,其中一个如下:

public FutureTask(Callable<V> callable) {
        if (callable == null)
            throw new NullPointerException();
        this.callable = callable;
        this.state = NEW;       // ensure visibility of callable
}

这个构造函数会把传入的Callable变量保存在this.callable字段中,该字段定义为private Callable<V> callable;用来保存底层的调用,在被执行完成以后会指向null,接着会初始化state字段为NEWstate字段用来保存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;

其中需要注意的是statevolatile类型的,也就是说只要有任何一个线程修改了这个变量,那么其他所有的线程都会知道最新的值

public FutureTask(Runnable runnable, V result) {
        this.callable = Executors.callable(runnable, result);
        this.state = NEW;       // ensure visibility of callable
}

这个构造函数会把传入的Runnable封装成一个Callable对象保存在callable字段中,同时如果任务执行成功的话就会返回传入的result。这种情况下如果不需要返回值的话可以传入一个null

run方法

run()方法首先会
1、判断当前任务的state是否等于NEW,如果不为NEW则说明任务或者已经执行过,或者已经被取消,直接返回。
2、如果状态为NEW则接着会通过unsafe类把任务执行线程引用CAS的保存在runner字段中,如果保存失败,则直接返回。
3、执行任务。
4、如果任务执行发生异常,则调用setException()方法保存异常信息。
5、如果任务成功执行则调用set()方法设置执行结果

更多内容请查看:
深入学习FutureTask

上一篇 下一篇

猜你喜欢

热点阅读