kafka消息传递的可靠性分析

r囧r小猫 2023-10-02 18:50 35阅读 0赞

今天分析kafka消息传递的可靠性：

一、kafka可靠性的保证

可靠性时，我们一般会使用保证这个词，它是指确保系统在各种不同的环境下能够发生一致的行为。 ACID 大概是大家最熟悉的一个例子，它是关系型数据库普遍支持的标准可靠性保证。 ACID  指的是原子性、一致性、隔离性和持久性 。如果一个供应商说他们的数据库遵循 ACID  规范，其实就是在说他们的数据库支持与事务相关的行为。 有了这些保证，我们才能相信关系型数据库的事务特性可以确保应用程序的安全。我们知道系统承诺可以做到些什么，也知道在不同条件下它们会

发生怎样的行为。我们了解这些保证机制，井基于这些保证机制开发安全的应用程序。 所以，了解系统的保证机制对于构建可靠的应用程序来说至关重要，这也是能够在不同条件下解释系统行为的前提。那么 Kafka  可以在哪些方面作出保证呢？

•  Kafka  可以保证分区消息的顺序。如果使用同一个生产者往同一个分区写入消息，而且消息  B  在消息  A  之后写入，那么  Kafka  可以保证消息  B  的偏移量比消息 A  的偏移量大，而且消费者会先读取消息  A  再读取消息  B  。

•  只有当消息被写入分区的所有同步副本时（但不一定要写入磁盘），它才被认为是“ 已提交”的。生产者可以选择接收不同类型的确认，比如在消息被完全提交时的确认，或者在消息被写入首领副本时的确认，或者在消息被发送到网络时的确认。

•  只要还有一个副本是活跃的，那么已经提交的消息就不会丢失。消费者只能读取已经提交的消息。

这些基本的保证机制可以用来构建可靠的系统，但仅仅依赖它们是无法保证系统完全可靠的。构建一个可靠的系统需要作出一些权衡，  Kafka  管理员和开发者可以在配置参数上作出权衡，从而得到他们想要达到的可靠性。这种权衡一般是指消息存储的可靠性和一致性的重要程度与可用性、高吞吐量、低延迟和硬件成本的重要程度之间的权衡。

二、kafka复制原理

Kafka  的复制机制和分区的多副本架构是  Kafka  可靠性保证的核心。把消息写入多个副本可以使  Kafka  在发生崩愤时仍能保证消息的持久性。

主要内容：

Kafka  的主题被分为多个分区，分区是基本的数据块。分区存储在单个磁盘上，  Kafka  可以保证分区里的事件是有序的，分区可以在线（可用），也可以离线（不可用） 。每个分区可以有多个副本，其中一个副本是首领。所有的事件都直接发送给首领副本，或者直接从首领副本读取事件。其他副本只需要与首领保持同步，并及时复制最新的事件。当首领副本不可用时，其中一个同步副本将成为新首领。分区首领是同步副本，而对于跟随者副本来说，它需要满足以下条件才能被认为是同步的。

• 与  Zoo keeper  之间有一个活跃的会话，也就是说，它在过去的  6  秒（可配置）内向  Zoo keeper  发送过心跳。

•  在过去的  10s  内（可配置）从首领那里获取过消息。

•  在过去的  10s  内从首领那里获取过最新的消息。光从首领那里获取消息是不够的，它还必须是儿乎零延迟的。

如果跟随者副本不能满足以上任何一点，比如与  Zookeeper  断开连接，或者不再获取新消息，或者获取消息滞后了  10s  以上，那么它就被认为是不同步的。一个不同步的副本通过与 Zookeeper  重新建立连接，井从首领那里获取最新消息，可以重新变成同步的。这个过程在网络出现临时问题井很快得到修复的情况下会很快完成，但如果 broker  发生崩愤就需要较长的时间。

**注意** ：如果一个或多个副本在同步和非同步状态之间快速切换，说明集群内部出现了问题，通常是  Java  不恰当的垃圾回收配置导致的。不恰当的垃圾回收配置会造成几秒钟的停顿，从而让 broker  与  Zoo keeper  之间断开连接，最后变成不同步的，进而发生状态切换。

三、Broker配置对可靠性的影响

1、复制系数

