伴隨著海量增長的數(shù)據(jù)，數(shù)字化時代的未來感撲面而至。不論是結(jié)繩記事的小數(shù)據(jù)時代，還是我們正在經(jīng)歷的大數(shù)據(jù)時代，計算的邊界正在被***拓寬，而數(shù)據(jù)的價值再也難以被計算。

[[247742]]

時下，談及大數(shù)據(jù)，不得不提到熱門的下一代大數(shù)據(jù)計算引擎 Apache Flink（以下簡稱 Flink）。

本文將結(jié)合 Flink 的前世今生，從業(yè)務(wù)角度出發(fā)，向大家娓娓道來：為什么阿里選擇了 Flink？

為什么阿里選擇了 Flink

隨著人工智能時代的降臨，數(shù)據(jù)量的爆發(fā)，在典型的大數(shù)據(jù)的業(yè)務(wù)場景下數(shù)據(jù)業(yè)務(wù)最通用的做法是：選用批處理的技術(shù)處理全量數(shù)據(jù)，采用流式計算處理實時增量數(shù)據(jù)。

在絕大多數(shù)的業(yè)務(wù)場景之下，用戶的業(yè)務(wù)邏輯在批處理和流處理之中往往是相同的。

但是，用戶用于批處理和流處理的兩套計算引擎是不同的。因此，用戶通常需要寫兩套代碼。毫無疑問，這帶來了一些額外的負擔和成本。

阿里巴巴的商品數(shù)據(jù)處理就經(jīng)常需要面對增量和全量兩套不同的業(yè)務(wù)流程問題，所以阿里就在想，我們能不能有一套統(tǒng)一的大數(shù)據(jù)引擎技術(shù)，用戶只需要根據(jù)自己的業(yè)務(wù)邏輯開發(fā)一套代碼。

這樣在各種不同的場景下，不管是全量數(shù)據(jù)還是增量數(shù)據(jù)，亦或者實時處理，一套方案即可全部支持，這就是阿里選擇 Flink 的背景和初衷。

目前開源大數(shù)據(jù)計算引擎有很多選擇，流計算如 Storm、Samza、Flink、Kafka Stream 等，批處理如 Spark、Hive、Pig、Flink 等。

而同時支持流處理和批處理的計算引擎，只有兩種選擇：

• Apache Spark。
• Apache Flink。

[[247744]]

從技術(shù)，生態(tài)等各方面的綜合考慮。首先，Spark 的技術(shù)理念是基于批來模擬流的計算。而 Flink 則完全相反，它采用的是基于流計算來模擬批計算。

從技術(shù)發(fā)展方向看，用批來模擬流有一定的技術(shù)局限性，并且這個局限性可能很難突破。

而 Flink 基于流來模擬批計算，在技術(shù)上有更好的擴展性。從長遠來看，阿里決定用 Flink 做一個統(tǒng)一的、通用的大數(shù)據(jù)引擎作為未來的選型。

Flink 是一個低延遲、高吞吐、統(tǒng)一的大數(shù)據(jù)計算引擎。在阿里巴巴的生產(chǎn)環(huán)境中，F(xiàn)link 的計算平臺可以實現(xiàn)毫秒級的延遲情況下，每秒鐘處理上億次的消息或者事件。

同時 Flink 提供了一個 Exactly-once 的一致性語義，保證了數(shù)據(jù)的正確性。這樣就使得 Flink 大數(shù)據(jù)引擎可以提供金融級的數(shù)據(jù)處理能力。

Flink 在阿里的現(xiàn)狀

基于 Apache Flink 在阿里巴巴搭建的平臺于 2016 年正式上線，并從阿里巴巴的搜索和推薦這兩大場景開始實現(xiàn)。

目前阿里巴巴所有的業(yè)務(wù)，包括阿里巴巴所有子公司都采用了基于 Flink 搭建的實時計算平臺。同時 Flink 計算平臺運行在開源的 Hadoop 集群之上。

采用 Hadoop 的 YARN 做為資源管理調(diào)度，以 HDFS 作為數(shù)據(jù)存儲。因此，F(xiàn)link 可以和開源大數(shù)據(jù)軟件 Hadoop 無縫對接。

目前，這套基于 Flink 搭建的實時計算平臺不僅服務(wù)于阿里巴巴集團內(nèi)部，而且通過阿里云的云產(chǎn)品 API 向整個開發(fā)者生態(tài)提供基于 Flink 的云產(chǎn)品支持。

Flink 在阿里巴巴的大規(guī)模應(yīng)用，表現(xiàn)如何？具體如下：

