Flink专题七:Flink 中广播流之BroadcastStream

【Flink专题七:Flink 中广播流之BroadcastStream】由于工作需要最近学习flink
现记录下Flink介绍和实际使用过程
这是flink系列的第七篇文章

Flink 中广播流之BroadcastStream

    • 介绍
    • 使用场景
    • 使用案例
      • 数据流和广播流
      • connect方法
      • BroadcastProcessFunction 和 KeyedBroadcastProcessFunction
    • 重要注意事项

介绍 在处理数据的时候,有些配置是要实时动态改变的,比如说我要过滤一些关键字,这些关键字呢是在MYSQL里随时配置修改的,那我们在高吞吐计算的Function中动态查询配置文件有可能使整个计算阻塞,甚至任务停止 。
广播流可以通过查询配置文件,广播到某个 operator 的所有并发实例中,然后与另一条流数据连接进行计算 。
使用场景 背景:
我们定义两个流,一个流包含图形(Item),具有颜色和形状两个属性 。
另一个流包含特定的规则(Rule),代表希望寻找的模式 。
在图形流中,我们需要首先使用颜色将流进行进行分区(keyBy),这能确保相同颜色的图形会流转到相同的物理机上 。
使用案例 数据流和广播流 // 将图形使用颜色进行划分KeyedStream colorPartitionedStream = itemStream.keyBy(new KeySelector(){...}); 对于规则流,它应该被广播到所有的下游 task 中,下游 task 应当存储这些规则并根据它寻找满足规则的图形对 。
下面这段代码会完成:
将规则广播给所有下游 task,通过使用 MapStateDescriptor 来描述并创建 broadcast state 在下游的存储结构 。
// 一个 map descriptor,它描述了用于存储规则名称与规则本身的 map 存储结构MapStateDescriptor ruleStateDescriptor = new MapStateDescriptor<>("RulesBroadcastState",BasicTypeInfo.STRING_TYPE_INFO,TypeInformation.of(new TypeHint() {}));// 广播流,广播规则并且创建 broadcast stateBroadcastStream ruleBroadcastStream = ruleStream.broadcast(ruleStateDescriptor); 最终,为了使用规则来筛选图形序列,我们需要:
  1. 将两个流关联起来
  2. 完成我们的模式识别逻辑
connect方法 connect方法可以连接两个不同种类的流,union方法只能连接相同种类的流 。
为了关联一个非广播流(keyed 或者 non-keyed)与一个广播流(BroadcastStream),我们可以调用非广播流的方法connect(),并将 BroadcastStream 当做参数传入 。
connect方法的返回参数是 BroadcastConnectedStream,具有类型方法 process(),传入一个特殊的 BroadcastProcessFunction来书写我们的模式识别逻辑 。具体传入 process() 的是哪个类型取决于非广播流的类型:
  • 如果流是一个 keyed 流,那就是 KeyedBroadcastProcessFunction 类型;
  • 如果流是一个 non-keyed 流,那就是 BroadcastProcessFunction 类型 。
