做消息队列这块也有七八年了,从最早在业务系统里写简单的同步调用被压垮,到后来用消息队列扛住几次大促流量,中间踩过的坑不少。我发现在很多团队里,消息队列被当成一个"装上就能用"的组件,出了问题才回头研究原理,这其实是本末倒置。这篇东西我不打算写成一本文档,而是把自己学习、使用消息队列的真实过程梳理出来——从三大作用怎么落地,到选型怎么权衡,再到重复消费、消息堆积这些问题到底怎么产生的、怎么排查,全部讲透。无论你是刚接触消息队列的新人,还是已经上了生产环境但被各种诡异问题困扰的开发者,这篇都值得花十几分钟看完。
1. 消息队列到底是干什么的:三大作用必须吃透
1.1 异步:把串行等待变成并行处理
我见过太多团队把消息队列当成"发个通知"的工具,其实异步化才是它最基础、最直观的价值。举个电商下单的例子:用户在前端点了一下"提交订单",后端服务要做的事包括扣库存、生成订单、发优惠券、发短信、更新用户积分。如果这些操作全部是同步串行的,一个请求的响应时间就是所有操作耗时的总和。发短信这种事儿,调用第三方网关通常要几百毫秒到一秒,用户为了一条营销短信在页面上多等一秒,这体验就很糟糕了。
消息队列做的事情,就是把"必须立即返回结果"的操作和"不着急马上完成"的操作拆开。下单核心链路只保留最必要的逻辑,剩下的发短信、加积分、发优惠券全部丢进消息队列,由消费者异步处理。我之前的团队做过一次技术改造,把下单链路中三个非核心操作全部改成异步,接口响应时间从平均 850ms 降到了 120ms 左右,体感差别非常明显。这就是异步化的价值:它不会让单个操作更快,但能让用户感知不到那些慢操作的存在。
不过异步化需要付出的代价是系统复杂度提升。原来一个请求从进入服务到返回结果,链路是清晰的、可追踪的;引入消息队列之后,消息什么时候被消费、有没有消费成功、消费失败怎么处理,这些都需要额外的机制来保证。很多团队在引入异步之后出现"下单成功但短信没收到""积分没加上"这类问题,本质上就是对异步化之后的一致性边界没有想清楚。我后面会详细讲这个问题。
1.2 削峰:给系统装一个缓冲水池
削峰是我认为消息队列最有技术含量、也最能体现价值的作用。想象一个场景:某个抢购活动在 0 点开始,前 10 秒钟内涌入的请求量是平时的 100 倍。如果所有请求直接打到数据库,数据库基本瞬间就挂了。消息队列在这里起到的作用,就像一个蓄水池——前端请求先把"我要抢购"这个消息放到队列里,然后立刻给用户返回"排队中",后端的库存扣减服务按照自己处理能力的上限,一点一点地从队列里取消息处理。
这里有一个很关键的设计思路:削峰不是为了把请求变少,而是把"瞬间的流量尖峰"平滑成"持续一段时间的中低流量"。我在做活动系统的时候算过一笔账:一个下单服务每秒能处理 2000 个请求,而活动开启瞬间的请求量是每秒 20000,持续 30 秒。如果不加任何保护,服务会在第 1 秒就被打垮;但是加上一个消息队列做缓冲,消费者维持每秒 2000 的处理速度,那 600000 个请求只需要 5 分钟就能消费完。秒杀活动本来就是离散的抢购行为,用户完全能接受"稍等片刻出结果"。
削峰设计中有个容易忽略的点:队列的消费速度决定了系统整体的处理能力,所以消费端的水平扩容能力非常重要。Kafka 这类消息队列支持消费者组内动态增减消费者实例来提升消费速度,这就是它在削峰场景中比 RabbitMQ 更受欢迎的原因之一。另外,削峰只是把压力后移了,系统最终还是要处理完这些积压的消息,所以容量规划时要算清楚"峰值消息总量 × 单条消息平均处理耗时"这个积压窗口,别只盯着瞬间的 QPS。
1.3 解耦:让上下游各自独立演化
解耦这个作用最容易被忽略,但长期来看收益最大。在没有消息队列的架构里,下单业务如果要通知库存系统扣库存、通知积分系统加积分、通知推荐系统记录用户行为,订单服务就得依赖这些系统的接口。每接入一个新下游或者下游系统改动一个接口,上游代码就要跟着改,耦合越积越深。
引入消息队列之后,下单服务只需要说一句话:"订单创建成功了",然后把这个消息发到 Topic 里。至于谁关心这个消息、谁订阅这个 Topic,订单服务完全不需要知道。今天有 3 个下游订阅,明天新增了第 4 个,订单服务的代码一行都不用动。这种模式在微服务架构里面特别有用,服务之间通过事件交互,而不是通过接口强绑定。
解耦的价值在出现故障时体现得最明显。没有消息队列的时候,如果下游系统挂了,上游调接口超时,同步链路会直接拖垮上游。有了消息队列,上游发完消息就完事了,下游自己慢慢消费,下游短暂不可用也不会影响上游核心链路。我在实际工作中遇到过不止一次:下游服务出了故障重启了十分钟,用消息队列做通信的服务完全感知不到,各自修各自的,这就是解耦的力量。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 消息队列的核心模型与选型,别把 RabbitMQ 和 Kafka 混为一谈
2.1 五个核心概念:生产者、消费者、Broker、Topic、分区
要真正用好消息队列,必须先把它的核心模型想清楚。不管用哪种具体产品,消息队列的基本抽象都是相通的:生产者负责发送消息,消费者负责处理消息,Broker 是消息队列本身,负责存储和转发消息。Topic 是消息的分类,等价于"某类消息的容器",生产者和消费者不直接关联,而是通过 Topic 建立间接关系。
Kafka 这类消息队列在 Topic 下面还多了一层"分区"的概念。分区是并行度的基本单位:一个 Topic 被拆成多个分区,每个分区里的消息是有序的,分区之间是无序的;消费者拉取消息时,一个分区在同一时刻只会被同一个消费者组里的一个消费者实例消费。理解分区这个概念是理解 Kafka 并行模型的关键——如果你想提升消费速度,加消费者实例是不够的,还得看 Topic 的分区数是否足够;分区数决定了消费并行度的上限。
Broker 和 Topic 的关系很多人也会搞混。一个 Broker 是消息队列集群的一个节点,一个 Topic 的消息会分布到多个 Broker 上,每个分区在多个 Broker 上有副本。写消息的时候是写到 Leader 分区,然后同步给 Follower 副本。这套机制保证了数据的可用性,但也正是"数据同步"这个环节,衍生出了后面要讲的重复消费、消息丢失等问题的各种变体。
2.2 主流消息队列怎么选:RabbitMQ、Kafka、RocketMQ
选型问题几乎每周都有人问我,其实没有完美的消息队列,只有最合适的场景。RabbitMQ 是基于 Erlang 开发的,支持复杂的路由规则,比如直连、主题、通配符匹配,它的消息确认机制做得非常精细,适合业务系统内部的消息传递和任务分发。但它底层是基于队列的,吞吐量相对有限,单机大概在万级每秒的水平,在超高吞吐场景下会显得吃力。
Kafka 是为日志采集和流式计算设计的,顺序写盘、零拷贝、批量拉取这些机制让它单机吞吐量能达到十万级甚至百万级每秒。但 Kafka 的分区模型决定了它的"广播"能力弱于 RabbitMQ——同一个消费者组的多个消费者实例只能瓜分不同分区的消息,同一个分区的消息只能被组内一个消费者处理。要在 Kafka 里实现"一条消息被多个消费者都消费一遍",需要创建不同的消费者组,这跟 RabbitMQ 的每个消费者都收到消息的模式不一样。
RocketMQ 是阿里开源的消息队列,设计上介于两者之间:既有消息队列的高可用和事务消息支持,也能支撑较高的吞吐量。如果团队技术栈是 Java 为主,且业务涉及分布式事务、顺序消息等复杂场景,RocketMQ 是一个很均衡的选择。我个人的习惯判断是:搞数据管道、日志收集、实时计算,选 Kafka;业务系统内部的事件通知、任务异步、需要灵活路由的,选 RabbitMQ;对消息可靠性要求高、又不想自己搞太多运维的 Java 团队,优先考虑 RocketMQ 的托管版本。
2.3 几个经常被忽略的机制:ACK、offset、持久化
掌握了基本概念,下一步要理解消息队列运行的核心机制。ACK(确认机制)是消费者告诉 Broker"这条消息我处理完了"的信号。以 RabbitMQ 为例,消费者收到消息后处理完业务逻辑,需要显式地调用 basicAck 告诉 Broker 可以删除这条消息了;如果消费者在处理过程中抛了异常,可以选择 basicNack 让消息重新入队,或者 basicReject 直接丢弃。
Kafka 里对应的是 offset 机制。Kafka 的消费者从分区拉取消息时,会记录当前消费到哪一条了,这个位置就是 offset。消费者处理完一批消息之后提交 offset,Broker 才知道"这批消息已经消费过了"。这里最关键的坑在于:如果消费者处理完消息之后、提交 offset 之前挂了,重启之后 Kafka 会根据提交过的 offset 重新分配消费位置,那批消息就会被再次消费。这就是消息队列"至少一次"语义的由来——不丢消息,但可能重复。后面我会专门讲怎么从业务层面解决重复消费问题,现在你只需要记住这个机制。
持久化机制决定了消息队列在宕机之后能不能保住数据。RabbitMQ 需要显式地把队列和消息都标记为持久化,才能保证 Broker 重启后消息不丢;Kafka 天生就把所有消息落盘,并且通过多副本机制保证高可用。生产环境里这两者的配置思路很不一样:用 RabbitMQ 要反复检查队列的 durable 属性和消息的 deliveryMode,漏了任何一个,Broker 一重启就是一场数据灾难;Kafka 则要重点关注副本同步配置和 acks 设置,这些参数直接决定了消息写入时"到底等几个副本确认才算成功"。
3. 从零跑通一个消息队列:Kafka 本地部署与生产消费实操
3.1 环境准备与集群启动
理论讲了这么多,现在动手把环境跑起来。我用 Kafka 来做实操演示,因为它部署起来简单,而且它暴露的配置项非常多,非常适合学习消息队列的运行机制。首先去 Kafka 官网下载最新的二进制包,注意选带 Scala 版本标识的那个,比如 kafka_2.13-3.6.0,这个不用纠结,直接下载就行。下载完解压之后,目录结构是这样的:bin 目录下是各种启动和管理脚本,config 目录下是各种配置文件,其中 server.properties 是 Broker 的核心配置。
需要说明的是,现在的 Kafka 已经内置了 KRaft 模式(Kafka Raft Metadata mode),不需要再单独装 ZooKeeper 了。如果你是第一次学习,直接使用 KRaft 模式的单机部署就好。先格式化存储目录,运行脚本生成 cluster id:
bash复制KAFKA_CLUSTER_ID="$(bin/kafka-storage.sh random-uuid)"
bin/kafka-storage.sh format -t $KAFKA_CLUSTER_ID -c config/kraft/server.properties
然后启动 Kafka:
bash复制bin/kafka-server-start.sh config/kraft/server.properties
启动成功后终端会显示"Kafka Server started"这样的日志。这个过程中最容易出问题的就是存储目录权限和配置文件里的监听地址,如果启动失败,优先检查这两项。监听地址要特别注意,如果配置的是 localhost,那 Java 客户端代码里就不能用宿主机 IP 去连接。
3.2 创建 Topic 并完成生产消费
Broker 启动之后,第一步是创建一个测试用的 Topic。我习惯把分区数设置成 3,这样可以看到消费者并行消费的效果:
bash复制bin/kafka-topics.sh --create --topic order-events \
--partitions 3 --replication-factor 1 \
--bootstrap-server localhost:9092
这个命令里有两个参数很值得解释。partitions 设为 3,意味着这个 Topic 的消息会被分散到 3 个分区里,后续最多支持 3 个消费者并行消费;replication-factor 在单节点上只能设为 1,因为副本要分布在不同的 Broker 上,没有多个 Broker 就谈不上副本。如果是在生产环境的多节点集群里,这个值至少要设为 2 甚至 3,保证某个节点宕机时消息不丢。
创建完 Topic,先启动一个控制台消费者,再打开另一个终端启动控制台生产者。生产者在终端里输入一行文字回车,消费者那边几乎同时就能看到消息:
bash复制# 终端 A:启动消费者
bin/kafka-console-consumer.sh --topic order-events \
--from-beginning \
--bootstrap-server localhost:9092
# 终端 B:启动生产者
bin/kafka-console-producer.sh --topic order-events \
--bootstrap-server localhost:9092
注意:--from-beginning 参数表示从头开始消费这个 Topic 的所有历史消息。如果你只想消费新产生的消息,去掉这个参数就行。这个参数在生产环境不会随便加,因为它可能导致消费者一启动就消费巨量历史数据。
3.3 Java 客户端接入的基本姿势
命令行工具只能用来验证环境,真实业务系统里还是要用客户端 SDK。以 Java 为例,先引入依赖,然后写一个最简单的生产者:
xml复制<dependency>
<groupId>org.apache.kafka</groupId>
<artifactId>kafka-clients</artifactId>
<version>3.6.0</version>
</dependency>
生产者代码的核心配置有三个:bootstrap.servers 是 Broker 地址列表,key.serializer 和 value.serializer 是消息的序列化方式。发送消息有两种方式:同步发送会阻塞等待 broker 响应,适合对发送结果敏感的场景;异步发送通过回调函数处理结果,吞吐量更高,但需要自己在回调里处理发送失败的情况。
消费者端的代码更值得仔细研磨。消费者要设置 group.id(消费者组标识),同一个组内的多个消费者实例会分摊分区的消费任务。下面是一个带手动提交 offset 的消费者核心代码:
java复制Properties props = new Properties();
props.put("bootstrap.servers", "localhost:9092");
props.put("group.id", "order-consumer-group");
props.put("key.deserializer", "org.apache.kafka.common.serialization.StringDeserializer");
props.put("value.deserializer", "org.apache.kafka.common.serialization.StringDeserializer");
props.put("enable.auto.commit", "false");
KafkaConsumer<String, String> consumer = new KafkaConsumer<>(props);
consumer.subscribe(Arrays.asList("order-events"));
while (true) {
ConsumerRecords<String, String> records = consumer.poll(Duration.ofMillis(100));
for (ConsumerRecord<String, String> record : records) {
// 处理业务逻辑
System.out.printf("offset = %d, key = %s, value = %s%n",
record.offset(), record.key(), record.value());
}
// 手动提交 offset,确保消息处理完成后再提交
consumer.commitSync();
}
enable.auto.commit 这个参数在生产环境我强烈建议设为 false 并手动提交。自动提交虽然省事,但它的提交时机是"拉取消息之后、处理消息之前"还是"处理完之后",不同版本语义有细微差别,一旦消费者在处理消息过程中崩溃,极容易造成大量消息重复消费。手动提交把"处理完成"和"提交 offset"绑定在一起,虽然代码多两行,但心里踏实。
4. 重复消费问题深度剖析:原因、排查与根治
4.1 重复消费是怎么产生的:网络超时重试加至少一次语义
重复消费几乎是每个用消息队列的团队都会踩的坑,也是面试中被问烂的问题。我记得有一次线上排查一个用户重复收到短信的问题,最后定位到是消费者在处理短信发送逻辑时,因为第三方网关偶发超时,代码里做了重试,第一次实际上已经把短信发出去了,只是响应超时,重试又发了一次。那条消息被消费了两次,短信自然也发了两遍。
消息队列本身为什么会重复投递?核心有两个原因。第一,消费者在"处理完业务逻辑"和"提交 offset/ACK"这两个动作之间,系统发生了崩溃或网络中断。比如消费者处理完了消息,正准备提交 offset 时进程被杀掉了,重启之后消息队列只能把这个分区从上次提交的位置重新消费,那条消息自然会被再处理一次。第二,生产者发送消息时超时重试也可能导致重复。生产者把消息发出去之后,如果 Broker 的 ACK 因为网络延迟没有及时返回,生产者会超时并重发同一条消息,此时 Broker 上可能已经有这条消息了,重复的消息就写进去了。
所以重复消费的本质原因是消息队列"至少一次"(At Least Once)的投递语义。绝大多数消息队列产品的默认语义就是至少一次,它能保证消息不丢,但无法保证消息不重复。你没法从消息队列层面完全根治重复投递,只能在业务层面通过幂等来兜底。
4.2 幂等是解药:四种常见的幂等方案
既然消息队列会重复投递是无法改变的事实,那唯一的出路就是让消息处理逻辑具备幂等性——同一条消息被处理一次和被处理一百次,最终的业务效果是一样的。实现幂等的方式有很多种,我按推荐程度排序讲一下实际用得最多的几种。
第一种是数据库唯一约束,这是最常用也最可靠的方案。假设消息处理逻辑是往订单表里插入一条记录,那就给订单号建一个唯一索引。重复消费时第二次插入会触发唯一键冲突,程序捕获这个异常然后当作"已经处理过了"来处理就行。这种方案的优点是简单可靠,数据库层面的约束是最难绕过的。
第二种是 Redis SETNX,适合判断"这个业务操作是否已经执行过"的场景。消费消息时先执行 setnx key value,key 可以用消息的唯一 ID 或者业务唯一键,value 用任意值,同时设置过期时间比如五分钟。如果 setnx 返回 1,说明没有处理过,继续执行业务逻辑;如果返回 0,说明已经处理过了,直接跳过。这里要注意过期时间不能设置太短,否则业务还没处理完,key 就过期了,重复消息又会被当成新消息处理。
第三种是状态机校验,适合有明确状态流转的业务。比如订单状态从"待支付"到"已支付"到"已发货",每次消费消息时先检查当前订单的状态是否允许执行这个操作,如果状态不符合就直接忽略。这种方案需要业务本身有状态字段,还要非常小心状态流转的顺序和边界条件。
第四种是消费记录表,专门建一张消息消费记录表,记录每条消息的 ID 和处理状态。处理前先查一下这条消息是否已经处理过。这种方案实现起来最灵活,但要考虑"查询然后处理"之间并发的问题,需要配合数据库锁或者其他并发控制手段。
从我个人的实践来看,优先推荐数据库唯一约束和状态机校验,原因在于它们把幂等控制放到了业务数据本身的约束上,而不是依赖外部组件的状态。Redis SETNX 虽然方便,但要管理过期时间、要考虑 Redis 本身的高可用问题,复杂度并不低。
4.3 重复消费的排查思路:从日志和数据两头入手
排查重复消费问题的时候,我一般会从"数据侧"和"消费侧"两条线并行。数据侧看的是数据库和存储里是否有重复数据、重复数据的特征是什么;消费侧看的是消费者日志中同一业务 ID 是否出现了多次处理记录。如果两边都能对上,那基本就能确定是消息层面的重复投递。
定位到是消息重复之后,还要判断重复发生在哪一环节。如果是生产者重复导致 Broker 上就存了两条一模一样的消息,那要从生产者代码入手,检查发送逻辑是否设置了重试、重试的参数是否合理;如果是消费者处理完后没来得及提交 offset 导致的重放,那要从消费者的提交时机和方式入手。排查询问的时候,有个很实用的技巧:给每条消息打上一个全局唯一的消息 ID,消费者在处理时打印这个 ID 和业务关键字段。这样消息是不是重复、重复了几次、分别在什么时间被处理,在日志里一目了然。
5. 消息队列的常见故障与排查技巧实录
5.1 消费堆积了怎么办:先扩容还是先定位问题
消费堆积是消息队列运维里最常遇到的问题,表现形式是 消费延迟 线性增长或者持续处于高位。遇到堆积,我的第一步不是急着扩容消费者,而是先看清楚堆积发生在哪个环节——是消费者处理速度太慢,还是消息生产速度突然暴涨,还是消费者本身挂了没在消费。
用 Kafka 的话,可以通过查看消费者组的 lag 来判断,运行命令 kafka-consumer-groups.sh --bootstrap-server localhost:9092 --group 消费者组名 --describe,输出里 LAG 列就是积压的消息数。如果 LAG 持续上涨,先把消费者实例的数量加到分区的上限——注意是分区的上限,Kafka 一个分区只能被同一个消费者组内的一个消费者实例消费,消费者实例多于分区数之后,多出来的消费者其实是空闲的,不会提升消费速度。
消费者实例加到上限之后还在堆积,那问题就出在消费逻辑本身了。常见的慢消费原因有:消费逻辑里调用外部 RPC 接口超时、批量处理时每批数据量太小导致网络往返开销太大、消费逻辑里存在耗时的数据库操作等。我之前排查过一个堆积案例,最后发现是消费者在处理时对每条消息都做了一次数据库全表扫描式的查询,单条消息处理时间从 5ms 飙升到 500ms,把消费线程池打满了。优化 SQL 加索引之后,堆积很快就消化完了。
5.2 消息丢失的几个隐蔽场景及预防手段
消息丢失是比重复消费更可怕的问题,因为重复消费至少可以通过幂等来兜底,消息丢了很多时候是无感知的。最隐蔽的丢失场景有三个。
第一个是生产者发送消息时没有设置合适的确认机制。Kafka 的 acks 参数有三个取值:acks=0 表示不等确认,消息发出去了就当是成功,极端情况下会丢;acks=1 表示 Leader 写入成功就算成功,如果 Leader 挂了而且 Follower 还没来得及同步,这条消息就丢了;acks=all 表示所有副本都写入成功才算成功,可靠性最高但延迟也最高。生产环境至少要用 acks=1,核心数据建议 acks=all。
第二个是消费者拉取消息时自动提交 offset 导致的数据"逻辑丢失"。消费者拉了一批消息回来,但还没处理完,自动提交到了最新 offset;如果此时消费者进程重启,那批消息的 offset 已经提交了,Kafka 认为已经消费过了,但实际上业务逻辑完全没执行。这个问题在之前的 Java 客户端示例里我特意设置了 enable.auto.commit=false,就是为了挡掉这类事故。
第三个是 Broker 节点宕机导致副本同步失败引发的数据丢失。Kafka 通过副本因子和 ISR(In-Sync Replica)机制来保证数据冗余,但如果你创建 Topic 时副本因子是 1,那这台 Broker 挂了数据就没了。生产环境的 Topic 至少要设 replication-factor=2 以上,还要用 kafka-topics.sh --describe 定期检查副本状态,确保没有出现副本未同步的情况。
5.3 顺序消息如何保证:分区是根本手段
很多业务对消息顺序有要求,比如支付状态流转的消息必须按照"已支付→已发货→已完成"的顺序处理,顺序乱了业务就错了。消息队列的天然特性决定了,全局顺序是极难也是极耗性能的——你要保证一个 Topic 的所有消息严格有序,只能把分区数设为 1,消费并行度直接归零,吞吐量断崖式下降。
实际生产中的做法是分区顺序。把需要严格顺序保障的业务消息通过同一个 key 发送到同一个分区,这样每个分区内部的消费是有序的,不同分区之间互不影响。Kafka 分区器默认会根据 key 的哈希值选择分区,所以只要保证相同业务 ID 的消息用相同的 key,它们就一定会落到同一个分区。比如订单状态流转,用 orderId 作为消息的 key,同一个订单的所有状态变更就会进入同一个分区,消费者按顺序处理就行。
还要注意一点:分区顺序保证的是"写入顺序"和"消费顺序"一致。如果生产者在消息发送时顺序就已经乱了,那消费者端再怎么保证也没有意义。所以在生产者端要确保同步发送有序消息,或者至少保证同一个 key 的发送请求不被并发乱序。
写在最后的一点体会
消息队列这个东西,看起来是充话费送的组件,用起来是百家争鸣的调参大会,真出了事它会教你什么叫"分布式系统里没有简单的事"。我见过太多团队把消息队列当数据库用,也见过有人因为重复消费问题就否定了整个消息队列的价值。说句实在话,只有在业务层面把幂等和补偿机制想清楚了,消息队列才算真正被用明白了。
最后分享一个我自己一直保留的习惯:每次设计一个用到消息队列的功能,我都会先画一张消息流转的完整链路图,标注清楚每条消息从哪里来、经过哪些 Topic、被哪些消费者处理、处理失败怎么办、重复了怎么保证幂等。这张图画完,很多在脑子里不清晰的问题瞬间就暴露出来了。消息队列的学习和应用没有终点,你踩过的每一个坑,都会成为团队里最有价值的踩坑指南。