• 規(guī)模：一個系統(tǒng)是否成熟，規(guī)模是重要指標。Flink 最初上線時，阿里巴巴只有數(shù)百臺服務(wù)器，目前規(guī)模已達上萬臺，此等規(guī)模在全球范圍內(nèi)也是***。
• 狀態(tài)數(shù)據(jù)：基于 Flink，內(nèi)部積累起來的狀態(tài)數(shù)據(jù)已經(jīng)是 PB 級別規(guī)模。
• Events：如今每天在 Flink 的計算平臺上，處理的數(shù)據(jù)已經(jīng)超過萬億條。

PS：在峰值期間可以承擔每秒超過 4.72 億次的訪問，最典型的應(yīng)用場景是阿里巴巴雙 11 大屏。

Flink 的發(fā)展之路

接下來從開源技術(shù)的角度，來談一談 Apache Flink 是如何誕生的，它是如何成長的？以及在成長的這個關(guān)鍵的時間點阿里是如何進入的？并對它做出了那些貢獻和支持？

Flink 誕生于歐洲的一個大數(shù)據(jù)研究項目 StratoSphere。該項目是柏林工業(yè)大學(xué)的一個研究性項目。

早期，F(xiàn)link 是做 Batch 計算的，但是在 2014 年，StratoSphere 里面的核心成員孵化出 Flink，同年將 Flink 捐贈 Apache，并在后來成為 Apache 的***大數(shù)據(jù)項目。

同時 Flink 計算的主流方向被定位為 Streaming，即用流式計算來做所有大數(shù)據(jù)的計算，這就是 Flink 技術(shù)誕生的背景。

2014 年 Flink 作為主攻流計算的大數(shù)據(jù)引擎開始在開源大數(shù)據(jù)行業(yè)內(nèi)嶄露頭角。

區(qū)別于 Storm，Spark Streaming 以及其他流式計算引擎的是：它不僅是一個高吞吐、低延遲的計算引擎，同時還提供很多高級的功能。

比如它提供了有狀態(tài)的計算，支持狀態(tài)管理，支持強一致性的數(shù)據(jù)語義以及支持 Event Time，WaterMark 對消息亂序的處理。

Flink 核心概念以及基本理念

Flink 最區(qū)別于其他流計算引擎的，其實就是狀態(tài)管理。什么是狀態(tài)？

例如開發(fā)一套流計算的系統(tǒng)或者任務(wù)做數(shù)據(jù)處理，可能經(jīng)常要對數(shù)據(jù)進行統(tǒng)計，如 Sum、Count、Min、Max 這些值是需要存儲的。

因為要不斷更新，這些值或者變量就可以理解為一種狀態(tài)。如果數(shù)據(jù)源是在讀取 Kafka，RocketMQ，可能要記錄讀取到什么位置，并記錄 Offset，這些 Offset 變量都是要計算的狀態(tài)。

Flink 提供了內(nèi)置的狀態(tài)管理，可以把這些狀態(tài)存儲在 Flink 內(nèi)部，而不需要把它存儲在外部系統(tǒng)。

這樣做有兩大好處：

• 降低了計算引擎對外部系統(tǒng)的依賴以及部署，使運維更加簡單。
• 對性能帶來了極大的提升：如果通過外部去訪問，如 Redis、HBase 它一定是通過網(wǎng)絡(luò)及 RPC。如果通過 Flink 內(nèi)部去訪問，它只通過自身的進程去訪問這些變量。

同時 Flink 會定期將這些狀態(tài)做 Checkpoint 持久化，把 Checkpoint 存儲到一個分布式的持久化系統(tǒng)中，比如 HDFS。

這樣的話，當 Flink 的任務(wù)出現(xiàn)任何故障時，它都會從最近的一次 Checkpoint 將整個流的狀態(tài)進行恢復(fù)，然后繼續(xù)運行它的流處理。對用戶沒有任何數(shù)據(jù)上的影響。

Flink 是如何做到在 Checkpoint 恢復(fù)過程中沒有任何數(shù)據(jù)的丟失和數(shù)據(jù)的冗余？來保證精準計算的？

這其中原因是 Flink 利用了一套非常經(jīng)典的 Chandy-Lamport 算法，它的核心思想是把這個流計算看成一個流式的拓撲，定期從這個拓撲的頭部 Source 點開始插入特殊的 Barries，從上游開始不斷的向下游廣播這個 Barries。

每一個節(jié)點收到所有的 Barries，會將 State 做一次 Snapshot，當每個節(jié)點都做完 Snapshot 之后，整個拓撲就算完整的做完了一次 Checkpoint。接下來不管出現(xiàn)任何故障，都會從最近的 Checkpoint 進行恢復(fù)。

Flink 利用這套經(jīng)典的算法，保證了強一致性的語義。這也是 Flink 與其他無狀態(tài)流計算引擎的核心區(qū)別。