主题级别的配置参数是  replication.factor ，而在  broker  级别则可以通过  default. replication.factor  来配置自动创建的主题。

Kafka  的默认复制系数就是  3 ，不过用户可以修改它。

如果复制系数为  N ，那么在凡  l  个  broker  失效的情况下，仍然能够从主题读取数据或向主题写入数据。所以，更高的复制系数会带来更高的可用性、可靠性和更少的故障。另一方面，复制系数 N  需要至少  N  个  broker  ，而且会有  N  个数据副本，也就是说它们会占用  N  倍的磁盘空间。我们一般会在可用性和存储硬件之间作出权衡。

那么该如何确定一个主题需要几个副本呢？这要看主题的重要程度，以及你愿意付出多少成本来换取可用性。如果因 broker  重启导致的主题不可用是可接受的（这在集群里是很正常的行为），那么把复制系数设为  1  就可以了。在作出这个权衡的时候，要确保这样不会对你的组织和用户造成影响，因为你在节省了硬件成本的同时也降低了可用性。复制系数为 2  意味着可以容忍  1  个  broker  发生失效，看起来已经足够了。不过要记住，有时候 1  个  broker  发生失效会导致集群不稳定（通常是旧版的  Kafka  ），迫使你重启另一个  broker －一集群控制器。也就是说，如果将复制系数设为 2  ，就有可能因为重启等问题导致集群不可用。

基于以上几点原因，在要求可用性的场景里把复制系数设为  3  。在大多数情况下，这已经足够安全了，不过要求更可靠时，可以设为更高，比如我5 个副本，以防不测。

副本的分布也很重要。默认情况下，  Kafka  会确保分区的每个副本被放在不同的  broker  上。不过，有时候这样仍然不够安全。如果这些  broker  处于同一个机架上， 一旦机架的交换机发生故障，分区就会不可用，这时候把复制系数设为多少都不管用。为了避免机架级别的故障，我们建议把 broker  分布在多个不同的机架上。

2、不完全的首领选举

unclean.leader.election  只能在  broker  级别（实际上是在集群范围内）进行配置， 它的默认值是  true 。 当分区首领不可用时， 一个同步副本会被选为新首领。如果在选举过程中没有丢失数据，也就是说提交的数据同时存在于所有的同步副本上，那么这个选举就是“完全”的。

但如果在首领不可用时其他副本都是不同步的，我们该怎么办呢？ 这种情况会在以下两种场景里出现。

•  分区有  3  个副本，其中的两个跟随者副本不可用（比如有两个  broker  发生崩愤）。这个时候，如果生产者继续往首领写入数据，所有消息都会得到确认井被提交（因为此时首领是唯一的同步副本）。现在我们假设首领也不可用了（又一个 broker  发生崩愤），这个时候，如果之前的一个跟随者重新启动，它就成为了分区的唯一不同步副本。

•  分区有  3  个副本，因为网络问题导致两个跟随者副本复制消息滞后，所以尽管它们还在复制消息，但已经不同步了。首领作为唯一的同步副本继续接收消息。这个时候，如果首领变为不可用，另外两个副本就再也无法变成同步的了。

对于这两种场景，我们要作出一个两难的选择。

如果不同步的副本不能被提升为新首领，那么分区在旧首领（最后一个同步副本）恢复之前是不可用的。有时候这种状态会持续数小时（比如更换内存芯片）。

·如果不同步的副本可以被提升为新首领，那么在这个副本变为不同步之后写入旧首领的消息、会全部丢失，导致数据不一致。为什么会这样呢？

假设在副本  0  和副本  1  不可用时，偏移量  100-200  的消息被写入副本  2  （首领）。现在副本  2  变为不可用的，而副本  0  变为可用的。副本  0  只包含偏移量 0 ～  100  的消息，不包含偏移量  100 ～  200  的悄息。如果我们允许副本  0  成为新首领，生产者就可以继续写人数据，消费者可以继续读取数据。于是，新首领就有了偏移量 100  ～ 200  的新消息。这样，部分消费者会读取到偏移量  100  ～ 200  的旧消息，部分消费者会读取到偏移量  100 ～ 200  的新消息，还有部分消费者读取的是二者的混合。这样会导致非常不好的结果，比如生成不准确的报表。另外，副本 2  可能会重新变为可用，并成为新首领的跟随者。这个时候，它会把比当前首领旧的消息全部删除，而这些消息对于所有消费者来说都是不可用的。简而言之，如果我们允许不同步的副本成为首领，那么就要承担丢失数据和出现数据不一致的风险。如果不允许它们成为首领，那么就要接受较低的可用性，因为我们必须等待原先的首领恢复到可用状态。

