跳到主要內容

線程池續：你必須要知道的線程池submit()實現原理之FutureTask！_台北網頁設計


※廣告預算用在刀口上，台北網頁設計公司幫您達到更多曝光效益



擁有後台管理系統的網站，將擁有強大的資料管理與更新功能，幫助您隨時新增網站的內容並節省網站開發的成本。




前言


上一篇內容寫了Java中線程池的實現原理及源碼分析，說好的是實實在在的大滿足，想通過一篇文章讓大家對線程池有個透徹的了解，但是文章寫完總覺得還缺點什麼?


上篇文章只提到線程提交的execute()方法，並沒有講解線程提交的submit()方法，submit()有一個返回值，可以獲取線程執行的結果Future<T>，這一講就那深入學習下submit()和FutureTask實現原理。


使用場景&示例


使用場景


我能想到的使用場景就是在并行計算的時候，例如一個方法中調用methodA()、methodB()，我們可以通過線程池異步去提交方法A、B，然後在主線程中獲取組裝方法A、B計算后的結果，能夠大大提升方法的吞吐量。



使用示例


/**
  * @author wangmeng
  * @date 2020/5/28 15:30
  */
 public class FutureTaskTest {
     public static void main(String[] args) throws InterruptedException, ExecutionException {
         ExecutorService threadPool = Executors.newCachedThreadPool();
 
         System.out.println("====執行FutureTask線程任務====");
         Future<String> futureTask = threadPool.submit(new Callable<String>() {
             @Override
             public String call() throws Exception {
                 System.out.println("FutureTask執行業務邏輯");
                 Thread.sleep(2000);
                 System.out.println("FutureTask業務邏輯執行完畢！");
                 return "歡迎關注: 一枝花算不算浪漫！";
             }
         });
 
         System.out.println("====執行主線程任務====");
         Thread.sleep(1000);
         boolean flag = true;
         while(flag){
             if(futureTask.isDone() && !futureTask.isCancelled()){
                 System.out.println("FutureTask異步任務執行結果：" + futureTask.get());
                 flag = false;
             }
         }
 
         threadPool.shutdown();
     }
 }

上面的使用很簡單，submit()內部傳遞的實際上是個Callable接口，我們自己實現其中的call()方法，我們通過futureTask既可以獲取到具體的返回值。


submit()實現原理


submit() 是也是提交任務到線程池，只是它可以獲取任務返回結果，返回結果是通過FutureTask來實現的，先看下ThreadPoolExecutor中代碼實現：


public class ThreadPoolExecutor extends AbstractExecutorService {
     public <T> Future<T> submit(Callable<T> task) {
         if (task == null) throw new NullPointerException();
         RunnableFuture<T> ftask = newTaskFor(task);
         execute(ftask);
         return ftask;
     }
 }
 
 public abstract class AbstractExecutorService implements ExecutorService {
     protected <T> RunnableFuture<T> newTaskFor(Callable<T> callable) {
         return new FutureTask<T>(callable);
     }
 }

提交任務還是執行execute()方法，只是task被包裝成了FutureTask ，也就是在excute()中啟動線程後會執行FutureTask.run()方法。


再來具體看下它執行的完整鏈路圖：



上圖可以看到，執行任務並返回執行結果的核心邏輯實在FutureTask中，我們以FutureTask.run/get 兩個方法為突破口，一點點剖析FutureTask的實現原理。


FutureTask源碼初探


先看下FutureTask中部分屬性：



public class FutureTask<V> implements RunnableFuture<V> {
     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;
 
     private Callable<V> callable;
     private Object outcome;
     private volatile Thread runner;
     private volatile WaitNode waiters;
 }


  1. state



當前task狀態，共有7中類型。
NEW： 當前任務尚未執行
COMPLETING: 當前任務正在結束，尚未完全結束，一種臨界狀態
NORMAL：當前任務正常結束
EXCEPTIONAL: 當前任務執行過程中發生了異常。
CANCELLED: 當前任務被取消
INTERRUPTING: 當前任務中斷中..
INTERRUPTED: 當前任務已中斷




  1. callble



用戶提交任務傳遞的Callable，自定義call方法，實現業務邏輯




  1. outcome



任務結束時，outcome保存執行結果或者異常信息。




  1. runner



當前任務被線程執行期間，保存當前任務的線程對象引用




  1. waiters



因為會有很多線程去get當前任務的結果，所以這裏使用了一種stack數據結構來保存



FutureTask.run()實現原理


我們已經知道在線程池runWorker()中最終會調用到FutureTask.run()方法中，我們就來看下它的執行原理吧：



具體代碼如下：