下面介紹 Flink 是如何解決亂序問題的。比如星球大戰(zhàn)的播放順序，如果按照上映的時間觀看，可能會發(fā)現(xiàn)故事在跳躍。

在流計算中，與這個例子是非常類似的。所有消息到來的時間，和它真正發(fā)生在源頭，在線系統(tǒng) Log 當中的時間是不一致的。

在流處理當中，希望是按消息真正發(fā)生在源頭的順序進行處理，不希望是真正到達程序里的時間來處理。

Flink 提供了 Event Time 和 Water Mark 的一些先進技術(shù)來解決亂序的問題，使得用戶可以有序的處理這個消息。這是 Flink 一個很重要的特點。

接下來要介紹的是 Flink 啟動時的核心理念和核心概念，這是 Flink 發(fā)展的***個階段；第二個階段時間是 2015 年和 2017 年，這個階段也是 Flink 發(fā)展以及阿里巴巴介入的時間。

故事源于 2015 年年中，我們在搜索事業(yè)部的一次調(diào)研。當時阿里有自己的批處理技術(shù)和流計算技術(shù)，有自研的，也有開源的。

但是，為了思考下一代大數(shù)據(jù)引擎的方向以及未來趨勢，我們做了很多新技術(shù)的調(diào)研。

結(jié)合大量調(diào)研結(jié)果，我們***得出的結(jié)論是：解決通用大數(shù)據(jù)計算需求，批流融合的計算引擎，才是大數(shù)據(jù)技術(shù)的發(fā)展方向，并且最終我們選擇了 Flink。

但 2015 年的 Flink 還不夠成熟，不管是規(guī)模還是穩(wěn)定性尚未經(jīng)歷實踐。***我們決定在阿里內(nèi)部建立一個 Flink 分支，對 Flink 做大量的修改和完善，讓其適應(yīng)阿里巴巴這種超大規(guī)模的業(yè)務(wù)場景。

在這個過程當中，我們團隊不僅對 Flink 在性能和穩(wěn)定性上做出了很多改進和優(yōu)化，同時在核心架構(gòu)和功能上也進行了大量創(chuàng)新和改進，并將其貢獻給社區(qū)。

例如：Flink 新的分布式架構(gòu)，增量 Checkpoint 機制，基于 Credit-based 的網(wǎng)絡(luò)流控機制和 Streaming SQL 等。

阿里巴巴對 Flink 社區(qū)的貢獻

我們舉兩個設(shè)計案例，***個是阿里巴巴重構(gòu)了 Flink 的分布式架構(gòu)，將 Flink 的 Job 調(diào)度和資源管理做了一個清晰的分層和解耦。這樣做的首要好處是 Flink 可以原生的跑在各種不同的開源資源管理器上。

經(jīng)過這套分布式架構(gòu)的改進，F(xiàn)link 可以原生地跑在 Hadoop Yarn 和 Kubernetes 這兩個最常見的資源管理系統(tǒng)之上。

同時將 Flink 的任務(wù)調(diào)度從集中式調(diào)度改為了分布式調(diào)度，這樣 Flink 就可以支持更大規(guī)模的集群，以及得到更好的資源隔離。

另一個是實現(xiàn)了增量的 Checkpoint 機制，因為 Flink 提供了有狀態(tài)的計算和定期的 Checkpoint 機制，如果內(nèi)部的數(shù)據(jù)越來越多，不停地做 Checkpoint，Checkpoint 會越來越大，***可能導(dǎo)致做不出來。

提供了增量的 Checkpoint 后，F(xiàn)link 會自動地發(fā)現(xiàn)哪些數(shù)據(jù)是增量變化，哪些數(shù)據(jù)是被修改了。同時只將這些修改的數(shù)據(jù)進行持久化。

這樣 Checkpoint 不會隨著時間的運行而越來越難做，整個系統(tǒng)的性能會非常地平穩(wěn)，這也是我們貢獻給社區(qū)的一個很重大的特性。

經(jīng)過 2015 年到 2017 年對 Flink Streaming 的能力完善，F(xiàn)link 社區(qū)也逐漸成熟起來。

Flink 也成為在 Streaming 領(lǐng)域最主流的計算引擎。因為 Flink 最早期想做一個流批統(tǒng)一的大數(shù)據(jù)引擎，2018 年已經(jīng)啟動這項工作。

為了實現(xiàn)這個目標，阿里巴巴提出了新的統(tǒng)一 API 架構(gòu)，統(tǒng)一 SQL 解決方案，同時流計算的各種功能得到完善后，我們認為批計算也需要各種各樣的完善。

無論在任務(wù)調(diào)度層，還是在數(shù)據(jù) Shuffle 層，在容錯性，易用性上，都需要完善很多工作。