DataStream output = colorPartitionedStream.connect(ruleBroadcastStream).process(// KeyedBroadcastProcessFunction 中的类型参数表示://1. key stream 中的 key 类型//2. 非广播流中的元素类型//3. 广播流中的元素类型//4. 结果的类型,在这里是 stringnew KeyedBroadcastProcessFunction() {// 模式匹配逻辑}); BroadcastProcessFunction 和 KeyedBroadcastProcessFunction 在传入的 BroadcastProcessFunction 或 KeyedBroadcastProcessFunction 中,我们需要实现两个方法 。processBroadcastElement() 方法负责处理广播流中的元素,processElement() 负责处理非广播流中的元素 。两个子类型定义如下:
public abstract class BroadcastProcessFunction extends BaseBroadcastProcessFunction {public abstract void processElement(IN1 value, ReadOnlyContext ctx, Collector out) throws Exception;public abstract void processBroadcastElement(IN2 value, Context ctx, Collector out) throws Exception;} public abstract class KeyedBroadcastProcessFunction {public abstract void processElement(IN1 value, ReadOnlyContext ctx, Collector out) throws Exception;public abstract void processBroadcastElement(IN2 value, Context ctx, Collector out) throws Exception;public void onTimer(long timestamp, OnTimerContext ctx, Collector out) throws Exception;} 需要注意的是 processBroadcastElement() 负责处理广播流的元素,而 processElement() 负责处理另一个流的元素 。两个方法的第二个参数(Context)不同,均有以下方法:
  1. 得到广播流的存储状态:ctx.getBroadcastState(MapStateDescriptor stateDescriptor)
  2. 查询元素的时间戳:ctx.timestamp()
  3. 查询目前的Watermark:ctx.currentWatermark()
  4. 目前的处理时间(processing time):ctx.currentProcessingTime()
  5. 产生旁路输出:ctx.output(OutputTag outputTag, X value)
在 getBroadcastState() 方法中传入的 stateDescriptor 应该与调用 .broadcast(ruleStateDescriptor) 的参数相同 。
这两个方法的区别在于对 broadcast state
的访问权限不同 。在处理广播流元素这端,是具有读写权限的,而对于处理非广播流元素这端是只读的 。这样做的原因是,Flink 中是不存在跨
task 通讯的 。所以为了保证 broadcast state 在所有的并发实例中是一致的,我们在处理广播流元素的时候给予写权限,在所有的
task 中均可以看到这些元素,并且要求对这些元素处理是一致的,那么最终所有 task 得到的 broadcast state 是一致的 。
processBroadcastElement() 的实现必须在所有的并发实例中具有确定性的结果 。
回到我们当前的例子中,KeyedBroadcastProcessFunction 应该实现如下:
new KeyedBroadcastProcessFunction() {// 存储部分匹配的结果,即匹配了一个元素,正在等待第二个元素// 我们用一个数组来存储,因为同时可能有很多第一个元素正在等待private final MapStateDescriptor> mapStateDesc =new MapStateDescriptor<>("items",BasicTypeInfo.STRING_TYPE_INFO,new ListTypeInfo<>(Item.class));// 与之前的 ruleStateDescriptor 相同private final MapStateDescriptor ruleStateDescriptor =new MapStateDescriptor<>("RulesBroadcastState",BasicTypeInfo.STRING_TYPE_INFO,TypeInformation.of(new TypeHint() {}));@Overridepublic void processBroadcastElement(Rule value,Context ctx,Collector out) throws Exception {ctx.getBroadcastState(ruleStateDescriptor).put(value.name, value);}@Overridepublic void processElement(Item value,ReadOnlyContext ctx,Collector out) throws Exception {final MapState> state = getRuntimeContext().getMapState(mapStateDesc);final Shape shape = value.getShape();for (Map.Entry entry :ctx.getBroadcastState(ruleStateDescriptor).immutableEntries()) {final String ruleName = entry.getKey();final Rule rule = entry.getValue();List stored = state.get(ruleName);if (stored == null) {stored = new ArrayList<>();}if (shape == rule.second && !stored.isEmpty()) {for (Item i : stored) {out.collect("MATCH: " + i + " - " + value);}stored.clear();}// 不需要额外的 else{} 段来考虑 rule.first == rule.second 的情况if (shape.equals(rule.first)) {stored.add(value);}if (stored.isEmpty()) {state.remove(ruleName);} else {state.put(ruleName, stored);}}}} 重要注意事项 这里有一些 broadcast state 的重要注意事项,在使用它时需要时刻清楚:
  1. 没有跨 task 通讯:如上所述,这就是为什么只有在 (Keyed)-BroadcastProcessFunction 中处理广播流元素的方法里可以更改 broadcast state 的内容 。同时,用户需要保证所有 task 对于 broadcast state 的处理方式是一致的,否则会造成不同 task 读取 broadcast state 时内容不一致的情况,最终导致结果不一致 。
  2. broadcast state 在不同的 task 的事件顺序可能是不同的:虽然广播流中元素的过程能够保证所有的下游 task 全部能够收到,但在不同 task 中元素的到达顺序可能不同 。所以 broadcast state 的更新不能依赖于流中元素到达的顺序 。
  3. 所有的 task 均会对 broadcast state 进行 checkpoint:虽然所有 task 中的 broadcast state 是一致的,但当 checkpoint 来临时所有 task 均会对 broadcast state 做 checkpoint 。这个设计是为了防止在作业恢复后读文件造成的文件热点 。当然这种方式会造成 checkpoint 一定程度的写放大,放大倍数为 p(=并行度) 。Flink 会保证在恢复状态/改变并发的时候数据没有重复且没有缺失 。在作业恢复时,如果与之前具有相同或更小的并发度,所有的 task 读取之前已经 checkpoint 过的 state 。在增大并发的情况下,task 会读取本身的 state,多出来的并发(p_new - p_old)会使用轮询调度算法读取之前 task 的 state 。
  4. 不使用 RocksDB state backend: broadcast state 在运行时保存在内存中,需要保证内存充足 。这一特性同样适用于所有其他 Operator State 。