public class FutureTask<V> implements RunnableFuture<V> {
     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 = null;
             int s = state;
             if (s >= INTERRUPTING)
                 handlePossibleCancellationInterrupt(s);
         }
     }
 }

首先是判斷FutureTask中state狀態，必須是NEW才可以繼續執行。


然後通過CAS修改runner引用為當前線程。


接着執行用戶自定義的call()方法，將返回結果設置到result中，result可能為正常返回也可能為異常信息。這裏主要是調用set()/setException()


FutureTask.set()實現原理


set()方法的實現很簡單，直接看下代碼：


public class FutureTask<V> implements RunnableFuture<V> {
     protected void set(V v) {
         if (UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING)) {
             outcome = v;
             UNSAFE.putOrderedInt(this, stateOffset, NORMAL);
             finishCompletion();
         }
     }
 }

將call()返回的數據賦值給全局變量outcome上，然後修改state狀態為NORMAL，最後調用finishCompletion()來做掛起線程的喚醒操作，這個方法等到get()後面再來講解。


FutureTask.get()實現原理



接着看下代碼：


public class FutureTask<V> implements RunnableFuture<V> {
     public V get() throws InterruptedException, ExecutionException {
         int s = state;
         if (s <= COMPLETING)
             s = awaitDone(false, 0L);
         return report(s);
     }
 }

如果FutureTask中state為NORMAL或者COMPLETING，說明當前任務並沒有執行完成，調用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)
                 Thread.yield();
             else if (q == null)
                 q = new WaitNode();
             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中最核心的方法了，一步步來分析：


如果timed不為空，這說明指定nanos時間還未返回結果，線程就會退出。


※廣告預算用在刀口上，台北網頁設計公司幫您達到更多曝光效益



擁有後台管理系統的網站，將擁有強大的資料管理與更新功能，幫助您隨時新增網站的內容並節省網站開發的成本。




q是一個WaitNode對象，是將當前引用線程封裝在一個stack數據結構中，WaitNode對象屬性如下：


 static final class WaitNode {
     volatile Thread thread;
     volatile WaitNode next;
     WaitNode() { thread = Thread.currentThread(); }
 }

接着判斷當前線程是否中斷，如果中斷則拋出中斷異常。


下面就進入一輪輪的if... else if...判斷邏輯，我們還是採用分支的方式去分析。


