Exactly once 未必严格一次

Posted @SmartSi

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Exactly once 未必严格一次相关的知识,希望对你有一定的参考价值。

分布式事件流处理已逐渐成为大数据领域的热点话题。该领域主要的流处理引擎(SPE)包括 Apache Storm、Apache Flink、Heron、Apache Kafka(Kafka Streams)以及 Apache Spark(Spark Streaming)等。处理语义是围绕 SPE 最受关注,讨论最多的话题之一,其中"严格一次(Exactly-once)" 是很多引擎追求的目标之一,很多 SPE 均宣称可提供"严格一次"的处理语义。

然而exactly-once具体指什么,需要具备哪些能力,当 SPE 宣称可支持时这实际上意味着什么,对于这些问题还有很多误解和歧义。使用exactly-once来描述处理语义,这本身也容易造成误导。本文将探讨各大主要 SPE 在exactly-once处理语义方面的差异,以及为什么exactly-once更适合称之为有效一次(Effectively-once)。同时本文还将探讨在实现所谓exactly-once的语义过程中,各类常用技术之间需要进行的取舍。

1. 背景

流处理通常也被称之为事件处理,简单来说是指持续不断地处理一系列无穷无尽地数据或事件地过程。流处理或事件处理应用程序大致可以看作一种有向图,大部分情况(但也并非总是如此)下也可以看作有向无环图(Directed acyclic graph,DAG)。在这种图中,每个边(Edge)可代表一个数据或事件流,每个顶点(Vertex)代表使用应用程序定义的逻辑处理来自相邻边的数据或事件的算子(Operator)。有两种特殊类型的顶点,通常称之为 SourceSinkSource 会消耗外部数据/事件并将其注入应用程序,而Sink通常负责收集应用程序生成的结果。图1展示了这样的一个流应用程序范例。

执行流/事件处理应用程序的 SPE 通常可供用户指定可靠性模式或处理语义,这代表了在跨越整个应用程序图处理数据时所能提供的保证。这些保证是有一定意义的,因为我们始终可以假设由于网络、计算机等原因遇到失败进而导致数据丢失的概率。在描述 SPE 能为应用程序提供的数据处理语义时,通常会使用三种模式 / 标签:最多一次(At-most-once)、最少一次(At-least-once),以及严格一次(Exactly-once)。
这些不同处理语义可粗略理解如下:

2. 最多一次

这其实是一种"尽力而为"的方法。数据或事件可以保证被应用程序中的所有算子最多处理一次。这意味着如果在流应用程序最终成功处理之前就已丢失,则不会额外试图重试或重新传输事件。图2列举了一个范例。

3. 最少一次

数据或事件可保证被应用程序图中的所有算子最少处理一次。这通常意味着如果在流应用程序最终成功处理之前就已丢失,那么事件将从来源重播(Replayed)或重新传输。然而因为可以重新传输,有时候一个事件可能被多次处理,因此这种方式被称之为"最少一次"。图3展示了一个范例。在本例中,第一个算子最初处理事件时失败了,随后重试并成功,然后第二次重试并再次成功,然而第二次重试实际上是不必要的。

3. 严格一次

事件可保证被流应用程序中的所有算子“严格一次”处理,哪怕遇到各种失败。
为了实现exactly-once处理语义,通常主要会使用下列两种机制:

  • 分布式快照/状态检查点
  • 最少一次事件交付,外加消息去重

通过分布式快照/状态检查点方法实现的exactly-once是由 Chandy-Lamport 分布式快照算法启发而来的。在这种机制中,会定期为流应用程序中每个算子的所有状态创建检查点,一旦系统中任何位置出现失败,每个算子的所有状态会回滚至最新的全局一致检查点。回滚过程中所有处理工作会暂停。随后源也会重置为与最新检查点相符的偏移量。整个流应用程序基本上会被回退到最新一致状态,并从该状态开始重新处理。图4展示了这种机制的一些基本概念。