如果把  unclean.leader.election  设为  true  ，就是允许不同步的副本成为首领（也就是“ 不完全的选举”），那么我们将面临丢失消息的风险。如果把这个参数设为 false , 就要等待原先的首领重新上线，从而降低了可用性。 我们经常看到一些对数据质量和数据一致性要求较高的系统会禁用这种不完全的首领选举（ 把这个参数设为  false  ） 。比如银行系统，大部分银行系统宁愿选择在几分钟甚至几个小时内不处理信用卡支付事务，也不会冒险处理错误的消息。不过在对可用性要求较高的系统里，比如实时点击流分析系统， 一般会启用不完全的首领选举。

3、最少同步副本

在主题级别和  broker  级别上，这个参数都叫  min.insync.replicas 。 我们知道，尽管为一个主题配置了 3  个副本，还是会出现只有一个同步副本的情况（  acks=0  或  1 ）。如果这个同步副本变为不可用，我们必须在可用性和一致性之间作出选择--- 这又是一个两难的选择。根据  Kafka  对可靠性保证的定义，消息只有在被写入到所有同步副本之后才被认为是已提交的。但如果这里的“所有副本”只包含一个同步副本，那么在这个副本变为不可用时，数据就会丢失。 如果要确保已提交的数据被写入不止一个副本，就需要把最少同步副本数量设置为大一点的值。对于一个包含 3  个副本的主题， 如果 min.insync.replicas 被设为  2  ，那么至少要存在两个同步副本才能向分区写入数据。如果 3  个副本都是同步的，或者其中一个副本变为不可用，都不会有什么问题。不过，如果有两个副本变为不可用，那么  broker  就会停止接受生产者的请求。尝试发送数据的生产者会收到 NotEnoughReplicasException  异常。消费者仍然可以继续读取已有的数据。实际上，如果使用这样的配置，那么当只剩下一个同步副本时，它就变成只读了，这是为了避免在发生不完全选举时数据的写入和读取出现非预期的行为。为了从只读状态中恢复，必须让两个不可用分区中的一个重新变为可用的（比如重启 broker  ），并等待它变为同步的。

四、可靠性里的生产者

即使我们尽可能把  broker  配置得很可靠，但如果没有对生产者进行可靠性方面的配置， 整个系统仍然有可能出现突发性的数据丢失。

请看以下两个例子。

为  broker  配置了  3  个副本，井且禁用了不完全首领选举，这样应该可以保证万无一失。我们把生产者发送消息的  acks  设为  1  （只要首领接收到消息就可以认为消息写入成功）。生产者发送一个消息给首领，首领成功写入，但跟随者副本还没有接收到这个消息。首领向生产者发送了一个响应，告诉它“消息写入成功”，然后它崩溃了，而此时消息还没有被其他副本复制过去。另外两个副本此时仍然被认为是同步的（毕竟判断一个副本不同步需要一小段时间），而且其中的一个副本成了新的首领。因为消息还没有被写入这个副本，所以就丢失了，但发送消息的客户端却认为消息已成功写入。因为消费者看不到丢失的消息，所以此时的系统仍然是一致的（因为副本没有收到这个消息，所以消息不算已提交），但从生产者角度来看，它丢失了一个消息。

•  为  broker  配置了  3  个副本，并且禁用了不完全首领选举 。我们接受了之前的教训，  把生产者的  acks  设为  all  。假设现在往  Kafka  发送消息，分区的首领刚好崩愤，新的首领正在选举当中， Kafka  会向生产者返回“首领不可用”的响应。在这个时候，如果生产者没能正确处理这个错误，也没有重试发送消息直到发送成功，那么消息也有可能丢失。这算不上是 broker  的可靠性问题，因为  broker  并没有收到这个消息。这也不是一致性问题，因为消费者并没有读到这个消息。问题在于如果生产者没能正确处理这些错误，弄丢消息的是它们自己。 那么，我们该如何避免这些悲剧性的后果呢？从上面两个例子可以看出，每个使用 Kafk a  的开发人员都要注意两件事情。

