这是我参与「第四届青训营 」笔记创作活动的第4天
流式计算VS批式计算
| 特征 | 批式计算 | 流式计算 |
|---|---|---|
| 数据存储 | HDFS、Hive | Kafka、Pulsar |
| 数据时效性 | 天级别 | 分钟级别 |
| 准确性 | 精准 | 精准和时效性之间取舍 |
| 典型计算引擎 | Hive、Spark、Flink | Flink |
| 计算模型 | Exactly-Once | At Least Once/Exacty Once |
| 资源模型 | 定时调度 | 长期持有 |
| 主要场景 | 离线天级别数据报表 | 实时数仓、实时营销、实时风控 |
批处理
- 批处理模型典型的数仓架构为T+1架构,即数据计算时天级别的,当天只能看到前一天的计算结果。通常使用的计算引擎为Hive或者Spark等。计算的时候,数据是完全 ready 的,输入和输出都是确定性的。
- 小时级批处理:将调度级别下降到小时级,每小时一次调度,理论上可以实现更实时的数仓,但是每次周期处理调度外还有申请、释放等过程,比较消耗资源。
- 数据实时性越高,数据的价值越高。
处理时间窗口
- 实时计算:处理时间窗口
- 数据实时流动,实时计算,窗口结束直接发送结果,不需要周期调度任务。
处理时间VS事件时间
实时计算分为处理时间和事件时间。
- 处理时间:数据在流式计算系统中真正处理时所在机器的当前时间。
- 事件时间:数据产生的时间,比如客户端、传感器、后端代码等上报数据时的时间。事件时间需要Watermark配合来处理乱序。
事件时间窗口
- 数据实时进入到真实事件发生的窗口中进行计算,可以有效的处理数据延迟和乱序。
Watermark
-
在数据中插入一些 watermark,来表示当前的真实时间。
-
在数据存在乱序的时候,watermark可以用来在乱序容忍和实时性之间做一个平衡。
-
Watermark传递机制:下游 subtask 会将上游所有 watermark 值的最小值作为该 subtask 的 watermark 的值。
-
部分subtask断流:如果上游有一个subtask的watermark不更新了,则下游的watermark都得不到更新而产生断流。
-
断流解决方案:设置一个idle超时时间,当某个subtask超过配置的超时时间时,会将当前subtask置为idle,并下发一个idle状态给下游,下游在计算自身 watermark 的时候,可以忽略掉当前是idle的那些subtask的watermark,而去计算除状态为idle之外的subtask的watermark。
-
迟到数据处理:因为watermark表示当前事件发生的真实时间,那晚于watermark的数据到来时,系统会认为这种数据是迟到的数据。算子自身来决定如何处理迟到数据:
- Window聚合,默认会丢弃迟到数据;
- 双流join,如果是outer join,则可以认为它不能join到任何数据;
- CEP,默认丢弃。
窗口分类
- 典型的Window:
- Tumble Window(滚动窗口)
- Sliding Window(滑动窗口)
- Session Window(会话窗口)
滚动窗口:每个key单独划分;每条数据只会属于一个窗口
滑动窗口:每个key单独划分;每条数据可能会属于多个窗口
会话窗口: 每个key单独划分;每条数据会单独划分为一个窗口,如果window之间有交集,则会对窗口进行merge
迟到数据的处理
- 一条数据到来后,会用WindowAssigner 给它划分一个 window,一般时间窗口是一个时间区间,比如[10:00,11:00),如果划分出来的 window end 比当前的 watermark 值还小,说明这个窗口已经触发了计算了,这条数据会被认为是迟到数据;
- 只有事件时间下才会有迟到的数据;
- 迟到数据默认丢弃。
- 除丢弃外的另外两种处理方法
- Allow lateness:设置一个允许迟到的时间,窗口正常计算结束后,不会马上清理状态,而是会多保留allowLateness这么长时间,在这段时间内如果还有数据到来,则继续之前的状态进行计算。
- SideOutput(侧输出流):对迟到数据打一个tag,然后在DataStream上根据这个tag获取到迟到数据流,然后业务层面自行选择进行处理。
窗口计算模型
- 增量计算:每条数据到来,直接进行计算,window只存储计算结果;SQL中的聚合和典型的reduce、aggregate等函数都是增量计算
- 全量计算:每条数据到来,会存储到window的state中。等到window触发计算的时候,将所有数据拿出来一起计算;典型的process函数就是全量计算。
EMIT触发
- 在window没有结束的时候,提前把window计算的部分结果输出出来。
高级优化
- Mini-batch:小批量处理数据,避免频繁访问
- local-global:发生数据倾斜时对于数据先进行一次分区,提高计算效率,从而优化解决倾斜问题
- Distinct:通过用一个value表示多个state,减少状态数量,通过状态复用降低状态量
- Pane:为避免频繁滑动数据重复参与计算,将滑动窗口滑动的量作为pane,每个窗口的计算结果为多个pane合并的结果,降低滑动窗口的状态存储量。