开胃菜
在讲解Flink
的checkPoint
和背压
机制之前,我们先来看下checkpoint
和背压
的相关基础,有助于后面的理解。
作为用户,我们写好Flink
的程序,上管理平台提交,Flink
就跑起来了(只要程序代码没有问题),细节对用户都是屏蔽的。
实际上大致的流程是这样的:
-
然后在提交的之前会将
StreamGraph
这个图优化一把(可以合并的任务进行合并),变成JobGraph
-
将
JobGraph
提交给JobManager
-
JobManager
收到之后JobGraph
之后会根据JobGraph
生成ExecutionGraph
(ExecutionGraph
是JobGraph
的并行化版本) -
TaskManager
接收到任务之后会将ExecutionGraph
生成为真正的物理执行图
可以看到物理执行图
真正运行在TaskManager
上Transform
和Sink
之间都会有ResultPartition
和InputGate
这俩个组件,ResultPartition
用来发送数据,而InputGate
用来接收数据。
屏蔽掉这些Graph
,可以发现Flink
的架构是:Client
->JobManager
->TaskManager
从名字就可以看出,JobManager
是干「管理」,而TaskManager
是真正干活的。回到我们今天的主题,checkpoint
就是由JobManager
发出。
而Flink
本身就是有状态的,Flink
可以让你选择执行过程中的数据保存在哪里,目前有三个地方,在Flink
的角度称作State Backends
:
同样的,checkpoint
信息也是保存在State Backends
上
耗子屎
最近在Storm
迁移Flink
的时候遇到个问题,我来简单描述一下背景。
我们从各个数据源从清洗出数据,借助Flink
清洗,组装成一个宽模型,最后交由kylin
做近实时数据统计和展示,供运营实时查看。
迁移的过程中,发现订单的topic
消费延迟了好久,初步怀疑是因为订单上游的并发度
不够所影响的,所以调整了两端的并行度重新发布一把。
发布的过程中,系统起来以后,再去看topic
消费延迟的监控,就懵逼了。什么?怎么这么久了啊?丝毫没有降下去的意思。
这时候只能找组内的大神去寻求帮忙了,他排查一番后表示:这checkpoint
一直没做上,都堵住了,重新发布的时候只会在上一次checkpoint
开始,由于checkpoint
长时间没完成掉,所以重新发布数据量会很大。这没啥好办法了,只能在这个堵住的环节下扔掉吧,估计是业务逻辑出了问题。
画外音:接收到订单的数据,会去溯源点击,判断该订单从哪个业务来,经过了哪些的业务,最终是哪块业务致使该订单成交。
画外音:外部真正使用时,依赖「订单结果HBase」数据
我们认为点击的数据有可能会比订单的数据处理要慢一会,所以找不到的数据会间隔一段时间轮询,又因为Flink
提供State
「状态」 和checkpoint
机制,我们把找不到的数据放入ListState
按一定的时间轮询就好了(即便系统由于重启或其他原因挂了,也不会把数据丢了)。
理论上只要没问题,这套方案是可行的。但现在结果告诉我们:订单数据报来了以后,一小批量数据一直在「订单结果HBase」没找到数据,就放置到ListState
上,然后来一条数据就去遍历ListState
。导致的后果就是:
-
数据消费不过来,形成反压
-
checkpoint
一直没成功
当时处理的方式就是把ListState清空掉,暂时丢掉这一部分的数据,让数据追上进度。
后来排查后发现是上游在消息报字段上做了「手脚」,解析失败导致点击丢失,造成这一连锁的后果。
排查问题的关键是理解Flink
的反压
和checkpoint
的原理是什么样的,下面我来讲述一下。
反压
反压backpressure
是流式计算中很常见的问题。它意味着数据管道中某个节点成为瓶颈,处理速率跟不上「上游」发送数据的速率,上游需要进行限速
上面的图代表了是反压极简的状态,说白了就是:下游处理不过来了,上游得慢点,要堵了!
最令人好奇的是:“下游是怎么通知上游要发慢点的呢?”
在前面Flink
的基础知识讲解,我们可以看到ResultPartition
用来发送数据,InputGate
用来接收数据。
而Flink
在一个TaskManager
内部读写数据的时候,会有一个BufferPool
(缓冲池)供该TaskManager
读写使用(一个TaskManager
共用一个BufferPool
),每个读写ResultPartition/InputGate
都会去申请自己的LocalBuffer
以上图为例,假设下游处理不过来,那InputGate
的LocalBuffer
是不是被填满了?填满了以后,ResultPartition
是不是没办法往InputGate
发了?而ResultPartition
没法发的话,它自己本身的LocalBuffer
也迟早被填满,那是不是依照这个逻辑,一直到Source
就不会拉数据了...
这个过程就犹如InputGate/ResultPartition
都开了自己的有界阻塞队列,反正“我”就只能处理这么多,往我这里发,我满了就堵住呗,形成连锁反应一直堵到源头上...
上面是只有一个TaskManager
的情况下的反压,那多个TaskManager
呢?(毕竟我们很多时候都是有多个TaskManager
在为我们工作的)
我们再看回Flink
通信的总体数据流向架构图:
从图上可以清洗地发现:远程通信用的Netty
,底层是TCP Socket
来实现的。
所以,从宏观的角度看,多个TaskManager
只不过多了两个Buffer
(缓冲区)。
按照上面的思路,只要InputGate
的LocalBuffer
被打满,Netty Buffer
也迟早被打满,而Socket Buffer
同样迟早也会被打满(TCP 本身就带有流量控制),再反馈到ResultPartition
上,数据又又又发不出去了...导致整条数据链路都存在反压的现象。
现在问题又来了,一个TaskManager
的task
可是有很多的,它们都共用一个TCP Buffer/Buffer Pool
,那只要其中一个task
的链路存在问题,那不导致整个TaskManager
跟着遭殃?
在Flink 1.5版本
之前,确实会有这个问题。而在Flink 1.5版本
之后则引入了credit
机制。
从上面我们看到的Flink
所实现的反压,宏观上就是直接依赖各个Buffer
是否满了,如果满了则无法写入/读取导致连锁反应,直至Source
端。
而credit
机制,实际上可以简单理解为以「更细粒度」去做流量控制:每次InputGate
会告诉ResultPartition
自己还有多少的空闲量可以接收,让ResultPartition
看着发。如果InputGate
告诉ResultPartition
已经没有空闲量了,那ResultPartition
就不发了。
那实际上是怎么实现的呢?撸源码!
在撸源码之前,我们再来看看下面物理执行图:实际上InPutGate
下是InputChannel
,ResultPartition
下是ResultSubpartition
(这些在源码中都有体现)。
InputGate(接收端处理反压)
我们先从接收端看起吧。Flink
接收数据的方法在org.apache.flink.streaming.runtime.io.StreamInputProcessor#processInput
随后定位到处理反压的逻辑:
final BufferOrEvent bufferOrEvent = barrierHandler.getNextNonBlocked();
进去getNextNonBlocked()
方法看(选择的是BarrierBuffer
实现):
我们就直接看null
的情况,看下从初始化阶段开始是怎么搞的,进去getNextBufferOrEvent()
requestPartitions();
result = currentChannel.getNextBuffer();
先从requestPartitions()
看起吧,发现里边套了一层(从InputChannel
下获取到subPartition
):
于是再进requestSubpartition()
(看RemoteInputChannel
的实现吧)
在这里看起来就是创建Client
端,然后接收上游发送过来的数据:
先看看client
端的创建姿势吧,进createPartitionRequestClient()
方法看看(我们看Netty
的实现)。
点了两层,我们会进到createPartitionRequestClient()
方法,看源码注释就可以清晰发现,这会创建TCP
连接并且创建出Client
供我们使用
我们还是看null
的情况,于是定位到这里:
进去connect()
方法看看:
我们就看看具体生成逻辑的实现吧,所以进到getClientChannelHandlers
上
意外发现源码还有个通信简要流程图给我们看(哈哈哈):
好了,来看看getClientChannelHandlers
方法吧,这个方法不长,主要判断了下要生成的client
是否开启creditBased
机制:
public ChannelHandler[] getClientChannelHandlers() {
NetworkClientHandler networkClientHandler =
creditBasedEnabled ? new CreditBasedPartitionRequestClientHandler() :
new PartitionRequestClientHandler();
return new ChannelHandler[] {
messageEncoder,
new NettyMessage.NettyMessageDecoder(!creditBasedEnabled),
networkClientHandler};
}
于是我们的networkClientHandler
实例是CreditBasedPartitionRequestClientHandler
到这里,我们暂且就认为Client
端已经生成完了,再退回去getNextBufferOrEvent()
这个方法,requestPartitions()
方法是生成接收数据的Client
端,具体的实例是CreditBasedPartitionRequestClientHandler
下面我们进getNextBuffer()
看看接收数据具体是怎么处理的:
拿到数据后,就会开始执行我们用户的代码了调用process
方法了(这里我们先不看了)。还是回到反压的逻辑上,我们好像还没看到反压的逻辑在哪里。重点就是receivedBuffers
这里,是谁塞进去的呢?
于是我们回看到Client
具体的实例CreditBasedPartitionRequestClientHandler
,打开方法列表一看,感觉就是ChannelRead()
没错了:
@Override
public void channelRead(ChannelHandlerContext ctx, Object msg) throws Exception {
try {
decodeMsg(msg);
} catch (Throwable t) {
notifyAllChannelsOfErrorAndClose(t);
}
}
跟着decodeMsg
继续往下走吧:
继续下到decodeBufferOrEvent()
继续下到onBuffer
:
所以我们往onSenderBacklog
上看看:
最后调用notifyCreditAvailable
将Credit
往上游发送:
public void notifyCreditAvailable(final RemoteInputChannel inputChannel) {
ctx.executor().execute(() -> ctx.pipeline().fireUserEventTriggered(inputChannel));
}
最后再画张图来理解一把(关键链路):
ResultPartition(发送端处理反压)
发送端我们从org.apache.flink.runtime.taskexecutor.TaskManagerRunner#startTaskManager
开始看起
于是我们进去看fromConfiguration()
进去start()
去看,随后进入connectionManager.start()
(还是看Netty
的实例):
进去看
service.init()
方法做了什么(又看到熟悉的身影):
好了,我们再进去getServerChannelHandlers()
看看吧:
有了上面经验的我们,直接进去看看它的方法,没错,又是channnelRead
,只是这次是channelRead0
。
ok,我们进去addCredit()
看看:
reader.addCredit(credit)
只是更新了下数量
public void addCredit(int creditDeltas) {
numCreditsAvailable += creditDeltas;
}
重点我们看下enqueueAvailableReader()
方法,而enqueueAvailableReader()
的重点就是判断Credit
是否足够发送
isAvailable
的实现也很简单,就是判断Credit
是否大于0且有真实数据可发
而writeAndFlushNextMessageIfPossible
实际上就是往下游发送数据:
拿数据的时候会判断Credit
是否足够,不足够抛异常:
再画张图来简单理解一下:
背压总结
「下游」的处理速度跟不上「上游」的发送速度,从而降低了处理速度,看似是很美好的(毕竟看起来就是帮助我们限流了)。
但在Flink
里,背压再加上Checkponit
机制,很有可能导致State
状态一直变大,拖慢完成checkpoint
速度甚至超时失败。
当checkpoint
处理速度延迟时,会加剧背压的情况(很可能大多数时间都在处理checkpoint
了)。
当checkpoint
做不上时,意味着重启Flink
应用就会从上一次完成checkpoint
重新执行(...
举个我真实遇到的例子:
我有一个
Flink
任务,我只给了它一台TaskManager
去执行任务,在更新DB的时候发现会有并发的问题。只有一台
TaskManager
定位问题很简单,稍微定位了下判断:我更新DB的Sink 并行度调高了。如果Sink的并行度设置为1,那肯定没有并发的问题,但这样处理起来太慢了。
于是我就在Sink之前根据
userId
进行keyBy
(相同的userId都由同一个Thread处理,那这样就没并发的问题了)
看似很美好,但userId
存在热点数据的问题,导致下游数据处理形成反压
。原本一次checkpoint
执行只需要30~40ms
,反压
后一次checkpoint
需要2min+
。
checkpoint
执行间隔相对频繁(6s/次
),执行时间2min+
,最终导致数据一直处理不过来,整条链路的消费速度从原来的3000qps
到背压后的300qps
,一直堵住(程序没问题,就是处理速度大大下降,影响到数据的最终产出)。
最后
本来想着这篇文章把反压和Checkpoint
都一起写了,但写着写着发现有点长了,那checkpoint
开下一篇吧。
相信我,只要你用到Flink
,迟早会遇到这种问题的,现在可能有的同学还没看懂,没关系,先点个赞