1.  根据可靠性需求配置恰当的  acks  值。

2.  在参数配置和代码里正确处理错误。

1、发送确认

生产者可以选择以下  3  种不同的确认模式。

acks=0  意味着如果生产者能够通过网络把消息发送出去，那么就认为消息已成功写入  Kafka  。在这种情况下还是有可能发生错误，比如发送的对象无法被序列化或者网卡发生故障，但如果是分区离线或整个集群长时间不可用，那就不会收到任何错误。即使是在发生完全首领选举的情况下，这种模式仍然会丢失消息，因为在新首领选举过程中它并不知道首领已经不可用了。在 acks=0  模式下的运行速度是非常快的（这就是为什么很多基准测试都是基于这个模式），你可以得到惊人的吞吐量和带宽利用率，不过如果选择了这种模式， 一定会丢失一些消息。

acks=1  意味若首领在收到消息并把它写入到分区数据文件（不一定同步到磁盘上）时会返回确认或错误响应。在这个模式下，如果发生正常的首领选举，生产者会在选举时收到一个 LeadeNotAvailableExcepti.on  异常，如果生产者能恰当地处理这个错误，它会重试发送消息，最终消息会安全到达新的 首领那里。不过在这个模式下仍然有可能丢失数据，比如消息已经成功写入首领，但在消息被复制到跟随者副本之前首领发生崩溃。

acks=all  意味着首领在返回确认或错误响应之前，会等待所有同步副本都收到悄息。 如果和  min.insync.replicas  参数结合起来，就可以决定在返回确认前至少有多少个副本能够收到消息。这是最保险的做法——生产者会一直重试直到消息被成功提交。 不过这也是最慢的做法，生产者在继续发送其他消息之前需要等待所有副本都收到当前的消息。可以通过使用异步模式和更大的批次来加快速度，但这样做通常会降低吞吐量。

2、配置生产者的重试参数

生产者需要处理的错误包括两部分： 一部分是生产者可以自动处理的错误，还有一部分是需要开发者手动处理的错民。

如果  broker  返回的错误可以通过重试来解决，那么生产者会自动处理这些错误。生产者向  broker  发送消息时，  broker  可以返回一个成功响应码或者一个错误响应码。错民响应码可以分为两种， 一种是在重试之后可以解决的，还有一种是无法通过重试解决的。例如，如果 broker  返回的是

LEADER\_NOT\_AVAILABLE  错误，生产者可以尝试重新发送消息。也许在这个时候一个新的首领被选举出来了，那么这次发送就会成功。也就是说，LEADER\_NOT\_AVAILABLE 是一个可重试错误。另一方面，如果 broker  返回的是  INVALID\_CONFIG  错误，即使通过重试也无能改变配置选项，所以这样的重试是没有意义的。这种错误是不可重试错误。

一般情况下，如果你的目标是不丢失任何消息，那么最好让生产者在遇到可重试错误时能够保持重试。为什么要这样？因为像首领选举或网络连接这类问题都可以在几秒钟之内得到解决，如果让生产者保持重试，就不需要额外去处理这些问题了。 那么为生产者配置多少重试次数比较好？这个要看在生产者放弃重试并抛出异常之后想做些什么。如果你想抓住异常并再多重试几次，那么就可以把重试次数设置得多一点， 让生产者继续重试；如果你想直接丢弃消息，多次重试造成的延迟已经失去发送消息的意义；如果你想把消息保存到某个地方然后回过头来再继续处理，那就可以停止重试。Kafka 的跨数据中心复制工具（  MirrorMaker ）默认会进行无限制的重试。作为一个具有高可靠性的复制工具，它决不会丢失消息。要注意，重试发送一个已经失败的消息会带来一些风险，如果两个消息都写入成功，会导致消息重复。例如，生产者因为网络问题没有收到 broker 的确认，但实际上消息已经写入成功，生产者会认为网络出现了临时故障，就重试发送该消息（因为它不知道消息已经写入成功）。在这种情况下，broker会收到两个相同的消息。 重试和恰当的错误处理可以保证每个消息“至少被保存一次”，但无法保证每个消息“只被保存一次”。现实中的很多应用程序在消息里加入唯一标识符，用于检测重复消息，消费者在读取消息时可以对它们进行清理。还要一些应用程序可以做到消息的“幕等”，也就是说，即使出现了重复消息，也不会对处理结果的正确性造成负面影响。

