Kafka——可靠的数据传递

痛定思痛。 2023-10-14 15:39 62阅读 0赞

#### 目录 ####

*   *  1、可靠的保证
     *  2、复制
     *  3、broker配置
     *   *  3.1、复制系数
         *  3.2、不完全的首领选举
         *  3.3、最少同步副本
     *  4、在可靠的系统里使用生产者
     *   *  4.1、发送确认
         *  4.2、配置生产者的重试参数
         *  4.3、额外的错误处理
     *  5、在可靠的系统里使用消费者
     *   *  5.1、消费者的可靠性配置
         *  5.2、显示提交偏移量
     *  6、验证系统可靠性

### 1、可靠的保证 ###

Kafka 作出的保证：

*  Kafka 可以保证分区消息的顺序。如果使用同一个生产者往同一个分区写入消息，而且 消息 B 在消息 A 之后写入，那么 Kafka 可以保证消息 B 的偏移量比消息 A 的偏移量大， 而且消费者会先读取消息 A 再读取消息 B。
 *  只有当消息被写入分区的所有同步副本时(但不一定要写入磁盘)，它才被认为是“已 提交”的。生产者可以选择接收不同类型的确认，比如在消息被完全提交时的确认，或 者在消息被写入首领副本时的确认，或者在消息被发送到网络时的确认。
 *  只要还有一个副本是活跃的，那么已经提交的消息就不会丢失。
 *  消费者只能读取已经提交的消息。

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

### 2、复制 ###

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

分区首领是同步副本，而对于跟随者副本来说，它需要满足以下条件才能被认为是同步的。

*  与 Zookeeper 之间有一个活跃的会话，也就是说，它在过去的 6s(可配置)内向 Zookeeper 发送过心跳。
 *  在过去的 10s 内(可配置)从首领那里获取过消息。
 *  在过去的 10s 内从首领那里获取过最新的消息。光从首领那里获取消息是不够的，它还必须是几乎零延迟的。

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

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

一个滞后的同步副本会导致生产者和消费者变慢，因为在消息被认为已提交之前，客户端 会等待所有同步副本接收消息。而如果一个副本不再同步了，我们就不再关心它是否已经 收到消息。虽然非同步副本同样滞后，但它并不会对性能产生任何影响。但是，更少的同 步副本意味着更低的有效复制系数，在发生宕机时丢失数据的风险更大。

### 3、broker配置 ###

broker 有 3 个配置参数会影响 Kafka 消息存储的可靠性。与其他配置参数一样，它们可以 应用在 broker 级别，用于控制所有主题的行为，也可以应用在主题级别，用于控制个别主 题的行为。

#### 3.1、复制系数 ####

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

Kafka 的默认复制系数就是 3——不过用户 可以修改它。即使是在主题创建之后，也可以通过新增或移除副本来改变复制系数。如果复制系数为 N，那么在 N-1 个 broker 失效的情况下，仍然能够从主题读取数据或向主 题写入数据。所以，更高的复制系数会带来更高的可用性、可靠性和更少的故障。另一方 面，复制系数 N 需要至少 N 个 broker，而且会有 N 个数据副本，也就是说它们会占用 N倍的磁盘空间。我们一般会在可用性和存储硬件之间作出权衡。

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

#### 3.3、最少同步副本 ####

在主题级别和 broker 级别上，这个参数都叫 `min.insync.replicas`。

我们知道，尽管为一个主题配置了 3 个副本，还是会出现只有一个同步副本的情况。如果 这个同步副本变为不可用，我们必须在可用性和一致性之间作出选择——这是一个两难的 选择。根据 Kafka 对可靠性保证的定义，消息只有在被写入到所有同步副本之后才被认为 是已提交的。但如果这里的“所有副本”只包含一个同步副本，那么在这个副本变为不可 用时，数据就会丢失。

如果要确保已提交的数据被写入不止一个副本，就需要把最少同步副本数量设置为大一点 的值。对于一个包含 3 个副本的主题，如果 min.insync.replicas 被设为 2，那么至少要存 在两个同步副本才能向分区写入数据。

