消息中间件的应用场景
- 异步解耦
- 削峰填谷
- 顺序收发
- 分布式事务一致性
腾讯应用案例：
主流 MQ 框架及对比
说明
- Kafka：整个行业应用广泛
- RocketMQ：阿里，从 apache 孵化
- Pulsar：雅虎开源，符合云原生架构的消息队列，社区活跃
- RabbitMQ 架构比较老，AMQP并没有在主流的 MQ 得到支持
- NSQ：内存型，不是最优选择
- ActiveMQ、ZeroMQ 可忽略
Kafka 优点
- 非常成熟，生态丰富，与 Hadoop 连接紧密
- 吞吐非常高，可用性高
- sharding
- 提升 replication 速度
- 主要功能：pub-sub，压缩支持良好
- 可按照 at least once, at most once 进行配置使用，exactly once 需要 Consumer 配合
- 集群部署简单，但 controller 逻辑很复杂，实现partition 的多副本、数据一致性
- controller 依赖 ZooKeeper
- 异步刷磁盘（除了钱的业务，很少有同步 flush 的需求）
Kafka 缺点
- 写入延时稳定性问题，partition 很多时
- Kafka 通常用机械盘，随机写造成吞吐下降和延时上升
- 100ms ~ 500ms
- 运维的复杂性
- 单机故障后补充副本
- 数据迁移
- 快手的优化：迁移 partition 时旧数据不动，新数据写入新 partition 一定时间后直接切换
RocketMQ
- 阿里根据 Kafka 改造适应电商等在线业务场景
- 以牺牲性能为代价增强功能
- 按 key 对消息查询，维护 hash 表，影响 io
- 为了在多 shard 场景下保证写入延迟稳定，在 broker 级别将所有 shard 当前写入的数据放入一个文件，形成 commitlog list，放若干个 index 文件维护逻辑 topic 信息，造成更多的随机读
- 没有中心管理节点，现在看起来并没有什么用，元数据并不多
- 高精度的延迟消息（快手已支持秒级精度的延迟消息）
Pulsar
- 存储、计算分离，方便扩容
- 存储：bookkeeper
- MQ逻辑：无状态的 broker 处理
发展趋势
- 云原生
- 批流一体：跑任务时，需要先把 Kafka 数据→HDFS，资源消耗大。如果本来就存在 HDFS，能节省很大资源
- Serverless
各公司发展
- 快手：Kafka
- 所有场景均在使用
- 特殊形态的读写分离
- 数据实时消费到 HDFS
- 在有明显 lag 的 consumer 读取时，broker 把请求从本地磁盘转发的 HDFS
- 不会因为有 lag 的 consumer 对日常读写造成明显的磁盘随机读写
- 由于自己改造，社区新功能引入困难
- 阿里巴巴：开源 RocketMQ
- 字节跳动
- 在线场景：NSQ→RocketMQ
- 离线场景：Kafka→自研的存储计算分类的 BMQ（协议层直接兼容Kafka，用户可以不换 client）
- 百度：自研的 BigPipe，不怎么样
- 美团：Kafka 架构基础上用 Java 进行重构，内部叫 Mafka
- 腾讯：部分使用了自研的 PhxQueue，底层是 KV 系统
- 滴滴：DDMQ
- 对 RocketMQ 和 Kafka 进行封装
- 多机房数据一致性可能有问题
- 小米：自研 Talos
- 架构类似 pulsar，存储是 HDFS，读场景有优化
Kafka
- Kafka官网：https://kafka.apache.org/documentation/#uses
- 最新版本：2.7
Kafka 是什么？
- 开源的消息引擎系统（消息队列/消息中间件）
- 分布式流处理平台
- 发布/订阅模型
- 削峰填谷
Kafka 术语
- Topic：发布订阅的主题
- Producer：向Topic发布消息的客户端
- Consumer：消费者
- Consumer Group：消费者组，多个消费者共同组成一个组
- Broker：Kafka的服务进程
- Replication：备份，相同数据拷贝到多台机器
- Leader Replica
- Follower Replica，不与外界交互
- Partition：分区，解决伸缩性问题，多个Partition组成一个Topic
- Segment：partition 由多个 segment 组成
Kafka 如何持久化？
- 消息日志（Log）保存数据，磁盘追加写（Append-only）
- 避免缓慢的随机I/O操作
- 高吞吐
- 定期删除消息（日志段）
Kafka 文件存储机制
https://www.open-open.com/lib/view/open1421150566328.html
- 每个 partition 相当于一个巨型文件→多个大小相等 segment 数据文件中
- 每个 partition 只需要顺序读写就行了，segment 文件生命周期由配置决定
- segment file 组成：
- index file：索引文件
- data file：数据文件
- segment file 文件命名规则：
- 全局第一个 segment 是 0
- 后序每个加上全局 partition 的最大 offset
一对 segment file
message 物理结构
分区
为什么分区？
- Kafka的消息组织方式：主题-分区-消息
- 一条消息，仅存在某一个分区中
- 提高伸缩性，不同分区可以放到不同机器，读写操作也是以分区粒度
分区策略？
- 轮询
- 随机
- 按 key 保序，单分区有序
Kafka 是否会消息丢失？
- 只对“已提交”的消息做有限度的持久化保证
- 已提交的消息：消息写入日志文件
- 有限度的持久化保证：N个 broker 至少一个存活
- 生产者丢失数据
- producer.send(msg) 异步发送消息，不保证数据到达Kafka
- producer.send(msg, callback) 判断回调
- 消费者程序丢失数据
- 应该「先消费消息，后更新位移的顺序」
- 新问题：消息的重复处理
- 多线程异步处理消息，Consumer不要开启自动提交位移，应用程序手动提交位移
控制器
- 在 ZooKeeper帮助下管理和协调整个 Kafka 集群
- 运行过程中，只能有一个 Broker 成为控制器
控制器如何选举？
在 ZooKeeper 创建 /controller 节点，第一个创建成功的 Broker 被指定为控制器。
控制器有什么用？
- 主题管理（创建、删除、增加分区）
- 分区重分配
- 领导者选举
- 集群成员管理（新增 Broker、Broker 主动关闭、Broker 宕机）（ZooKeeper 临时节点）
- 数据服务：最全的集群元数据信息
控制器故障转移
- 只有一个 Broker 当控制器，单点失效，立即启用备用控制器
Kafka 的 ZooKeeper 存储结构
分布式事务的应用场景
- 团队内部，某些操作要同时更新多个数据源
- 业务团队 A 完成某个操作后，B 业务的某个操作也必须完成，A 业务并不能直接访问 B 的数据库
- 公司之间，用户付款后，支付系统（支付宝/微信）必须通知商家的系统更新订单状态
两阶段最终一致
- 先完成数据源 A 的事务（一阶段）
- 成功后通过某种机制，保证数据源 B 的事务（二阶段）也一定最终完成
- 不成功，会不断重试直到成功为止
- 或达到一定重试次数后停止（配合对账、人工处理）
如何保证最终一致？
为了保证最终一致，消息系统和业务程序需要保证：
- 消息发送的一致性：消息发送时，一阶段事务和消息发送必须同时成功或失败
- 消息存储不丢失：消息发送成功后，到消息被成功消费前，消息服务器（broker）必须存储好消息，保证发生故障时，消息不丢失
- 消费者不丢失消息：处理失败不丢弃，重试直到成功为止
消息发送的一致性如何保证？
目标：本地事务、消息发送必须同时成功/失败
问题
- 先执行本地事务，再发送消息，消息可能发送失败
- 可把失败的消息放入内存，稍后重试，但成功率也无法达到 100%
解决方案`* 先发送半消息（Half Msg，类似 Prepare 操作），不会投递给消费者
- 半消息发送成功，再执行 DB 操作
- DB 操作执行成功后，提交半消息
发送异常会如何？
- 1 异常，半消息发送失败，本地 DB 没有执行，整个操作失败，DB/消息的状态一致（都没有提交）
- 2 异常/超时
- 生产者以为失败了，不执行 DB
- broker 存储半消息成功，等不到后序操作，会询问生产者是提交还是回滚（第6步）
- 3 DB操作失败：生产者在第 4 步告知 broker 回滚半消息
- 4 提交/回滚半消息失败：broker 等不到这个操作，触发回查（第 6 步）
- 5、6、7回查失败：RocketMQ 最多回查 15 次
代码、思维导图笔记下载
代码和思维导图在 GitHub 项目中，欢迎大家 star！
