前言
微信搜【Java3y】關注這個朴實無華的男人,點贊關注是對我最大的支持!
文本已收錄至我的GitHub:https://github.com/ZhongFuCheng3y/3y,有300多篇原創文章,最近在連載面試和項目系列!
在前段時間寫了一篇《Storm》入門的文章,很多同學給我說:“大人,時代變了”。

最近公司要把Storm
集群給下線啦,所以我們都得把Storm
的任務都改成Flink
。
於是最近入門了一把Flink
,現在來分享一下Flink
入門的相關知識。
(寫上面這一段話的時候,到發文章這個時候已經過了一個季度了,不好意思,我這篇文章拖了一個季度)
不得不說,Flink這兩年是真的火🔥這篇文章主要講講Flink
入門時一些可能看不太懂的點又或是看官方介紹看不太懂的點(API
我就不細說了,多用用應該都能看懂)。
什么是Flink?
在Flink的官網上,可以把官方文檔語言設置為中文,於是我們可以看到官方是這樣介紹的:

上面的圖我們每個字都能看得懂,但連起來就看不懂了。
不管怎么樣,我們可以了解到:Flink是一個分布式的計算處理引擎
-
分布式:「它的存儲或者計算交由多台服務器上完成,最后匯總起來達到最終的效果」。
-
實時:處理速度是毫秒級或者秒級的
-
計算:可以簡單理解為對數據進行處理,比如清洗數據(對數據進行規整,取出有用的數據)

基於官網的一句話介紹,我們就可以聯想出很多東西。
這篇文章可以帶你簡單認識一下Flink的一些基礎概念,等你真正用到的時候就可以依據這篇文章來對Flink進行入門,現在Storm都被很多人給拋棄掉了,那么Flink優於Storm的地方有哪些呢?接下來我們一起來看看Flink吧。
什么是有邊界和無邊界?
Apache Flink 是一個框架和分布式處理引擎,用於在無邊界和有邊界數據流上進行有狀態的計算。
官方其實也有介紹,但對初學者來說不太好理解,我來幼兒園化一下。
大家學到Flink了,消息隊列肯定有用過吧?那你們是怎么用消息隊列的呢?Producer
生產數據,發給Broker
,Consumer
消費,完事。
在消費的時候,我們需要管什么Producer什么時候發消息嗎?不需要吧。反正來一條,我就處理一條,沒毛病吧。
這種沒有做任何處理的消息,默認就是無邊界的。
那有邊界就很好理解了:無邊界的基礎上加上條件,那就是有邊界的。加什么條件呢?比如我要加個時間:我要消費從8月8號到8月9號的數據,那就是有邊界的。

什么時候用無邊界,什么時候用有邊界?那也很好理解。我做數據清洗:來一條,我處理一條,這種無邊界的就好了。我要做數據統計:每個小時的pv
(page view)是多少,那我就設置1小時的邊界,攢着一小時的數據來處理一次。
在Flink
上,設置“邊界”這種操作叫做開窗口(Windows
),窗口可簡單分為兩種類型:
-
時間窗口( TimeWindows
):按照時間窗口進行聚合,比如上面所講得攥着一個小時的數據處理一次。 -
計數窗口( CountWindows
):按照指定的 條數來進行聚合,比如每來了10條數據處理一次。
看着就非常人性化(媽媽再也不用擔心我需要聚合了)...
不僅如此,在Flink
使用窗口聚合的時候,還考慮到了數據的准確性問題。比如說:現在我在11:06分
產生了5
條數據,在11:07分
產生了4條數據
,我現在是按每分鍾的維度來進行聚合計算。
理論上來講:Flink
應該是在06分
聚合了5條
數據,在07分
聚合了4條
數據。但是,可能由於網絡的延遲性等原因,導致06分
的3條
數據在07分
時Flink
才接收到。如果不做任何處理,那07分
有可能處理了7條
條數據。
某些需要准確結果的場景來說,這就不太合理了。所以Flink
可以給我們指定”時間語義“,不指定默認是「數據到Flink的時間」Processing Time
來進行聚合處理,可以給我們指定聚合的時間以「事件發生的時間」Event Time
來進行處理。
事件發生的時間指的就是:日志真正記錄的時間
2020-11-22 00:00:02.552 INFO [http-nio-7001-exec-28] c.m.t.rye.admin.web.aop.LogAspect
雖然指定了聚合的時間為「事件發生的時間」Event Time
,但還是沒解決數據亂序的問題(06分產生了5條數據,實際上06分只收到了3條,而剩下的兩條在07分才收到,那此時怎么辦呢?在06分時該不該聚合,07分收到的兩條06分數據怎么辦?)
Flink
又可以給我們設置水位線(waterMarks
),Flink意思就是:存在網絡延遲等情況導致數據接收不是有序,這種情況我都能理解。你這樣吧,根據自身的情況,你可以設置一個「延遲時間」,等延遲的時間到了,我再聚合統一聚合。
比如說:現在我知道數據有可能會延遲一分鍾,那我將水位線waterMarks
設置延遲一分鍾。
解讀:因為設置了「事件發生的時間」Event Time
,所以Flink
可以檢測到每一條記錄發生的時間,而設置了水位線waterMarks
設置延遲一分鍾,等到Flink
發現07分:59秒
的數據來到了Flink
,那就確信06分
的數據都來了(因為設置了1分鍾延遲),此時才聚合06分
的窗口數據。