如果 3 个副本都是同步的，或者其中一个副本变为不可用，都不会有什么问题。不过，如 果有两个副本变为不可用，那么 broker 就会停止接受生产者的请求。尝试发送数据的生产 者会收到 NotEnoughReplicasException 异常。消费者仍然可以继续读取已有的数据。实际 上，如果使用这样的配置，那么当只剩下一个同步副本时，它就变成只读了，这是为了避 免在发生不完全选举时数据的写入和读取出现非预期的行为。为了从只读状态中恢复，必须让两个不可用分区中的一个重新变为可用的(比如重启broker)，并等待它变为同步的。

### 4、在可靠的系统里使用生产者 ###

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

*  为 broker 配置了 3 个副本，并且禁用了不完全首领选举，这样应该可以保证万无一失。 我们把生产者发送消息的 acks 设为 1(只要首领接收到消息就可以认为消息写入成功)。 生产者发送一个消息给首领，首领成功写入，但跟随者副本还没有接收到这个消息。首 领向生产者发送了一个响应，告诉它“消息写入成功”，然后它崩溃了，而此时消息还 没有被其他副本复制过去。另外两个副本此时仍然被认为是同步的(毕竟判定一个副本 不同步需要一小段时间)，而且其中的一个副本成了新的首领。因为消息还没有被写入 这个副本，所以就丢失了，但发送消息的客户端却认为消息已成功写入。因为消费者看 不到丢失的消息，所以此时的系统仍然是一致的(因为副本没有收到这个消息，所以消 息不算已提交)，但从生产者角度来看，它丢失了一个消息。
 *  为 broker 配置了 3 个副本，并且禁用了不完全首领选举。我们接受了之前的教训，把 生产者的 acks 设为 all。假设现在往 Kafka 发送消息，分区的首领刚好崩溃，新的首领 正在选举当中，Kafka 会向生产者返回“首领不可用”的响应。在这个时候，如果生产 者没能正确处理这个错误，也没有重试发送消息直到发送成功，那么消息也有可能丢失。 这算不上是 broker 的可靠性问题，因为 broker 并没有收到这个消息。这也不是一致性 问题，因为消费者并没有读到这个消息。问题在于如果生产者没能正确处理这些错误， 弄丢消息的是它们自己。

从上面两个例子可以看出，每个使用 Kafka 的开发人员都要注意两件事情。

1.  根据可靠性需求配置恰当的 acks 值。
2.  在参数配置和代码里正确处理错误。

#### 4.1、发送确认 ####

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

*  acks=0 意味着如果生产者能够通过网络把消息发送出去，那么就认为消息已成功写入 Kafka。在这种情况下还是有可能发生错误，比如发送的对象无法被序列化或者网卡发 生故障，但如果是分区离线或整个集群长时间不可用，那就不会收到任何错误。即使是 在发生完全首领选举的情况下，这种模式仍然会丢失消息，因为在新首领选举过程中它 并不知道首领已经不可用了。在 acks=0 模式下的运行速度是非常快的(这就是为什么 很多基准测试都是基于这个模式)，你可以得到惊人的吞吐量和带宽利用率，不过如果 选择了这种模式，一定会丢失一些消息。
 *  acks=1 意味着首领在收到消息并把它写入到分区数据文件(不一定同步到磁盘上)时 会返回确认或错误响应。在这个模式下，如果发生正常的首领选举，生产者会在选举时 收到一个 LeaderNotAvailableException 异常，如果生产者能恰当地处理这个错误(参 考 6.4.2 节)，它会重试发送消息，最终消息会安全到达新的首领那里。不过在这个模式 下仍然有可能丢失数据，比如消息已经成功写入首领，但在消息被复制到跟随者副本之 前首领发生崩溃。
 *  acks=all 意味着首领在返回确认或错误响应之前，会等待所有同步副本都收到消息。如 果和 min.insync.replicas 参数结合起来，就可以决定在返回确认前至少有多少个副本 能够收到消息。这是最保险的做法——生产者会一直重试直到消息被成功提交。不过这 也是最慢的做法，生产者在继续发送其他消息之前需要等待所有副本都收到当前的消息。 可以通过使用异步模式和更大的批次来加快速度，但这样做通常会降低吞吐量。

#### 4.2、配置生产者的重试参数 ####

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

如果 broker 返回的错误可以通过重试来解决，那么生产者会自动处理这些错误。生产者向 broker 发送消息时，broker 可以返回一个成功响应码或者一个错误响应码。错误响应码可以 分为两种，一种是在重试之后可以解决的，还有一种是无法通过重试解决的。例如，如果 broker 返回的是 LEADER\_NOT\_AVAILABLE 错误，生产者可以尝试重新发送消息。也许在这个时 候一个新的首领被选举出来了，那么这次发送就会成功。也就是说，LEADER\_NOT\_AVAILABLE 是一个可重试错误。另一方面，如果 broker 返回的是 INVALID\_CONFIG 错误，即使通过重试 也无法改变配置选项，所以这样的重试是没有意义的。这种错误是不可重试错误。