在图4中,流应用程序在 T1 时正在正常运行,并创建了状态检查点。然而在 T2 时,算子在处理传入的数据时失败了。此时 S = 4 这个状态值已经被保存到持久存储中,而 S = 12 状态值正位于算子的内存中。为了解决这种差异,在 T3 时处理图将状态回退至 S = 4,并"重播"流中每个连续状态直到最新状态,并处理每个数据。最终结果是有些数据被处理了多次,但这也没问题,因为无论回滚多少次,结果状态都是相同的。

实现exactly-once的另一种方法是在实现至少一次事件交付的同时在每个算子一端进行事件去重。使用这种方法的 SPE 会重播失败的事件并再次尝试处理,并从每个算子中移除重复的事件,随后才将结果事件发送给用户在算子中定义的逻辑。这种机制要求为每个算子保存事务日志,借此才能追踪哪些事件已经处理过了。为此 SPE 通常会使用诸如 Google 的 MillWheel 以及 Apache Kafka Streams 等机制。图 5 展示了这种机制的概况。

4. 严格一次真的就一次吗?

接着重新考虑一下exactly-once处理语义实际上能为最终用户提供怎样的保证。exactly-once这样的标签对于描述严格一次起到了一定的误导效果。

有些人可能认为exactly-once描述了一种保证:在事件处理过程中,流中的每个事件只被处理一次。但实际上没有一个 SPE 能完全保证只处理一次。面对各种可能的失败,根本不可能保证每个算子中由用户自定义的逻辑针对每个事件只执行一次,因为用户代码的不完整执行(Partial execution)这种可能性始终会出现。

假设这样一个场景:有个流处理算子需要执行 Map 操作输出传入事件的 ID,随后原样返回事件。例如这个操作可能使用了如下的虚构代码:

Map (Event event) 
    Print "Event ID: " + event.getId()
    Return event

每个事件有自己的 GUID(全局唯一 ID)。如果用户逻辑严格一次执行可以得到保证,那么事件 ID 只输出一次。然而这一点永远无法保证,因为用户自定义的逻辑执行过程中可能随时随地面临失败。SPE 无法自行判断用户自定义的逻辑到底执行到哪一步了。因此任何用户自定义逻辑都无法保证只执行一次。这也意味着用户自定义逻辑中实现的外部操作,例如数据库写入也无法严格保证只执行一次。此类操作依然需要通过幂等的方式实现。

那么当 SPE 宣称提供exactly-once的处理语义保证时,它们指的到底是什么?如果用户逻辑无法严格保证只执行一次,那么到底是什么东西只执行了一次?当 SPE 宣称exactly-once处理语义时,它们真正的含义在于可以保证在对 SPE 管理的状态进行更新时,可以只向后端的持久存储提交一次。

上文提到的两种机制均使用持久的后端存储作为事实来源(Source of truth),用于保存每个算子的状态,并自动提交状态更新。对于机制1(分布式快照/状态检查点),这个持久的后端存储可用于保存流应用程序中全局一致的状态检查点(每个算子的状态检查点);对于机制2(至少一次事件交付,外加去重),这个持久的后端存储可用于保存每个算子的状态以及每个算子追踪已经被成功处理过事件的事务日志。

状态提交或对事实来源的持久后端进行的更新可描述为事件(Occurring)的严格一次(The committing of state or applying updates to the durable backend that is the source of truth can be described as occurring exactly-once)。然而在计算状态的更新/改动,例如处理在事件上执行用户自定义逻辑的事件,但是如果出现失败则可能进行多次,这一点正如上文所述。换句话说,事件的处理可能会进行多次,但处理的效果只会在持久后端状态存储中体现一次。因此在这里我们认为"有效一次(Effectively-once)"术语可以更精确地描述这样的处理语义。

5. 分布式快照与至少一次事件交付外加去重机制的对比

