Flink简介

参考文章：Flink编程

1. 认知flink

Flink是一个框架和分布式处理引擎，用于对无界和有界数据流进行有状态计算

2. 主要特点

2.1 事件驱动型(Event-driven)

事件驱动型应用是一类具有状态的应用,从一个或多个事件流提取数据,根据到来的事件触发计算,状态更新或其他外部动作,
典型的是kafka类的消息队列,
SparkStreaming微批次：

事件驱动型：

2.2 观象 =>流&批

批处理

有界、持久、大量，非常适合需要访问全套记录才能完成的计算工作，一般用于离线统计。

流处理

无界、实时, 无需针对整个数据集执行操作，而是对通过系统传输的每个数据项执行操作，一般用于实时统计。

spark中一切是批处理,离线数据是一个大批次，而实时数据是由一个一个无限的小批次组成的。
flink中一切都是由流组成的，离线数据是有界限的流，实时数据是一个没有界限的流，这就是所谓的有界流和无界流。

2.3 有界&无界

无界数据流

无界数据流有一个开始但是没有结束，它们不会在生成时终止并提供数据，必须连续处理无界流，也就是说必须在获取后立即处理event。对于无界数据流我们无法等待所有数据都到达，因为输入是无界的，并且在任何时间点都不会完成。处理无界数据通常要求以特定顺序（例如事件发生的顺序）获取event，以便能够推断结果完整性。

有界数据流

有界数据流有明确定义的开始和结束，可以在执行任何计算之前通过获取所有数据来处理有界流，处理有界流不需要有序获取，因为可以始终对有界数据集进行排序，有界流的处理也称为批处理。

以流做架构,最大的好处是低延迟

2.4 分层api

1. 最低级抽象只提供有状态流。它 通过Process Function嵌入到DataStream API中。它允许用户自由处理来自一个或多个流的事件，并使用一致的容错状态。此外，用户可以注册事件时间和处理时间回调，允许程序实现复杂的计算。
2. 实际上多数应用并不需要上述的底层抽象,通过**DataStream API（有界或无界流数据）以及DataSet API（有界数据集）**由用户定义的多种形式的转换（transformations），连接（joins），聚合（aggregations），窗口操作（windows）等等。DataSet API 为有界数据集提供了额外的支持，例如循环与迭代。这些API处理的数据类型以类（classes）的形式由各自的编程语言所表示。
3. Table API 是以表为中心的声明式编程，其中表可能会动态变化（在表达流数据时）。Table API遵循（扩展的）关系模型：表有二维数据结构（schema）（类似于关系数据库中的表），同时API提供可比较的操作，例如select、project、join、group-by、aggregate等。Table API程序声明式地定义了什么逻辑操作应该执行，而不是准确地确定这些操作代码的看上去如何 。 尽管Table API可以通过多种类型的用户自定义函数（UDF）进行扩展，其仍不如核心API更具表达能力，但是使用起来却更加简洁（代码量更少）。除此之外，Table API程序在执行之前会经过内置优化器进行优化。表与 DataStream/DataSet 之间无缝切换，以允许程序将 Table API 与 DataStream 以及 DataSet 混合使用
4. Flink提供的最高层级的抽象是 SQL 。这一层抽象在语法与表达能力上与 Table API 类似，但是是以SQL查询表达式的形式表现程序。SQL抽象与Table API交互密切，同时SQL查询可以直接在Table API定义的表上执行。

3 支持有状态计算

1.4版本中实现了状态管理，所谓状态管理就是在流失计算过程中将算子的中间结果保存在内存或者文件系统中，等下一个事件进入算子后可以让当前事件的值与历史值进行汇总累计。类似spark streaming中的UpdateWindowsByKey

3.1 支持exactly-once语义

在分布式系统中，\各个计算机是独立的。可能会宕机,一个sender发送一条message到receiver。根据receiver出现fail时sender如何处理fail，可以将message delivery分为三种语义:
At Most once: 最多一次

对于一条message,receiver最多收到一次(0次或1次).
可以达成At Most Once的策略:sender把message发送给receiver.无论receiver是否收到message,sender都不再重发message.

At Least once:至少一次

对于一条message,receiver最少收到一次(1次及以上).
可以达成At Least Once的策略:sender把message发送给receiver.当receiver在规定时间内没有回复ACK或回复了error信息,那么sender重发这条message给receiver,直到sender收到receiver的ACK.

Exactly once: 有且一次

对于一条message,receiver确保只收到一次

3.2 支持事件时间（EventTime）

目前大多数框架时间窗口计算，都是采用当前系统时间，以时间为单位进行的聚合计算只能反应数据到达计算引擎的时间，而并不是实际业务时间