一般情况下，如果你的目标是不丢失任何消息，那么最好让生产者在遇到可重试错误时 能够保持重试。

#### 4.3、额外的错误处理 ####

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

*  不可重试的 broker 错误，例如消息大小错误、认证错误等;
 *  在消息发送之前发生的错误，例如序列化错误;
 *  在生产者达到重试次数上限时或者在消息占用的内存达到上限时发生的错误。

### 5、在可靠的系统里使用消费者 ###

只有那些被提交到 Kafka 的数据，也就是那些已经被写入所 有同步副本的数据，对消费者是可用的，这意味着消费者得到的消息已经具备了一致性。 消费者唯一要做的是跟踪哪些消息是已经读取过的，哪些是还没有读取过的。这是在读取 消息时不丢失消息的关键。

在从分区读取数据时，消费者会获取一批事件，检查这批事件里最大的偏移量，然后从这 个偏移量开始读取另外一批事件。这样可以保证消费者总能以正确的顺序获取新数据，不 会错过任何事件。

如果一个消费者退出，另一个消费者需要知道从什么地方开始继续处理，它需要知道前一个 消费者在退出前处理的最后一个偏移量是多少。所谓的“另一个”消费者，也可能就是它自 己重启之后重新回来工作。这也就是为什么消费者要“提交”它们的偏移量。它们把当前读 取的偏移量保存起来，在退出之后，同一个群组里的其他消费者就可以接手它们的工作。如 果消费者提交了偏移量却未能处理完消息，那么就有可能造成消息丢失，这也是消费者丢失 消息的主要原因。在这种情况下，如果其他消费者接手了工作，那些没有被处理完的消息就 会被忽略，永远得不到处理。这就是为什么我们非常重视偏移量提交的时间点和提交的方式。

#### 5.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 秒钟提交一次。一般来说，频 繁提交会增加额外的开销，但也会降低重复处理消息的概率。

#### 5.2、显示提交偏移量 ####

1.  总是在处理完事件后再提交偏移量  
    如果所有的处理都是在轮询里完成，并且不需要在轮询之间维护状态(比如为了实现聚合 操作)，那么可以使用自动提交，或者在轮询结束时进行手动提交。
2.  提交频度是性能和重复消息数量之间的权衡  
    即使是在最简单的场景里，比如所有的处理都在轮询里完成，并且不需要在轮询之间维护 状态，你仍然可以在一个循环里多次提交偏移量(甚至可以在每处理完一个事件之后)， 或者多个循环里只提交一次(与生产者的 acks=all 配置有点类似)，这完全取决于你在性 能和重复处理消息之间作出的权衡。
3.  确保对提交的偏移量心里有数  
    在轮询过程中提交偏移量有一个不好的地方，就是提交的偏移量有可能是读取到的最新偏 移量，而不是处理过的最新偏移量。要记住，在处理完消息后再提交偏移量是非常关键 的——否则会导致消费者错过消息。
4.  再均衡  
    在设计应用程序时要注意处理消费者的再均衡问题。一般要在分区被撤销之前提交偏移量，并在分配到新分区时清理之前的状态。
5.  消费者可能需要重试  
    有时候，在进行轮询之后，有些消息不会被完全处理，你想稍后再来处理。例如，假设 要把 Kafka 的数据写到数据库里，不过那个时候数据库不可用，于是你想稍后重试。要注 意，你提交的是偏移量，而不是对消息的“确认”，这个与传统的发布和订阅消息系统不 太一样。如果记录 \#30 处理失败，但记录 \#31 处理成功，那么你不应该提交 \#31，否则会 导致 \#31 以内的偏移量都被提交，包括 \#30 在内，而这可能不是你想看到的结果。不过可 以采用以下两种模式来解决这个问题。
    
     *  第一种模式，在遇到可重试错误时，提交最后一个处理成功的偏移量，然后把还没有处理 好的消息保存到缓冲区里(这样下一个轮询就不会把它们覆盖掉)，调用消费者的 pause() 方法来确保其他的轮询不会返回数据(不需要担心在重试时缓冲区溢出)，在保持轮询的 同时尝试重新处理。如果重试成功，或者重 试次数达到上限并决定放弃，那么把错误记录下来并丢弃消息，然后调用 resume() 方法让 消费者继续从轮询里获取新数据。
     *  第二种模式，在遇到可重试错误时，把错误写入一个独立的主题，然后继续。一个独立的 消费者群组负责从该主题上读取错误消息，并进行重试，或者使用其中的一个消费者同时 从该主题上读取错误消息并进行重试，不过在重试时需要暂停该主题。这种模式有点像其 他消息系统里的 dead-letter-queue。
