flink handbook - Flink分布式运行时

任务和算子链

对于分布式执行,Flink将算子子任务链接到任务中。每个任务由一个线程执行。将算子链接到任务中是一项有用的优化:它可以减少线程到线程切换和缓冲的开销,并在降低延迟的同时提高整体吞吐量。可以配置链接行为; 有关详细信息,请参阅链接文档。

下图中的示例数据流由五个子任务执行,因此具有五个并行线程。

算子链接到任务

作业管理器,任务管理器,客户端

Flink运行时包含两种类型的进程:

  • JobManagers(也称为主作业)协调分布式执行。他们调度任务,协调检查点,协调故障恢复等。

总是至少有一个Job Manager。高可用性配置将具有多个JobManagers,其中一个始终是领导者,其他人则是备用者。

  • TaskManagers(也叫工作者)执行数据流的任务(或者更具体地说,子任务),并且缓冲和交换数据流。

必须至少有一个TaskManager。

JobManagers和TaskManagers可以通过多种方式启动:直接作为独立集群、在容器中、或由YARN或Mesos等资源框架管理。TaskManagers连接到JobManagers,宣布它们自己是可用,并被分配工作。

客户端不是运行时和程序执行的一部分,而是被用来准备和发送的数据流的JobManager。之后,客户端可以断开连接或保持连接以接收进度报告。客户端既可以作为触发执行的Java / Scala程序的一部分运行,也可以在命令行进程中运行./bin/flink run …。

执行Flink数据流所涉及的过程

任务槽和资源

每个worker(TaskManager)都是一个JVM进程,可以在不同的线程中执行一个或多个子任务。为了控制worker接受的任务数量,worker有所谓的任务槽(至少一个)。

每个任务槽代表TaskManager的固定资源子集。例如,具有三个插槽的TaskManager将其托管内存的1/3专用于每个插槽。对资源进行分隔意味着子任务不会与来自其他作业的子任务竞争托管内存,而是具有一定数量的保留托管内存。请注意,此处不会发生CPU隔离; 当前插槽只分离任务的托管内存。

通过调整任务槽的数量,用户可以定义子任务如何相互隔离。每个TaskManager有一个插槽意味着每个任务组在一个单独的JVM中运行(例如,可以在一个单独的容器中启动)。拥有多个插槽意味着更多子任务共享同一个JVM。同一JVM中的任务共享TCP连接(通过多路复用)和心跳消息。它们还可以共享数据集和数据结构,从而减少每任务开销。

具有任务槽和任务的TaskManager

默认情况下,Flink允许子任务共享插槽,即使它们是不同任务的子任务,只要它们来自同一个作业。结果是一个槽可以容纳整个作业的管道。允许此插槽共享有两个主要好处:

Flink集群需要与作业中使用的最高并行度一样多的任务槽。无需计算程序总共包含多少任务(具有不同的并行性)。

更容易获得更好的资源利用率。如果没有插槽共享,非密集型源/ map()子任务将阻止与资源密集型窗口子任务一样多的资源。通过插槽共享,将示例中的基本并行性从2增加到6可以充分利用插槽资源,同时确保繁重的子任务在TaskManagers之间公平分配。

具有共享任务槽的TaskManagers

API还包括可用于防止不期望的插槽共享的资源组机制。

根据经验,一个好的默认任务槽数就是CPU核心数。使用超线程,每个插槽然后需要2个或更多硬件线程上下文。

状态后端

存储键/值索引的确切数据结构取决于所选的状态后端。一个状态后端将数据存储在内存中的哈希映射中,另一个状态后端使用RocksDB作为键/值存储。除了定义保存状态的数据结构之外,状态后端还实现逻辑以获取键/值状态的时间点快照,并将该快照存储为检查点的一部分逻辑。

检查点和快照

保存点

用Data Stream API编写的程序可以从保存点恢复执行。保存点允许更新程序和Flink群集,而不会丢失任何状态。

保存点是手动触发的检查点,它将程序的快照写入状态后端。他们依赖于常规的检查点机制。在执行期间,程序会周期性地在工作节点上创建快照并生成检查点。对于恢复,仅需要最后完成的检查点,并且一旦新的检查点完成,就可以安全地丢弃旧的检查点。

保存点与这些定期检查点类似,不同之处在于它们由用户触发,并且在完成较新的检查点时不会自动过期。可以从命令行或通过REST API取消作业时创建保存点。