分支一：if (s > COMPLETING) {


此時get()方法已經有結果了，無論是正常返回的結果，還是異常、中斷、取消等，此時直接返回state狀態，然後執行report()方法。


分支二：else if (s == COMPLETING)


條件成立，說明當前任務接近完成狀態，這裏讓當前線程再釋放cpu，進行下一輪搶佔cpu。


分支三：else if (q == null)


第一次自旋執行，WaitNode還沒有初始化，初始化q=new WaitNode();


分支四：else if (!queued){


queued代表當前線程是否入棧，如果沒有入棧則進行入棧操作，順便將全局變量waiters指向棧頂元素。


分支五/六：LockSupport.park


如果設置了超時時間，則使用parkNanos來掛起當前線程，否則使用park()


經過這麼一輪自旋循環后，如果執行call()還沒有返回結果，那麼調用get()方法的線程都會被掛起。


被掛起的線程會等待run()返回結果后依次喚醒，具體的執行邏輯在finishCompletion()中。


最終stack結構中數據如下：



FutureTask.finishCompletion()實現原理



具體實現代碼如下：


private void finishCompletion() {
     for (WaitNode q; (q = waiters) != null;) {
         if (UNSAFE.compareAndSwapObject(this, waitersOffset, q, null)) {
             for (;;) {
                 Thread t = q.thread;
                 if (t != null) {
                     q.thread = null;
                     LockSupport.unpark(t);
                 }
                 WaitNode next = q.next;
                 if (next == null)
                     break;
                 q.next = null;
                 q = next;
             }
             break;
         }
     }
 
     done();
 
     callable = null;
 }

代碼實現很簡單，看過get()方法后，我們知道所有調用get()方法的線程，在run()還沒有返回結果前，都會保存到一個有WaitNode構成的statck數據結構中，而且每個線程都會被掛起。


這裡是遍歷waiters棧頂元素，然後依次查詢起next節點進行喚醒，喚醒后的節點接着會往後調用report()方法。


FutureTask.report()實現原理



具體代碼如下：


private V report(int s) throws ExecutionException {
     Object x = outcome;
     if (s == NORMAL)
         return (V)x;
     if (s >= CANCELLED)
         throw new CancellationException();
     throw new ExecutionException((Throwable)x);
 }

這個方法很簡單，因為執行到了這裏，說明當前state狀態肯定大於COMPLETING，判斷如果是正常返回，那麼返回outcome數據。


如果state是取消狀態，拋出CancellationException異常。


如果狀態都不滿足，則說明執行中出現了差錯，直接拋出ExecutionException


FutureTask.cancel()實現原理



public boolean cancel(boolean mayInterruptIfRunning) {
     if (!(state == NEW && UNSAFE.compareAndSwapInt(this, stateOffset, NEW, mayInterruptIfRunning ? INTERRUPTING : CANCELLED)))
         return false;
     try {
         if (mayInterruptIfRunning) {
             try {
                 Thread t = runner;
                 if (t != null)
                     t.interrupt();
             } finally {
                 UNSAFE.putOrderedInt(this, stateOffset, INTERRUPTED);
             }
         }
     } finally {
         finishCompletion();
     }
     return true;
 }

cancel()方法的邏輯很簡單，就是修改state狀態為CANCELLED，然後調用finishCompletion()來喚醒等待的線程。


這裏如果mayInterruptIfRunning，就會先中斷當前線程，然後再去喚醒等待的線程。


總結


FutureTask的實現原理其實很簡單，每個方法基本上都畫了一個簡單的流程圖來方便立即。


後面還打算分享一個BlockingQueue相關的源碼解讀，這樣線程池也可以算是完結了。


在這之前可能會先分享一個SpringCloud常見配置代碼分析、最佳實踐等手冊，方便工作中使用，也是對之前看過的源碼一種總結。敬請期待！
歡迎關注：

本站聲明:網站內容來源於博客園,如有侵權,請聯繫我們,我們將及時處理

※廣告預算用在刀口上，台北網頁設計公司幫您達到更多曝光效益



擁有後台管理系統的網站，將擁有強大的資料管理與更新功能，幫助您隨時新增網站的內容並節省網站開發的成本。




Orignal From: 線程池續：你必須要知道的線程池submit()實現原理之FutureTask！_台北網頁設計

留言

張貼留言

這個網誌中的熱門文章

架構設計 | 異步處理流程，多種實現模式詳解

本文源碼：GitHub·點這裏 || GitEE·點這裏 一、異步處理 1、異步概念 異步處理不用阻塞當前線程來等待處理完成，而是允許後續操作，直至其它線程將處理完成，並回調通知此線程。 必須強調一個基礎邏輯，異步是一種設計理念，異步操作不等於多線程，MQ中間件，或者消息廣播，這些是可以實現異步處理的方式。 同步處理和異步處理相對，需要實時處理並響應，一旦超過時間會結束會話，在該過程中調用方一直在等待響應方處理完成並返回。同步類似電話溝通，需要實時對話，異步則類似短信交流，發送消息之後無需保持等待狀態。 2、異步處理優點 雖然異步處理不能實時響應，但是處理複雜業務場景，多數情況都會使用異步處理。 異步可以解耦業務間的流程關聯，降低耦合度； 降低接口響應時間，例如用戶註冊，異步生成相關信息表； 異步可以提高系統性能，提升吞吐量； 流量削峰即把請求先承接下來，然後在異步處理； 異步用在不同服務間，可以隔離服務，避免雪崩； 異步處理的實現方式有很多種，常見多線程，消息中間件，發布訂閱的廣播模式，其根據邏輯在於先把請求承接下來，放入容器中，在從容器中把請求取出，統一調度處理。 注意 ：一定要監控任務是否產生積壓過度情況，任務如果積壓到雪崩之勢的地步，你會感覺每一片雪花都想勇闖天涯。 3、異步處理模式 異步流程處理的實現有好多方式，但是實際開發中常用的就那麼幾種，例如： 基於接口異步響應，常用在第三方對接流程； 基於消息生產和消費模式，解耦複雜流程； 基於發布和訂閱的廣播模式，常見系統通知 異步適用的業務場景，對數據強一致性的要求不高，異步處理的數據更多時候追求的是最終一致性。 二、接口響應異步 1、流程描述 基於接口異步響應的方式，有一個本地業務服務，第三方接口服務，流程如下： 本地服務發起請求，調用第三方服務接口； 請求包含業務參數，和成功或失敗的回調地址； 第三方服務實時響應流水號，作為該調用的標識； 之後第三方服務處理請求，得到最終處理結果； 如果處理成功，回調本地服務的成功通知接口； 如果處理失敗，回調本地服務的失敗通知接口； 整個流程基於部分異步和部分實時的模式，完整處理； 注意 ：如...
張貼留言
閱讀完整內容

.NET Core前後端分離快速開發框架(Core.3.0+AntdVue)

.NET Core前後端分離快速開發框架(Core.3.0+AntdVue) 目錄 引言 時間真快，轉眼今年又要過去了。回想今年，依次開源發布了 Colder.Fx.Net.AdminLTE(254Star) 、 Colder.Fx.Core.AdminLTE(335Star) 、 DotNettySocket(82Star) 、 IdHelper(47Star) ，這些框架及組件都是本着以實際出發，實事求是的態度，力求提高開發效率（我自己都是第一個使用者），目前來看反響不錯。但是隨着前端和後端技術的不斷變革，尤其是前端，目前大環境已經是前後端完全分離為主的開發模式，在這樣的大環境和必然趨勢之下，傳統的MVC就顯得有些落伍了。在這樣的背景下，一款前後端分離的.NET開發框架就顯得尤為必要，由此便定了框架的升級目標： 前後端分離 。 首先後端技術的選擇，從目前的數據來看，.NET Core的發展遠遠快於.NET Framework，最簡單的分析就是Colder.Fx.Core.AdminLTE發布比Colder.Fx.Net.AdminLTE晚，但是星星卻後來居上而且比前者多30%，並且這個差距在不斷擴大，由點及面的分析可以看出我們廣大.NET開發人員學習的熱情和积極向上的態度，並不是某些人所認為的那麼不堪（ 走自己的路，讓別人說去吧 ）。大環境上微軟积極擁抱開源，大力發展.NET Core， 可以說前途一片光明。因此後端決定採用 .NET Core3.0 ，不再浪費精力去支持.NET Framework。 然後是前端技術選擇，首選是三大js框架選擇，也是從實際出發，Vue相對其它而言更加容易上手，並且功能也毫不遜色，深得各種大小公司喜歡，如果偏要說缺點的話，那就是對TS支持不行，但是即將發布Vue3.0肯定會改變這一缺陷。選擇了Vue之後，然後就是UI框架的選擇了，這裏的選擇更多了，我選擇了Ant Design Vue，理由便是簡潔方便，十分符合我的設計理念。 技術選型完畢之後便...
張貼留言
閱讀完整內容

台北市住宅、社區建創儲能設備 最高可獲600萬元補助

為了推廣分散式發電，台北市環保局預計補助1億元供住宅社區設置創能、儲能設備，計有3種方案可供選擇。環保局說明，每案補助額度不超過建制總經費49％，社區每案最高可獲200萬至600萬元補助，住宅每案補助上限100萬元，5月1日起開放申請。 環保局說明，台北市溫室氣體排放量7成以上來自住商部門，其中以使用電力造成間接溫室氣體排放為大宗，台北市平均年用電量約159.86億度，1度電約等同排放0.5公斤二氧化碳，若想達成2050年淨零排放目標，僅靠節能減碳無法達成，必須發展綠色創能、儲能，並且參考歐洲、日本的做法，採分散式發電方式，推廣到社區、住家、商辦，達到供電自給自足目標。 因此，環保局推出「台北市住宅社區創能儲能及節能補助計畫」，補助對象為台北市轄內房屋所有權人及社區管理委員會，補助方案共計3種，每一申請人或每一場址僅能獲1次補助，每案補助額度不超過建置總經費49％為限，5月1日到7月31日開放申請，但補助經費用完即停止申請。 環保局說明，方案A補助對象以社區為主，公共區域申請創能儲能及節能項目，每案補助上限新台幣600萬元；方案B分為住宅或社區公共區域申請創能搭配儲能項目（創能或儲能方案不得單獨申請），社區每案補助上限新台幣400萬元，住宅每案補助上限100萬元。方案C補助對象也是社區，公共區域申請節能項目，每案補助上限新台幣200萬元。 網頁設計 最專業,超強功能平台可客製,窩窩以「數位行銷」「品牌經營」「網站與應用程式」「印刷品設計」等四大主軸，為每一位客戶客製建立行銷脈絡及洞燭市場先機,請問 台中電動車 哪裡在賣比較便宜可以到台中景泰電動車門市去看看總店：臺中市潭子區潭秀里雅潭路一段102-1號。 電動車補助 推薦評價好的 iphone維修 中心擁有專業的維修技術團隊，同時聘請資深iphone手機維修專家，現場說明手機問題，快速修理，沒修好不收錢住家的頂樓裝 太陽光電 聽說可發揮隔熱功效一線推薦東陽能源擁有核心技術、產品研發、系統規劃設置、專業團隊的太陽能發電廠商。 網頁設計 一頭霧水該從何著手呢? 回頭車 貨運收費標準宇安交通關係企業，自成立迄今，即秉持著「以誠待人」、「以實處事」的企業信念 台中搬家公司 教你幾個打包小技巧,輕鬆整理裝箱!還在煩惱搬家費用要多少哪？台中大展搬家線上試算搬家費用，從此不再擔心「物品怎麼計費」、「多...
張貼留言
閱讀完整內容