6.  消费者可能需要维护状态  
    有时候你希望在多个轮询之间维护状态，例如，你想计算消息的移动平均数，希望在首次 轮询之后计算平均数，然后在后续的轮询中更新这个结果。如果进程重启，你不仅需要从 上一个偏移量开始处理数据，还要恢复移动平均数。有一种办法是在提交偏移量的同时把 最近计算的平均数写到一个“结果”主题上。消费者线程在重新启动之后，它就可以拿到 最近的平均数并接着计算。不过这并不能完全地解决问题，因为 Kafka 并没有提供事务支 持。
7.  长时间处理  
    有时候处理数据需要很长时间:你可能会从发生阻塞的外部系统获取信息，或者把数据 写到外部系统，或者进行一个非常复杂的计算。要记住，暂停轮询的时间不能超过几秒 钟。即使不想获取更多的数据，也要保持轮询，这样客户端才能往 broker 发送心跳。在 这种情况下，一种常见的做法是使用一个线程池来处理数据，因为使用多个线程可以进 行并行处理，从而加快处理速度。在把数据移交给线程池去处理之后，你就可以暂停消 费者，然后保持轮询，但不获取新数据，直到工作线程处理完成。在工作线程处理完成 之后，可以让消费者继续获取新数据。因为消费者一直保持轮询，心跳会正常发送，就 不会发生再均衡。
8.  仅一次传递  
    有些应用程序不仅仅需要“至少一次”(at-least-once)语义(意味着没有数据丢失)，还 需要“仅一次”(exactly-once)语义。尽管 Kafka 现在还不能完全支持仅一次语义，消费 者还是有一些办法可以保证 Kafka 里的每个消息只被写到外部系统一次(但不会处理向 Kafka 写入数据时可能出现的重复数据)。  
    实现仅一次处理最简单且最常用的办法是把结果写到一个支持唯一键的系统里，比如键值 存储引擎、关系型数据库、ElasticSearch 或其他数据存储引擎。在这种情况下，要么消息 本身包含一个唯一键(通常都是这样)，要么使用主题、分区和偏移量的组合来创建唯一 键——它们的组合可以唯一标识一个 Kafka 记录。如果你把消息和一个唯一键写入系统， 然后碰巧又读到一个相同的消息，只要把原先的键值覆盖掉即可。数据存储引擎会覆盖已 经存在的键值对，就像没有出现过重复数据一样。这个模式被叫作幂等性写入，它是一种 很常见也很有用的模式。  
    如果写入消息的系统支持事务，那么就可以使用另一种方法。最简单的是使用关系型数据 库，不过 HDFS 里有一些被重新定义过的原子操作也经常用来达到相同的目的。我们把消 息和偏移量放在同一个事务里，这样它们就能保持同步。在消费者启动时，它会获取最近 处理过的消息偏移量，然后调用 seek() 方法从该偏移量位置继续读取数据。

### 6、验证系统可靠性 ###

Kafka 提供了两个重要的工具用于验证配置:org.apache.kafka.tools 包里的 `Verifiable Producer` 和 `VerifiableConsumer` 这两个类。我们可以从命令行运行这两个类，或者把它们 嵌入到自动化测试框架里。

其思想是，VerifiableProducer 生成一系列消息，这些消息包含从 1 到你指定的某个数 字。你可以使用与生产者相同的方式来配置 VerifiableProducer，比如配置相同的 acks、 重试次数和消息生成速度。在运行 VerifiableProducer 时，它会把每个消息是否成功发送 到 broker 的结果打印出来。VerifiableConsumer 执行的是另一个检查——它读取事件(由 VerifiableProducer 生成)并按顺序打印出这些事件。它也会打印出已提交的偏移量和再 均衡的相关信息。