此文已由作者嶽猛授權網易雲社群釋出。
歡迎訪問網易雲社群，瞭解更多網易技術產品運營經驗。
1.Flink架構及特性分析
Flink是個相當早的專案，開始於2008年，但只在最近才得到注意。Flink是原生的流處理系統，提供high level的API。Flink也提供API來像Spark一樣進行批處理，但兩者處理的基礎是完全不同的。Flink把批處理當作流處理中的一種特殊情況。在Flink中，所有的資料都看作流，是一種很好的抽象，因為這更接近於現實世界。
1.1 基本架構
下面我們介紹下Flink的基本架構，Flink系統的架構與Spark類似，是一個基於Master-Slave風格的架構。
當 Flink 叢集啟動後，首先會啟動一個 JobManger 和一個或多個的 TaskManager。由 Client 提交任務給 JobManager，JobManager 再排程任務到各個 TaskManager 去執行，然後 TaskManager 將心跳和統計資訊彙報給 JobManager。TaskManager 之間以流的形式進行資料的傳輸。上述三者均為獨立的 JVM 程式。
Client 為提交 Job 的客戶端，可以是執行在任何機器上（與 JobManager 環境連通即可）。提交 Job 後，Client 可以結束程式（Streaming的任務），也可以不結束並等待結果返回。
JobManager 主要負責排程 Job 並協調 Task 做 checkpoint，職責上很像 Storm 的 Nimbus。從 Client 處接收到 Job 和 JAR 包等資源後，會生成優化後的執行計劃，並以 Task 的單元排程到各個 TaskManager 去執行。
TaskManager 在啟動的時候就設定好了槽位數（Slot），每個 slot 能啟動一個 Task，Task 為執行緒。從 JobManager 處接收需要部署的 Task，部署啟動後，與自己的上游建立 Netty 連線，接收資料並處理。
可以看到 Flink 的任務排程是多執行緒模型，並且不同Job/Task混合在一個 TaskManager 程式中。主要元件為JobManager，TaskManager，Client,下面簡要描述這三個元件的作用。
JobManager
JobManager是Flink系統的協調者，它負責接收Flink Job，排程組成Job的多個Task的執行。同時，JobManager還負責收集Job的狀態資訊，並管理Flink叢集中從節點TaskManager。JobManager所負責的各項管理功能，它接收到並處理的事件主要包括：
RegisterTaskManager
在Flink叢集啟動的時候，TaskManager會向JobManager註冊，如果註冊成功，則JobManager會向TaskManager回覆訊息AcknowledgeRegistration。
SubmitJob
Flink程式內部通過Client向JobManager提交Flink Job，其中在訊息SubmitJob中以JobGraph形式描述了Job的基本資訊。
CancelJob
請求取消一個Flink Job的執行，CancelJob訊息中包含了Job的ID，如果成功則返回訊息CancellationSuccess，失敗則返回訊息CancellationFailure。
UpdateTaskExecutionState
TaskManager會向JobManager請求更新ExecutionGraph中的ExecutionVertex的狀態資訊，更新成功則返回true。
RequestNextInputSplit
執行在TaskManager上面的Task，請求獲取下一個要處理的輸入Split，成功則返回NextInputSplit。
JobStatusChanged
ExecutionGraph向JobManager傳送該訊息，用來表示Flink Job的狀態發生的變化，例如：RUNNING、CANCELING、FINISHED等。
TaskManager
TaskManager也是一個Actor，它是實際負責執行計算的Worker，在其上執行Flink Job的一組Task。每個TaskManager負責管理其所在節點上的資源資訊，如記憶體、磁碟、網路，在啟動的時候將資源的狀態向JobManager彙報。TaskManager端可以分成兩個階段：
註冊階段
TaskManager會向JobManager註冊，傳送RegisterTaskManager訊息，等待JobManager返回AcknowledgeRegistration，然後TaskManager就可以進行初始化過程。
可操作階段
該階段TaskManager可以接收並處理與Task有關的訊息，如SubmitTask、CancelTask、FailTask。如果TaskManager無法連線到JobManager，這是TaskManager就失去了與JobManager的聯絡，會自動進入“註冊階段”，只有完成註冊才能繼續處理Task相關的訊息。
Client
當使用者提交一個Flink程式時，會首先建立一個Client，該Client首先會對使用者提交的Flink程式進行預處理，並提交到Flink叢集中處理，所以Client需要從使用者提交的Flink程式配置中獲取JobManager的地址，並建立到JobManager的連線，將Flink Job提交給JobManager。Client會將使用者提交的Flink程式組裝一個JobGraph， 並且是以JobGraph的形式提交的。一個JobGraph是一個Flink Dataflow，它由多個JobVertex組成的DAG。其中，一個JobGraph包含了一個Flink程式的如下資訊：JobID、Job名稱、配置資訊、一組JobVertex等。
1.2 基於Yarn層面的架構
基於yarn層面的架構類似spark on yarn模式，都是由Client提交App到RM上面去執行，然後RM分配第一個container去執行AM，然後由AM去負責資源的監督和管理。需要說明的是，Flink的yarn模式更加類似spark on yarn的cluster模式，在cluster模式中，dirver將作為AM中的一個執行緒去執行，在Flink on yarn模式也是會將JobManager啟動在container裡面，去做個driver類似的task排程和分配，YARN AM與Flink JobManager在同一個Container中，這樣AM可以知道Flink JobManager的地址，從而AM可以申請Container去啟動Flink TaskManager。待Flink成功執行在YARN叢集上，Flink YARN Client就可以提交Flink Job到Flink JobManager，並進行後續的對映、排程和計算處理。
1.3 元件棧
Flink是一個分層架構的系統，每一層所包含的元件都提供了特定的抽象，用來服務於上層元件。
Deployment層
該層主要涉及了Flink的部署模式，Flink支援多種部署模式：本地、叢集（Standalone/YARN）、雲（GCE/EC2）。Standalone部署模式與Spark類似，這裡，我們看一下Flink on YARN的部署模式
Runtime層
Runtime層提供了支援Flink計算的全部核心實現，比如：支援分散式Stream處理、JobGraph到ExecutionGraph的對映、排程等等，為上層API層提供基礎服務。
API層
API層主要實現了面向無界Stream的流處理和麵向Batch的批處理API，其中面向流處理對應DataStream API，面向批處理對應DataSet API。
Libraries層
該層也可以稱為Flink應用框架層，根據API層的劃分，在API層之上構建的滿足特定應用的實現計算框架，也分別對應於面向流處理和麵向批處理兩類。面向流處理支援：CEP（複雜事件處理）、基於SQL-like的操作（基於Table的關係操作）；面向批處理支援：FlinkML（機器學習庫）、Gelly（圖處理）。
從官網中我們可以看到，對於Flink一個最重要的設計就是Batch和Streaming共同使用同一個處理引擎，批處理應用可以以一種特殊的流處理應用高效地執行。
這裡面會有一個問題，就是Batch和Streaming是如何使用同一個處理引擎進行處理的。
1.4 Batch和Streaming是如何使用同一個處理引擎。
下面將從程式碼的角度去解釋Batch和Streaming是如何使用同一處理引擎的。首先從Flink測試用例來區分兩者的區別。
Batch WordCount Examples
Streaming WordCount Examples
Batch和Streaming採用的不同的ExecutionEnviroment，對於ExecutionEnviroment來說讀到的源資料是一個DataSet,而StreamExecutionEnviroment的源資料來說則是一個DataStream。
接著我們追蹤下Batch的從Optimzer到JobGgraph的流程，這裡如果是Local模式構造的是LocalPlanExecutor，這裡我們只介紹Remote模式，此處的executor為RemotePlanExecutor
最終會呼叫ClusterClient的run方法將我們的應用提交上去，run方法的第一步就是獲取jobGraph，這個是client端的操作，client會將jobGraph提交給JobManager轉化為ExecutionGraph。Batch和streaming不同之處就是在獲取JobGraph上面。
如果我們初始化的FlinkPlan是StreamingPlan，則首先構造Streaming的StreamingJobGraphGenerator去將optPlan轉為JobGraph，Batch則直接採用另一種的轉化方式。
簡而言之，Batch和streaming會有兩個不同的ExecutionEnvironment，不同的ExecutionEnvironment會將不同的API翻譯成不同的JobGgrah，JobGraph 之上除了 StreamGraph 還有 OptimizedPlan。OptimizedPlan 是由 Batch API 轉換而來的。StreamGraph 是由 Stream API 轉換而來的，JobGraph 的責任就是統一 Batch 和 Stream 的圖。
1.5 特性分析
高吞吐 & 低延遲
Flink 的流處理引擎只需要很少配置就能實現高吞吐率和低延遲。下圖展示了一個分散式計數的任務的效能，包括了流資料 shuffle 過程。
支援 Event Time 和亂序事件
Flink 支援了流處理和 Event Time 語義的視窗機制。
Event time 使得計算亂序到達的事件或可能延遲到達的事件更加簡單。
狀態計算的 exactly-once 語義
流程式可以在計算過程中維護自定義狀態。
Flink 的 checkpointing 機制保證了即時在故障發生下也能保障狀態的 exactly once 語義。
高度靈活的流式視窗
Flink 支援在時間視窗，統計視窗，session 視窗，以及資料驅動的視窗
視窗可以通過靈活的觸發條件來定製，以支援複雜的流計算模式。
帶反壓的連續流模型
資料流應用執行的是不間斷的（常駐）operators。
Flink streaming 在執行時有著天然的流控：慢的資料 sink 節點會反壓（backpressure）快的資料來源（sources）。
容錯性
Flink 的容錯機制是基於 Chandy-Lamport distributed snapshots 來實現的。
這種機制是非常輕量級的，允許系統擁有高吞吐率的同時還能提供強一致性的保障。
Batch 和 Streaming 一個系統流處理和批處理共用一個引擎
Flink 為流處理和批處理應用公用一個通用的引擎。批處理應用可以以一種特殊的流處理應用高效地執行。
記憶體管理
Flink 在 JVM 中實現了自己的記憶體管理。
應用可以超出主記憶體的大小限制，並且承受更少的垃圾收集的開銷。
迭代和增量迭代
Flink 具有迭代計算的專門支援（比如在機器學習和圖計算中）。
增量迭代可以利用依賴計算來更快地收斂。
程式調優
批處理程式會自動地優化一些場景，比如避免一些昂貴的操作（如 shuffles 和 sorts），還有快取一些中間資料。
API 和 類庫
流處理應用
DataStream API 支援了資料流上的函式式轉換，可以使用自定義的狀態和靈活的視窗。
右側的示例展示瞭如何以滑動視窗的方式統計文字資料流中單詞出現的次數。
WindowWordCount in Flink's DataStream APIcase class Word(word: String, freq: Long)
val texts: DataStream[String] = ...
val counts = text .flatMap {
line => line.split("\\W+")
} .map {
token => Word(token, 1)
} .keyBy("word") .timeWindow(Time.seconds(5),
Time.seconds(1)) .sum("freq"
批處理應用
Flink 的 DataSet API 可以使你用 Java 或 Scala 寫出漂亮的、型別安全的、可維護的程式碼。它支援廣泛的資料型別，不僅僅是 key/value 對，以及豐富的 operators。
右側的示例展示了圖計算中 PageRank 演算法的一個核心迴圈。
case class Page(pageId: Long, rank: Double)case class Adjacency(id: Long, neighbors: Array[Long])
val result = initialRanks.iterate(30) { pages => pages.join(adjacency).where("pageId").equalTo("pageId") {
(page, adj, out : Collector[Page]) => {
out.collect(Page(page.id, 0.15 / numPages)) for (n <- adj.neighbors) {
out.collect(Page(n, 0.85*page.rank/adj.neighbors.length))
}
}
} .groupBy("pageId").sum("rank")}
類庫生態
Flink 棧中提供了提供了很多具有高階 API 和滿足不同場景的類庫：機器學習、圖分析、關係式資料處理。當前類庫還在 beta 狀態，並且在大力發展。
廣泛整合
Flink 與開源大資料處理生態系統中的許多專案都有整合。
Flink 可以執行在 YARN 上，與 HDFS 協同工作，從 Kafka 中讀取流資料，可以執行 Hadoop 程式程式碼，可以連線多種資料儲存系統。
部署性
Flink可以單獨脫離Hadoop進行部署，部署只依賴Java環境，相對簡單。
更多網易技術、產品、運營經驗分享請點選。
相關文章：
【推薦】 appium封裝顯示等待Wait類和ExpectedCondition介面
【推薦】 移動端爬蟲工具與方法介紹
【推薦】 讓App飛久一點