3、额外的错误处理

使用生产者内置的重试机制可以在不造成消息丢失的情况下轻松地处理大部分错误，不过对于开发人员来说，仍然需要处理其他类型的错误，包括：

•  不可重试的  broker  错误，例如消息大小错误、认证错误等  .  在消息发送之前发生的错误，例如序列化错误。

•  在生产者达到重试次数上限时或者在消息占用的内存达到上限时发生的错误。

错误处理器的代码逻辑与具体的应用程序及其目标有关。丢弃“不合理的消息”？把错误记录下来？把这些消息保存在本地磁盘上？具体使用哪一种逻辑要根据具体的架构来决定。如果错误处理只是为了重试发送消息，那么最好还是使用生产者内置的重试机制。

五、可靠性里的消费者

1、可靠性配置

为了保证消费者行为的可靠性，需要注意以下  4  个非常重要的配置参数。

第  1  个是  group.id  。如果两个消费者具有相同的  group.id  ， 并且订阅了同一个主题，那么每个消费者会分到主题分区的一个子集， 也就是说它们只能读到所有消息的一个子集（不过群组会读取主题所有的消息）。如果你希望消费者可以看到主题的所有消息，那么需要为它们设置唯一的 group.id  。

第  2  个是  auto.offset.reset  。 这个参数指定了在没有偏移量可提交时（比如消费者第  1  次启动时）或者请求的偏移量在  broker  上不存在时，消费者会做些什么。这个参数有两种配置。一种是 earliest  ，如果选择了这种配置，消费者会从分区的开始位置读取数据，不管偏移量是否有效，这样会导致消费者读取大量的重复数据，但可以保证最少的数据丢失。一种是 latest ，如果选择了这种配置， 消费者会从分区的末尾开始读取数据，这样可以减少重复处理消息，但很有可能会错过一些消息。

第  3  个是  enable.auto.commit  。 这是一个非常重要的配置参数，你可以让消费者基于任务调度自动提交偏移量，也可以在代码里手动提交偏移量。自动提交的一个最大好处是，在实现消费者逻辑时可以少考虑一些问题。如果你在消费者轮询操作里处理所有的数据，那么自动提交可以保证只提交已经处理过的偏移量。自动提交的主要缺点是，无法控制重复处理消息（比如消费者在自动提交偏移量之前停止处理消息），而且如果把消息交给另外一个后台线程去处理，自动提交机制可能会在消息还没有处理完毕就提交偏移量。

第  4  个配置参数  auto.commit.interval.ms  与第  3  个参数有直接的联系。如果选择了自动提交偏移盘，可以通过该参数配置提交的频度， 默认值是每5 秒钟提交一次。一般来说，频繁提交会增加额外的开销，但也会降低重复处理消息的概率。

2、显示提交偏移量：

如果选择了自动提交偏移量，就不需要关心显式提交的问题。不过如果希望能够更多地控制偏移量提交的时间点，那么就要仔细想想该如何提交偏移量了一一要么是为了减少重复处理消息，要么是因为把消息处理逻辑放在了轮询之外。 在开发具有可靠性的消费者应用程序时需要注意的事项。我们先从简单的开始，再逐步深入。

1）处理完后提交偏移量

如果所有的处理都是在轮询里完成，而且消息处理总是幂等的，或者少量消息丢失无关紧要， 那么可以使用自动提交，或者在轮询结束时进行手动提交。

2）提交频率是性能和重复消费数量之间的权衡

即使是在最简单的场景里，比如所有的处理都在轮询里完成，并且不需要在轮询之间维护状态，你仍然可以在一个循环里多次提交偏移量（甚至可以在每处理完一个事件之后），或者多个循环里只提交一次，这完全取决于你在性能和重复处理消息之间作出的权衡。