下面主要和大家分享兩點：

• 統(tǒng)一 API Stack
• 統(tǒng)一 SQL 方案

先來看下目前 Flink API Stack 的一個現(xiàn)狀，調(diào)研過 Flink 或者使用過 Flink 的開發(fā)者應(yīng)該知道。Flink 有 2 套基礎(chǔ)的 API，一套是 DataStream，一套是 DataSet。

DataStream API 是針對流式處理的用戶提供，DataSet API 是針對批處理用戶提供，但是這兩套 API 的執(zhí)行路徑是完全不一樣的，甚至需要生成不同的 Task 去執(zhí)行。

所以這跟得到統(tǒng)一的 API 是有沖突的，而且這個也是不完善的，不是最終的解法。

在 Runtime 之上首先是要有一個批流統(tǒng)一融合的基礎(chǔ) API 層，我們希望可以統(tǒng)一 API 層。

因此，我們在新架構(gòu)中將采用一個 DAG（有限無環(huán)圖）API，作為一個批流統(tǒng)一的 API 層。

對于這個有限無環(huán)圖，批計算和流計算不需要涇渭分明的表達出來。只需要讓開發(fā)者在不同的節(jié)點，不同的邊上定義不同的屬性，來規(guī)劃數(shù)據(jù)是流屬性還是批屬性。

整個拓撲是可以融合批流統(tǒng)一的語義表達，整個計算無需區(qū)分是流計算還是批計算，只需要表達自己的需求。有了這套 API 后，F(xiàn)link 的 API Stack 將得到統(tǒng)一。

除了統(tǒng)一的基礎(chǔ) API 層和統(tǒng)一的 API Stack 外，同樣在上層統(tǒng)一 SQL 的解決方案。

流和批的 SQL，可以認為流計算有數(shù)據(jù)源，批計算也有數(shù)據(jù)源，我們可以將這兩種源都模擬成數(shù)據(jù)表。

可以認為流數(shù)據(jù)的數(shù)據(jù)源是一張不斷更新的數(shù)據(jù)表，對于批處理的數(shù)據(jù)源可以認為是一張相對靜止的表，沒有更新的數(shù)據(jù)表。

整個數(shù)據(jù)處理可以當做 SQL 的一個 Query，最終產(chǎn)生的結(jié)果也可以模擬成一個結(jié)果表。

對于流計算而言，它的結(jié)果表是一張不斷更新的結(jié)果表。對于批處理而言，它的結(jié)果表是相當于一次更新完成的結(jié)果表。

從整個 SOL 語義上表達，流和批是可以統(tǒng)一的。此外，不管是流式 SQL，還是批處理 SQL，都可以用同一個 Query 來表達復(fù)用。

這樣以來流批都可以用同一個 Query 優(yōu)化或者解析。甚至很多流和批的算子都是可以復(fù)用的。

Flink 的未來方向

首先，阿里巴巴還是要立足于 Flink 的本質(zhì)，去做一個全能的統(tǒng)一大數(shù)據(jù)計算引擎。將它在生態(tài)和場景上進行落地。

目前 Flink 已經(jīng)是一個主流的流計算引擎，很多互聯(lián)網(wǎng)公司已經(jīng)達成了共識：Flink 是大數(shù)據(jù)的未來，是***的流計算引擎。

下一步很重要的工作是讓 Flink 在批計算上有所突破。在更多的場景下落地，成為一種主流的批計算引擎。

然后進一步在流和批之間進行無縫的切換，流和批的界限越來越模糊。用 Flink，在一個計算中，既可以有流計算，又可以有批計算。

第二個方向就是 Flink 的生態(tài)上有更多語言的支持，不僅僅是 Java，Scala 語言，甚至是機器學(xué)習(xí)下用的 Python，Go 語言。

未來我們希望能用更多豐富的語言來開發(fā) Flink 計算的任務(wù)，來描述計算邏輯，并和更多的生態(tài)進行對接。

***不得不說 AI，因為現(xiàn)在很多大數(shù)據(jù)計算的需求和數(shù)據(jù)量都是在支持很火爆的 AI 場景。

所以在 Flink 流批生態(tài)完善的基礎(chǔ)上，將繼續(xù)往上走，完善上層 Flink 的 Machine Learning 算法庫，同時 Flink 往上層也會向成熟的機器學(xué)習(xí)，深度學(xué)習(xí)去集成。

比如可以做 Tensorflow On Flink，讓大數(shù)據(jù)的 ETL 數(shù)據(jù)處理和機器學(xué)習(xí)的 Feature 計算和特征計算，訓(xùn)練的計算等進行集成，讓開發(fā)者能夠同時享受到多種生態(tài)給大家?guī)淼暮锰帯?/p>