从语义的角度来看,分布式快照以及至少一次事件交付外加去重,这两种机制可以提供相同的保证。然而由于两种机制在实现方面的差异,有可能会产生明显的性能差异。

基于机制1(分布式快照 / 状态检查点)的 SPE 在性能方面的开销可能是最低的,因为基本上,SPE 只需要在流应用程序正常处理事件的过程之外发送少量特殊事件,而状态检查点操作可以在后台以异步的方式进行。但是对于大型流应用程序,失败的概率会更高一点,这会导致 SPE 需要暂停应用程序并回滚所有算子的状态,这会对性能产生较大影响。流应用程序规模越大,遇到失败的频率就会越高,因此性能方面受到的影响也会越大。然而需要再次提醒的是,这种机制是非侵入式的,只会对资源的使用造成最少量的影响。

机制2(至少一次事件交付外加去重)可能需要更多资源,尤其是存储资源。在这种机制中,SPE 需要能追踪已经被算子的每个实例成功处理的每个元组(Tuple),借此才能执行去重并实现自身在每个事件中的去重。这可能需要追踪非常大量的数据,尤其是当流应用程序规模非常大,或运行了很多应用程序的时候。每个算子中的每个事件执行去重操作,这本身也会产生巨大的性能开销。然而对于这种机制,流应用程序的性能不太可能受到应用程序规模的影响。对于机制 1,如果任何算子遇到任何失败,均需要全局暂停并状态回滚;对于机制 2,失败只能影响到局部。如果某个算子遇到失败,只需要从上游来源重播 / 重新传输尚未成功处理的事件,对性能的影响可隔离在流应用程序中实际发生失败的地方,只会对流应用程序中其他算子的性能产生最少量的影响。从性能的角度来看,两种机制各有利弊,具体情况可参阅下文表格:

分布式快照/状态检查点

性能和资源开销小从失败中恢复时的性能影响大
随着拓扑规模的增大,对性能的潜在影响增高

至少一次交付外加去重

失败对性能的影响更为局部可能需要大量的存储与基础设施的支持
失败的影响未必会随着拓扑规模一起增加每个算子处理每个事件均会产生性能开销

虽然从理论上看,分布式快照,和至少一次事件交付外加去重,这两种机制之间存在差异,但两者均可理解为至少一次处理外加幂等。对于这两种机制,如果遇到失败事件将会重播/重新传输(为了实现至少一次),而在状态回滚或事件去重时,如果从内部更新所管理的状态,算子实际上将具备幂等的特性。

6. 结论

希望本文可以帮助大家意识到exactly-once这个术语极具误导性。提供exactly-once的处理语义实际上意味着在对流处理引擎所管理的算子的状态进行不同更新只会影响一次。exactly-once完全无法保证事件的处理(例如执行各类用户定义的逻辑)只需要进行一次。因此这里我们更愿意使用有效一次这个术语来描述这种保证,因为没必要确保处理工作只进行一次,只要保证由 SPE 管理的状态的最终结果只影响一次就够了。分布式快照和消息去重,这两种主流机制就是为了实现严格/有效一次的处理语义。在消息处理和状态更新方面,这两种机制均可提供相同的语义保证,但在性能方面可能有所差异。本文并不是为了探讨哪种机制更胜一筹,因为每种机制都各有利弊。

原文: https://streaml.io/blog/exactly-once/
译文: https://mp.weixin.qq.com/s/QjKQcFnbMxBBxFgIQ_f5lw

以上是关于Exactly once 未必严格一次的主要内容,如果未能解决你的问题,请参考以下文章

流处理引擎(SPE)中的的分布式一致性语义之Exactly-Once和Effectively-Onece区别

Kafka实现精确一次(exactly once)发送消息的原理

pulsar 中的 exactly once 语义

pulsar 中的 exactly once 语义

pulsar 中的 exactly once 语义

端到端的精确一次保证