3）确保知道提交的偏移量

在轮询过程中提交偏移量有一个不好的地方，就是提交的偏移量有可能是读取到的最新偏移量，而不是处理过的最新偏移量。要记住，在处理完消息后再提交偏移量是非常关键的，否则会导致消费者错过消息。

4）再均衡

在设计应用程序时要注意处理消费者的再均衡问题。一般要在分区被撤销之前提交偏移量，井在分配到新分区时清理之前的状态。

5）消费者可能需要重试

有时候，在进行轮询之后，有些消息不会被完全处理，可能稍后再来处理。例如，假设要把  Kafka  的数据写到数据库里，不过那个时候数据库不可用，于是你想稍后重试。要注意，你提交的是偏移量，而不是对消息的“确认”，这个与传统的发布和订阅消息系统不太一样。如果记录的\#30  处理失

败，但记录的 \#31  处理成功，那么你不应该提交 \#31 ， 否则会导致的 \#31  以内的偏移量都被提交，包括的 \#30  在内。不过可以采用下面这种模式来解决这个问题。

在遇到可重试错误时，把错误写入一个独立的主题，然后继续。一个独立的消费者群组负责从该主题上读取错误消息，并进行重试，或者使用其中

的一个消费者同时从该主题上读取错误消息并进行重试，不过在重试时需要暂停该主题。这种模式有点像其他消息系统里的死信队列 。

6）消费者可能需要维护状态

有时候你希望在多个轮询之间维护状态，例如，你想计算消息的移动平均数，希望在首次轮询之后计算平均数，然后在后续的轮询中更新这个结果。 如果进程重启，你不仅需要从上一个偏移量开始处理数据，还要恢复移动平均数。有一种办法是在提交偏移量的同时把最近计算的平均数写到一个“结果”主题上。消费者线程在重新启动之后，它就可以拿到最近的平均数并接着计算。不过这并不能完全地解决问题，因为 Kafka  并没有提供事务支持。消费者有可能在写入平均数之后来不及提交偏移量就崩溃了，或者反过来也一样。这是一个很复杂的问题，你不应该尝试自己去解决这个问题，建议尝试一下 Kafka  流计算，它为聚合、连接、时间窗和其他复杂的分析提供了高级的  API 。

7）长时间处理

有时候处理数据需要很长时间：你可能会从发生阻塞的外部系统获取信息，或者把数据写到外部系统，或者进行一个非常复杂的计算，但是我们要 尽量保持轮询。在这种情况下，  一种常见的做法是使用一个线程地来处理数据，因为使用多个线程可以进行并行处理，从而加快处理速度。在把数据移交给线程地去处理之后，你就可以暂停消费者，然后保持轮询，但不获取新数据，直到工作线程处理完成 。在工作线程处理完成之后，可以让消费者继续获取新数据。

8）仅一次传递

有些应用程序不仅仅需要“至少一次”（意味着没有数据丢失），还需要“仅一次”语义。 Kafka  现在还不能完全支持仅一次语义，消费者还是有一些办法可以保证 Kafka  里的每个消息只被写到外部系统一次（但不会处理向  Kafka  写入数据时可能出现的重复数据）。实现仅一次处理最简单且最常用的办能是把结果写到一个支持唯一键的系统里，比如键值存储引擎、关系型数据库、ElasticSearch  或其他数据存储引擎。在这种情况下，要么消息本身包含一个唯一键（通常都是这样），要么使用主题、分区和偏移量的组合来创建唯一键一一－它们的组合可以唯一标识一个 Kafka  记录。如果你把消息和一个唯一键写入系统，然后碰巧又读到一个相同的消息，只要把原先的键值覆盖掉即可。数据存储引擎会覆盖已经存在的键值对，就像没有出现过重复数据一样。这个模式被叫作幂等性写入，它是一种很常见也很有用的模式。

如果写入消息的系统支持事务， 那么就可以使用另一种方法。最简单的是使用关系型数据库。我们把消息和偏移量放在同一个事务里 ， 这样它们就 能保持同步。在消费者启动时，它会获取最近处理过的消息偏移量，然后调用 seek  （）方也从该偏移量位置继续读取数据。

到此，kafka消息传递的可靠性分析完成。