Java異步編程最佳實踐

字號:


    什么是異步?為什么要用它?
    異步編程提供了一個非阻塞的,事件驅動的編程模型。 這種編程模型利用系統(tǒng)中多核執(zhí)行任務來提供并行,因此提供了應用的吞吐率。此處吞吐率是指在單位時間內所做任務的數(shù)量。 在這種編程方式下, 一個工作單元將獨立于主應用線程而執(zhí)行, 并且會將它的狀態(tài)通知調用線程:成功,處理中或者失敗。
    我們需要異步來消除阻塞模型。其實異步編程模型可以使用同樣的線程來處理多個請求, 這些請求不會阻塞這個線程。想象一個應用正在使用的線程正在執(zhí)行任務, 然后等待任務完成才進行下一步。 log框架就是一個很好的例子:典型地你想將異常和錯誤日志記錄到一個目標中, 比如文件,數(shù)據(jù)庫或者其它類似地方。你不會讓你的程序等待日志寫完才執(zhí)行,否則程序的響應就會受到影響。 相反,如果對log框架的調用是異步地,應用就可以并發(fā)執(zhí)行其它任務而無需等待。這是一個非阻塞執(zhí)行的例子。
    為了在Java中實現(xiàn)異步,你需要使用Future 和 FutureTask, 它們位于java.util.concurrent包下. Future是一個接口而FutureTask是它的一個實現(xiàn)類。實際上,如果在你的代碼中使用Future, 你的異步任務會立即執(zhí)行, 并且調用線程可以得到結果promise。
    下面的代碼片段定義了一個包含兩個方法的接口。 一個是同步方法,另外一個是異步方法。
    import java.util.concurrent.Future;
    public interface IDataManager {
    // synchronous method
    public String getDataSynchronously();
    // asynchronous method
    public Future<String> getDataAsynchronously();
    }
    值得注意的是回調模型的弊端就是當回調嵌套時很麻煩。
    該做和不該做的
    為了方便測試, 你應該在代碼中將功能從多線程中隔離出來。當在Java中編寫異步代碼時,你應該遵循異步模型,這樣調用線程就不會被阻塞。
    注意構造函數(shù)不能是異步的,你不應該在構造函數(shù)中調用異步方法。當任務互相不依賴時異步方式尤其有用。當調用任務依賴被調用任務時不應該使用異步(譯者按:這對異步來說無意義,因為業(yè)務上調用線程被阻塞了).
    你應該在異步方法中處理異常. 你不應該為長時間的task實現(xiàn)異常. 一個長時間運行的任務,如果異步執(zhí)行的話, 可能會比同步執(zhí)行耗費更長的時間, 因為運行時要為異步執(zhí)行的方法執(zhí)行線程上下文的切換, 線程狀態(tài)的存儲等. 你也應該注意同步的異常和異步的異常有所不同。 同步異常暗示 每次程序執(zhí)行到那個程序特殊狀態(tài)時就會拋出異常;異步異常的跟蹤則困難的多。所以同步和異步異常暗示同步或異步代碼可能拋出異常(synchronous and asynchronous exceptions imply synchronous or asynchronous code in your program that might raise exceptions.)。
    推薦閱讀
    總結
    異步對于設計大規(guī)??焖夙憫膽檬侵陵P重要的。異步回調模型帶來了很多的好處;你可以依賴你的異步回調方法來執(zhí)行昂貴的I/O操作而你的處理器可以執(zhí)行其它任務。然而雖然在Java和C#中提供了異步的支持,異步編程并不總是那么容易實現(xiàn)。異步方式的使用要謹慎: 你應該清楚什么時候可以用和什么時候不該用。
    本文中我們介紹了異步編程的概念, 以及使用Java編程需要怎么去實現(xiàn). 本文也列出了使用異步編程的最佳實踐。謝謝閱讀。
    譯者增加的內容
    Java 7中提供了Fork/Join框架, 可以將一個大的task分割成很多可以并行執(zhí)行的小task。Java 8中parallelStream內部利用Fork/Join執(zhí)行并發(fā)操作。
    Reactive Extensions for .NET提供了異步和基于事件編程框架, Java中對應的是Netflix的RxJava,你可以使用它實現(xiàn)CQRS和Event Sourcing模式。
    Akka提供了一個分布式的,容錯的,事件驅動的框架, 可以實現(xiàn)異步的分布式的編程。
    還有Spring的reactor也提供了高性能的事件驅動的異步框架。
    像Node.js天生支持異步編程模式, 其它語言如golang使用 goroutines 和 channels.也很容易實現(xiàn)異步。