前言

線程池可以并發(fā)執(zhí)行多個(gè)任務(wù)，有些時(shí)候，我們可能想要跟蹤任務(wù)的執(zhí)行結(jié)果，甚至在一定時(shí)間內(nèi)，如果任務(wù)沒(méi)有執(zhí)行完成，我們可能還想要取消任務(wù)的執(zhí)行，為了支持這一特性，ThreadPoolExecutor提供了 FutureTask 用于追蹤任務(wù)的執(zhí)行和取消。本篇介紹FutureTask的實(shí)現(xiàn)原理。

類(lèi)視圖

為了更好的理解FutureTask的實(shí)現(xiàn)原理，這里先提供幾個(gè)重要接口和類(lèi)的結(jié)構(gòu)，如下圖所示：

RunnableAdapter

ThreadPoolExecutor提供了submit接口用于提交任務(wù)，submit支持Runnable和Callable兩種不同的接口，為了提供統(tǒng)一的對(duì)外接口，jdk在內(nèi)部把Runnable給包裝成了一個(gè)Callable，這一切是通過(guò)RunnableAdapter這個(gè)適配器來(lái)實(shí)現(xiàn)的。如下為RunnableAdapter的源碼：

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 的實(shí)現(xiàn)類(lèi)，實(shí)現(xiàn)了call方法，而call方法僅僅是調(diào)用task.run(),然后return result，這樣就能夠確保在內(nèi)部只需要統(tǒng)一處理Callable接口。

FutureTask實(shí)現(xiàn)原理

通過(guò)上一小節(jié)的了解，我們知道提交的Runnable任務(wù)在內(nèi)部統(tǒng)一被轉(zhuǎn)換為Callable任務(wù)。查看submit方法的返回值，為一個(gè)Future，實(shí)際上這個(gè)Futrue為FutureTask實(shí)例，通過(guò)此實(shí)例，調(diào)用get方法，可以阻塞當(dāng)前線程，直到任務(wù)運(yùn)行完畢，返回結(jié)果。

整個(gè)調(diào)用鏈條如下所示：

worker thread -> futureTask.run() -> callable.call() -> task.run()

如果提交的是Callable任務(wù)，則只有前面三個(gè)調(diào)用。

為了更好的展示整個(gè)流程，下面舉例演示一遍執(zhí)行流程。

1、 向線程池submit一個(gè)Callable任務(wù)(Runnable也會(huì)被轉(zhuǎn)為Callable)， 這時(shí)候Callable被傳入一個(gè)FutureTask實(shí)例中，如下所示：

2、線程池使用一個(gè)線程，執(zhí)行這個(gè) FutureTask 任務(wù)，

線程執(zhí)行任務(wù)過(guò)程比較簡(jiǎn)單，最終會(huì)調(diào)用Callable.call()或者是 Runnable.run()方法，然后得到一個(gè)結(jié)果，把結(jié)果存儲(chǔ)在FutureTask實(shí)例的outcome屬性中，同時(shí)把狀態(tài)修改為NORMAL，表明任務(wù)已經(jīng)執(zhí)行完畢，可以獲取結(jié)果了。

我們假設(shè)在執(zhí)行 callable.call() 過(guò)程中有多個(gè)線程調(diào)用了 同個(gè)FutureTask實(shí)例的get方法，這時(shí)候，這些線程會(huì)被阻塞，存于一個(gè)棧中， 如下圖所示：

線程1，2，3調(diào)用FutureTask.get方法，由于任務(wù)未執(zhí)行結(jié)束，這時(shí)候，三個(gè)線程都將被阻塞休眠，F(xiàn)utureTask中有一個(gè)棧，用于存放等待線程，棧頂指針為 FutureTask.waiters引用，當(dāng)任務(wù)執(zhí)行完畢后，會(huì)迭代喚醒整個(gè)棧中的線程，這時(shí)候，各個(gè)線程都將被喚醒，并且可以順利拿到任務(wù)的執(zhí)行結(jié)果(執(zhí)行結(jié)果存于 FutureTask.outcome) 。

FutureTask還支持任務(wù)的取消功能，這一切都是通過(guò) FutureTask的state狀態(tài)來(lái)協(xié)調(diào)多個(gè)線程的。

總結(jié)

FutureTask接口是一種實(shí)現(xiàn)機(jī)制，提供我們對(duì)任務(wù)的執(zhí)行的跟蹤以及控制，相比于線程池本身，比較簡(jiǎn)單，相信不難理解。

以上就是本文關(guān)于Java線程池FutureTask實(shí)現(xiàn)原理詳解的全部?jī)?nèi)容，希望對(duì)大家有所幫助。感興趣的朋友可以繼續(xù)參閱本站其他相關(guān)專題，如有不足之處，歡迎留言指出。感謝朋友們對(duì)本站的支持！