什么叫做有狀態?
Apache Flink 是一個框架和分布式處理引擎,用於在無邊界和有邊界數據流上進行有狀態的計算。
什么是有狀態,什么是無狀態?
無狀態我們可以簡單認為:每次的執行都不依賴上一次或上N次的執行結果,每次的執行都是獨立的。
有狀態我們可以簡單認為:執行需要依賴上一次或上N次的執行結果,某次的執行需要依賴前面事件的處理結果。

比如,我們現在要統計文章的閱讀PV
(page view),現在只要有一個點擊了文章,在Kafka
就會有一條消息。現在我要在流式處理平台上進行統計,那此時是有狀態的還是無狀態的?
假設我們要在Storm
做,那我們可能將每次的處理結果放到一個“外部存儲”中,然后基於這個“外部存儲”進行計算(這里我們不用Storm Trident
),那此時Storm
是無狀態的。
比如說:我存儲將每次得到的數據存儲到 Redis
中,來一條數據,我就先查一下Redis目前的值是多少,跟Redis
的值和現在的值做一次累加就完事了。
假設要在Flink
做,Flink
本身就提供了這種功能給我們使用,我們可以依賴Flink
的“存儲”,將每次的處理結果交由Flink
管理,執行計算的邏輯。

可以簡單的認為:Flink本身就給我們提供了”存儲“的功能,而我們每次執行是可以依賴Flink的”存儲”的,所以它是有狀態的。

那Flink
是把這些有狀態的數據存儲在哪的呢?
主要有三個地方:
-
內存 -
文件系統(HDFS) -
本地數據庫


如果假設Flink
掛了,可能內存的數據沒了,磁盤可能存儲了部分的數據,那再重啟的時候(比如消息隊列會重新拉取),就不怕會丟了或多了數據嗎?
看到這里,你可能在會在別的地方看過Flink
的另外一個比較出名的特性:精確一次性
(簡單來說就是:Flink
遇到意外事件掛了以后,有什么機制來盡可能保證處理數據不重復和不丟失的呢)
什么是精確一次性(exactly once)?
眾所周知,流的語義性有三種:
-
精確一次性(exactly once):有且只有一條,不多不少 -
至少一次(at least once):最少會有一條,只多不少 -
最多一次(at most once):最多只有一條,可能會沒有
Flink實現了精確一次性,這個精確一次性是什么意思呢?
Flink的精確一次性指的是:狀態只持久化一次到最終的存儲介質中(本地數據庫/HDFS...)

以上面的圖為例:Source
數據流有以下數字21,13,8,5,3,2,1,1
,然后在Flink
需要做累加操作(求和)
現在處理完2,1,1
了,所以累加的值是4
,現在Flink
把累積后的狀態4
已經存儲起來了(認為前面2,1,1
這幾個數字已經完全處理過了)。
程序一直往下走,處理了5,3
,現在累加的值是12
,但現在Flink
還沒來得及把12
存儲到最終的介質,此時系統掛掉了。
Flink重啟后會重新把系統恢復到累加的值是4
的狀態,所以5,3
得繼續計算一遍,程序繼續往下走。
看文章有的同學可能會認為:精確一次性指的不是某一段代碼只會執行一次,不會執行多次或不執行。這5
和3
這兩個數,你不是重復計算了嗎?怎么就精確一次了?
顯然,代碼只執行一次肯定是不可能的嘛。我們無法控制系統在哪一行代碼掛掉的,你要是在掛的時候,當前方法還沒執行完,你還是得重新執行該方法的。
所以,狀態只持久化一次到最終的存儲介質中(本地數據庫/HDFS),在Flink下就叫做exactly once
(計算的數據可能會重復(無法避免),但狀態在存儲介質上只會存儲一次)。
那么Flink
是在多長時間存儲一次的呢?這個是我們自己手動配置的。

所謂的CheckPoint
其實就是Flink
會在指定的時間段上保存狀態的信息,假設Flink
掛了可以將上一次狀態信息再撈出來,重放還沒保存的數據來執行計算,最終實現exactly once
。
那CheckPonit
是怎么辦到的呢?想想我們在Kafka
在業務上實現「至少一次」是怎么做的?我們從Kafka
把數據拉下來,處理完業務了以后,手動提交offset
(告訴Kafka
我已經處理完了)

我們是做完了業務規則才將offset
進行commit
的,checkponit
其實也是一樣的(等拉下來該條數據所有的流程走完,才進行真正的checkponit
)。
問題又來了,那checkpoint
是怎么知道拉下來的數據已經走完了呢?Flink
在流處理過程中插入了barrier
,每個環節處理到barrier
都會上報,等到sink
都上報了barrier
就說明這次checkpoint
已經走完了。

要注意的是,Flink
實現的精確一次性只是保證內部的狀態是精確一次的,如果想要端到端精確一次,需要端的支持
-
數據源需要可回放,發證故障可以重新讀取未確認的數據 -
Flink
需要把數據存到磁盤介質(不能用內存),發生故障可以恢復 -
發送源需要支持事務(從讀到寫需要事務的支持保證中途不失敗)

最后
這篇文章對Flink
做了一次簡單的介紹,希望對大家在入門的時候有所幫助。后續打算會再寫一篇Flink
文章對CheckPoint
機制做更加深入的了解,有興趣的同學可以點個關注第一時間能接收到。
三歪把【大廠面試知識點】、【簡歷模板】、【原創文章】全部整理成電子書,共有1263頁!點擊下方鏈接直接取就好了
PDF文檔的內容均為手打,有任何的不懂都可以直接來問我
