通過例項理解 JDK8 的 CompletableFuture
轉載自 通過例項理解 JDK8 的 CompletableFuture
前言
Java 5 併發庫主要關注於非同步任務的處理,它採用了這樣一種模式,producer 執行緒建立任務並且利用阻塞佇列將其傳遞給任務的 consumer。這種模型在 Java 7 和 8 中進一步發展,並且開始支援另外一種風格的任務執行,那就是將任務的資料集分解為子集,每個子集都可以由獨立且同質的子任務來負責處理。
這種風格的基礎庫也就是 fork/join 框架,它允許程式設計師規定資料集該如何進行分割,並且支援將子任務提交到預設的標準執行緒池中,也就是"通用的"ForkJoinPool。Java 8 中,fork/join 並行功能借助並行流的機制變得更加具有可用性。但是,不是所有的問題都適合這種風格的並行處理:所處理的元素必須是獨立的,資料集要足夠大,並且在並行加速方面,每個元素的處理成本要足夠高,這樣才能補償建立 fork/join 框架所消耗的成本。CompletableFuture 類則是 Java 8 在並行流方面的創新。
準備知識
非同步計算
所謂非同步呼叫其實就是實現一個可無需等待被呼叫函式的返回值而讓操作繼續執行的方法。在 Java 語言中,簡單的講就是另啟一個執行緒來完成呼叫中的部分計算,使呼叫繼續執行或返回,而不需要等待計算結果。但呼叫者仍需要取執行緒的計算結果。
回撥函式
回撥函式比較通用的解釋是,它是一個通過函式指標呼叫的函式。如果你把函式的指標(地址)作為引數傳遞給另一個函式,當這個指標被用為呼叫它所指向的函式時,我們就說這是回撥函式。回撥函式不是由該函式的實現方直接呼叫,而是在特定的事件或條件發生時由另外一方呼叫的,用於對該事件或條件進行響應。
回撥函式的機制:
(1)定義一個回撥函式;
(2)提供函式實現的一方在初始化時候,將回撥函式的函式指標註冊給呼叫者;
(3)當特定的事件或條件發生的時候,呼叫者使用函式指標呼叫回撥函式對事件進行處理。
回撥函式通常與原始呼叫者處於同一層次,如圖 1 所示:
圖 1 回撥函式示例圖
Future 介面介紹
JDK5 新增了 Future 介面,用於描述一個非同步計算的結果。雖然 Future 以及相關使用方法提供了非同步執行任務的能力,但是對於結果的獲取卻是很不方便,只能通過阻塞或者輪詢的方式得到任務的結果。阻塞的方式顯然和我們的非同步程式設計的初衷相違背,輪詢的方式又會耗費無謂的 CPU 資源,而且也不能及時地得到計算結果,為什麼不能用觀察者設計模式呢?即當計算結果完成及時通知監聽者。
有一些開源框架實現了我們的設想,例如 Netty 的 ChannelFuture 類擴充套件了 Future 介面,通過提供 addListener 方法實現支援回撥方式的非同步程式設計。Netty 中所有的 I/O 操作都是非同步的,這意味著任何的 I/O 呼叫都將立即返回,而不保證這些被請求的 I/O 操作在呼叫結束的時候已經完成。取而代之地,你會得到一個返回的 ChannelFuture 例項,這個例項將給你一些關於 I/O 操作結果或者狀態的資訊。當一個 I/O 操作開始的時候,一個新的 Future 物件就會被建立。在開始的時候,新的 Future 是未完成的狀態--它既非成功、失敗,也非被取消,因為 I/O 操作還沒有結束。如果 I/O 操作以成功、失敗或者被取消中的任何一種狀態結束了,那麼這個 Future 將會被標記為已完成,幷包含更多詳細的資訊(例如:失敗的原因)。請注意,即使是失敗和被取消的狀態,也是屬於已完成的狀態。阻塞方式的示例程式碼如清單 1 所示。
清單 1 阻塞方式示例程式碼
1 2 3 4 5 6 |
|
上面程式碼使用的是 awaitUninterruptibly 方法,原始碼如清單 2 所示。
清單 2 awaitUninterruptibly 原始碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
|
清單 3 非同步非阻塞方式示例程式碼
1 2 3 4 5 6 7 8 9 10 |
|
可以明顯的看出,在非同步模式下,上面這段程式碼沒有阻塞,在執行 connect 操作後直接執行到 printTime("非同步時間: "),隨後 connect 完成,Future 的監聽函式輸出 connect 操作完成。
非阻塞則是新增監聽類 ChannelFutureListener,通過覆蓋 ChannelFutureListener 的 operationComplete 執行業務邏輯。
清單 4 非同步非阻塞方式示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 |
|
這部分程式碼的邏輯很簡單,就是註冊回撥函式,當操作完成後自動呼叫回撥函式,就達到了非同步的效果。
CompletableFuture 類介紹
Java 8 中, 新增加了一個包含 50 個方法左右的類--CompletableFuture,它提供了非常強大的 Future 的擴充套件功能,可以幫助我們簡化非同步程式設計的複雜性,並且提供了函數語言程式設計的能力,可以通過回撥的方式處理計算結果,也提供了轉換和組合 CompletableFuture 的方法。
對於阻塞或者輪詢方式,依然可以通過 CompletableFuture 類的 CompletionStage 和 Future 介面方式支援。
CompletableFuture 類宣告瞭 CompletionStage 介面,CompletionStage 介面實際上提供了同步或非同步執行計算的舞臺,所以我們可以通過實現多個 CompletionStage 命令,並且將這些命令串聯在一起的方式實現多個命令之間的觸發。
我們可以通過 CompletableFuture.supplyAsync(this::sendMsg); 這麼一行程式碼建立一個簡單的非同步計算。在這行程式碼中,supplyAsync 支援非同步地執行我們指定的方法,這個例子中的非同步執行方法是 sendMsg。當然,我們也可以使用 Executor 執行非同步程式,預設是 ForkJoinPool.commonPool()。
我們也可以在非同步計算結束之後指定回撥函式,例如 CompletableFuture.supplyAsync(this::sendMsg) .thenAccept(this::notify);這行程式碼中的 thenAccept 被用於增加回撥函式,在我們的示例中 notify 就成了非同步計算的消費者,它會處理計算結果。
CompletableFuture 類使用示例
接下來我們通過 20 個示例看看 CompletableFuture 類具體怎麼用。
建立完整的 CompletableFuture
清單 5 示例程式碼
1 2 3 4 5 |
|
以上程式碼一般來說被用於啟動非同步計算,getNow(null)返回計算結果或者 null。
執行簡單的非同步場景
清單 6 示例程式碼
1 2 3 4 5 6 7 8 9 |
|
以上程式碼的關鍵點有兩點:
- CompletableFuture 是非同步執行方式;
- 使用 ForkJoinPool 實現非同步執行,這種方式使用了 daemon 執行緒執行 Runnable 任務。
同步執行動作示例
清單 7 示例程式碼
1 2 3 4 5 6 7 |
|
以上程式碼在非同步計算正常完成的前提下將執行動作(此處為轉換成大寫字母)。
非同步執行動作示例
相較前一個示例的同步方式,以下程式碼實現了非同步方式,僅僅是在上面的程式碼裡的多個方法增加"Async"這樣的關鍵字。
清單 8 示例程式碼
1 2 3 4 5 6 7 8 9 |
|
使用固定的執行緒池完成非同步執行動作示例
我們可以通過使用執行緒池方式來管理非同步動作申請,以下程式碼基於固定的執行緒池,也是做一個大寫字母轉換動作,程式碼如清單 9 所示。
清單 9 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
|
作為消費者消費計算結果示例
假設我們本次計算只需要前一次的計算結果,而不需要返回本次計算結果,那就有點類似於生產者(前一次計算)-消費者(本次計算)模式了,示例程式碼如清單 10 所示。
清單 10 示例程式碼
1 2 3 4 5 6 |
|
消費者是同步執行的,所以不需要在 CompletableFuture 裡對結果進行合併。
非同步消費示例
相較於前一個示例的同步方式,我們也對應有非同步方式,程式碼如清單 11 所示。
清單 11 示例程式碼
1 2 3 4 5 6 7 |
|
計算過程中的異常示例
接下來介紹非同步操作過程中的異常情況處理。下面這個示例中我們會在字元轉換非同步請求中刻意延遲 1 秒鐘,然後才會提交到 ForkJoinPool 裡面去執行。
清單 12 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
|
示例程式碼中,首先我們建立一個 CompletableFuture(計算完畢),然後呼叫 thenApplyAsync 返回一個新的 CompletableFuture,接著通過使用 delayedExecutor(timeout, timeUnit)方法延遲 1 秒鐘執行。然後我們建立一個 handler(exceptionHandler),它會處理異常,返回另一個字串"message upon cancel"。接下來進入 join()方法,執行大寫轉換操作,並且丟擲 CompletionException 異常。
取消計算任務
與前面一個異常處理的示例類似,我們可以通過呼叫 cancel(boolean mayInterruptIfRunning)方法取消計算任務。此外,cancel()方法與 completeExceptionally(new CancellationException())等價。
清單 13 示例程式碼
1 2 3 4 5 6 7 8 |
|
一個 CompletableFuture VS 兩個非同步計算
我們可以建立一個 CompletableFuture 接收兩個非同步計算的結果,下面程式碼首先建立了一個 String 物件,接下來分別建立了兩個 CompletableFuture 物件 cf1 和 cf2,cf2 通過呼叫 applyToEither 方法實現我們的需求。
清單 14 示例程式碼
1 2 3 4 5 6 7 8 9 |
|
如果我們想要使用消費者替換清單 14 的方法方式用於處理非同步計算結果,程式碼如清單 15 所示。
清單 15 示例程式碼
1 2 3 4 5 6 7 8 9 10 |
|
執行兩個階段後執行
下面這個示例程式兩個階段執行完畢後返回結果,首先將字元轉為大寫,然後將字元轉為小寫,在兩個計算階段都結束之後觸發 CompletableFuture。
清單 16 示例程式碼
1 2 3 4 5 6 7 8 |
|
也可以通過以下方式處理非同步計算結果,
清單 17 示例程式碼
1 2 3 4 5 6 7 8 |
|
整合兩個計算結果
我們可以通過 thenCombine()方法整合兩個非同步計算的結果,注意,以下程式碼的整個程式過程是同步的,getNow()方法最終會輸出整合後的結果,也就是說大寫字元和小寫字元的串聯值。
清單 18 示例程式碼
1 2 3 4 5 6 7 |
|
上面這個示例是按照同步方式執行兩個方法後再合成字串,以下程式碼採用非同步方式同步執行兩個方法,由於非同步方式情況下不能夠確定哪一個方法最終執行完畢,所以我們需要呼叫 join()方法等待後一個方法結束後再合成字串,這一點和執行緒的 join()方法是一致的,主執行緒生成並起動了子執行緒,如果子執行緒裡要進行大量的耗時的運算,主執行緒往往將於子執行緒之前結束,但是如果主執行緒處理完其他的事務後,需要用到子執行緒的處理結果,也就是主執行緒需要等待子執行緒執行完成之後再結束,這個時候就要用到 join()方法了,即 join()的作用是:"等待該執行緒終止"。
清單 19 示例程式碼
1 2 3 4 5 6 7 8 |
|
除了 thenCombine()方法以外,還有另外一種方法-thenCompose(),這個方法也會實現兩個方法執行後的返回結果的連線。
清單 20 示例程式碼
1 2 3 4 5 6 7 |
|
anyOf()方法
以下程式碼模擬瞭如何在幾個計算過程中任意一個完成後建立 CompletableFuture,在這個例子中,我們建立了幾個計算過程,然後轉換字串到大寫字元。由於這些 CompletableFuture 是同步執行的(下面這個例子使用的是 thenApply()方法,而不是 thenApplyAsync()方法),使用 anyOf()方法後返回的任何一個值都會立即觸發 CompletableFuture。然後我們使用 whenComplete(BiConsumer<? super Object, ? super Throwable> action)方法處理結果。
清單 21 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
|
當所有的 CompletableFuture 完成後建立 CompletableFuture
清單 22 所示我們會以同步方式執行多個非同步計算過程,在所有計算過程都完成後,建立一個 CompletableFuture。
清單 22 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 |
|
相較於前一個同步示例,我們也可以非同步執行,如清單 23 所示。
清單 23 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
|
實際案例
以下程式碼完成的操作包括:
- 首先非同步地通過呼叫 cars()方法獲取 Car 物件,返回一個 CompletionStage<List>例項。Cars()方法可以在內部使用呼叫遠端伺服器上的 REST 服務等類似場景。
- 然後和其他的 CompletionStage<List>組合,通過呼叫 rating(manufacturerId)方法非同步地返回 CompletionStage 例項。
- 當所有的 Car 物件都被填充了 rating 後,呼叫 allOf()方法獲取最終值。
- 呼叫 whenComplete()方法列印最終的評分(rating)。
清單 24 示例程式碼
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
|
結束語
Completable 類為我們提供了豐富的非同步計算呼叫方式,我們可以通過上述基本操作描述及 20 個示例程式進一步瞭解如果使用 CompletableFuture 類實現我們的需求,期待 JDK10 會有持續更新。
參考資源
參考 developerWorks 上的 Java 8 文章,瞭解更多 Java 8 知識。
參考書籍 Java 8 in Action Raoul-Gabriel Urma
參考書籍 Mastering Lambdas: Java Programming in a Multicore World Maurice Naftalin
參考文章 Java 8 CompletableFutures,這篇文章從基礎介紹了 CompletableFuture 類的使用方式。
相關文章
- 通過例項來理解MySQL索引薦MySql索引
- 通過例項學習 PyTorchPyTorch
- C# 通過反射建立例項C#反射
- 通過例項學習 tcpdump 命令TCP
- 通過反射獲取窗體例項反射
- 通過驗證訪問ASM例項ASM
- python通過thrift操作hbase例項Python
- Future和CompletableFuture的理解
- Python通過ctypes呼叫C程式例項PythonC程式
- 通過Cache::Memcached方式 例項物件應用物件
- js通過例項介紹關於閉包的用法JS
- oracle單例項通過dataguard遷移到RAC 轉Oracle單例
- objective-c 通過類名例項化類Object
- 正規表示式例項蒐集,通過例項來學習正規表示式。
- 通過例項,學習編寫 React 元件的“最佳實踐”React元件
- Mybatis原始碼分析(三)通過例項來看typeHandlersMyBatis原始碼
- javascript閉包的理解和例項JavaScript
- 深入理解原型模式 ——通過複製生成例項原型模式
- 例項詳解不同VLAN間通訊(轉發過程)
- js通過拖動調整元素位置程式碼例項JS
- Docker的通俗理解和透過宿主機埠訪問Redis容器的例項DockerRedis
- oracle例項恢復的學習理解Oracle
- 自己理解的例項恢復步驟
- js取得通過網址傳遞的引數值例項程式碼JS
- 一個單詞統計的例項,怎樣通過MapReduce完成排序?排序
- Java的Socket通訊簡單例項Java單例
- Java 死鎖(DeadLock)例項分析和預防[base jdk8]JavaJDK
- window下通過Xshell登入GCP計算機例項GC計算機
- 通過滑鼠拖動選取指定數字程式碼例項
- jQuery通過多個屬性篩選元素程式碼例項jQuery
- 通過SQL*Plus遠端啟動Oracle資料庫例項SQLOracle資料庫
- Oracle 11g RAC 配置單例項 DataGuard(通過 DUPLICATE 方式)Oracle單例
- java串列埠通訊例項 -Java串列埠
- c#通過反射動態執行類的例項及靜態方法C#反射
- js通過type屬性值篩選input元素程式碼例項JS
- 例項分析理解Java位元組碼Java
- Spark Job-Stage-Task例項理解Spark
- 通過 bilibili 的 discovery 理解下 cap