Kafka - 高吞吐量的七项核心设计解析

文章目录


概述

在消息中间件领域,Apache Kafka以卓越的吞吐性能著称。虽然RocketMQ在某些场景下展现出更高的吞吐能力,但其架构设计仍深受Kafka启发。接下来我们将从存储设计、网络优化、内存管理等维度,深入剖析Kafka实现百万级TPS的七大关键技术,揭示其高性能背后的设计哲学。
计算层 存储层 网络层 批量压缩 批量发送 批量解压 顺序写入磁盘 页缓存加速 日志分段存储 稀疏索引+跳表 Reactor网络模型 零拷贝传输 零拷贝传输 生产者优化 消费者批量拉取


一、顺序磁盘I/O (分区+顺序追加)

1.1 存储架构设计

Kafka采用「分区+顺序追加」的写入模式,每个分区对应物理磁盘上的独立日志文件 。

生产者消息按分区严格顺序追加到文件尾部,避免传统数据库的随机写入模式。


1.2 性能对比实验

根据ACM Queue的研究数据 :

  • 顺序读磁盘:53.2 MB/s
  • 随机读内存:36.7 MB/s
  • 随机读磁盘:0.5 KB/s

结论:顺序磁盘操作性能比随机内存访问提升45%,比随机磁盘访问高出5个数量级。

1.3 存储优化策略

数据如果一直落盘不删除也不行,所以Kafka也提供了两种可配置的数据删除策略,一种是基于时间,另一种就是基于分区文件的大小,以此来保障磁盘的数据存储容量。

策略类型 配置参数 作用
时间策略 log.retention.hours 过期数据自动删除
容量策略 log.segment.bytes 控制单个Segment大小

二、零拷贝技术:颠覆传统的数据传输革命

2.1 传统模式痛点

传统文件传输需经历四次拷贝:

  1. DMA拷贝到内核缓存
  2. CPU拷贝到用户缓存
  3. CPU拷贝到Socket缓存
  4. DMA拷贝到网卡

2.2 Kafka优化方案

使用Linux的sendfile系统调用实现零拷贝:

c 复制代码
sendfile(int out_fd, int in_fd, off_t *offset, size_t count);
  • in_fd:消息文件描述符
  • offset:消费者偏移量
  • count:读取字节数

Java NIO通过FileChannel.transferTo()封装此能力,实现数据从页缓存直通网卡。


三、页缓存机制:操作系统的隐藏加速器

如果只是消息到磁盘的顺序读写,还不足以成为高性能的典型,所以Kafka还利用了操作系统的页缓存技术,利用内存来提升I/O效率。

页缓存通过内存映射文件(memory mapped file)实现文件到物理内存的直接映射。完成映射之后,对物理内存的操作会被同步到磁盘上(操作系统在适当的时候)。相比用户态的内存,页缓存有如下两个优势。

  • 避免用户态对象的内存额外占用,例如使用Java堆时,Java对象的内存消耗比较大,通常是所存储数据的两倍甚至更多。
  • 避免用户态的内存垃圾回收,用户态的内存垃圾回收会导致运行复杂和缓慢。

因此,利用基于操作系统的页缓存,Kafka的数据都在内存操作,性能又进一步提升。

3.1 实现原理

通过mmap将磁盘文件映射到进程地址空间,形成虚拟内存与物理内存的映射关系。当访问虚拟内存地址时:

  • 命中页缓存:直接读取物理内存
  • 未命中页缓存:触发缺页中断加载数据

3.2 优势对比

维度 用户态缓存 页缓存
内存占用 数据量2倍+ 1:1映射
GC影响 频繁STW 无影响
数据同步 需手动flush 内核自动管理

四、日志索引设计:海量数据的快速检索

之前说了Kafka的数据存储是按照分区存储的,但是写入文件的最小单位是段(segment),即一个分区有多个段,那么如何提升数据存储和读取性能呢?Kafka采取了跳表加索引查询的模式

4.1 存储结构

partition-0/
├── 00000000000000000000.index
├── 00000000000000000000.log
├── 00000000000000000000.timeindex
  • 日志文件:存储实际消息(Segment分段存储)
  • 索引文件:稀疏索引,记录offset与物理位置的映射

4.2 查询流程

  1. 使用跳表定位目标Segment
  2. 二分法查询.index文件获取物理偏移
  3. 从.log文件指定位置顺序扫描

消费者拉取消息的时候首先从日志的segment里的跳表结构查询到消息的偏移量,例如上图中查询到的消息偏移量是3,再在索引文件里按照消息偏移量查询它在日志文件里对应的日志偏移量,例如图中消息偏移量为3,在.index文件里对应的日志偏移量是1360,接下来直接访问位置1360获取消息message3。通过跳表加索引的结构,不仅数据查询的效率提升了,数据查询的并行度也提升了


五、批量处理:吞吐量的倍增器

数据的批量读取和写入主要是为了解决频繁的网络I/O带来的性能消耗问题,例如以极端情况来看,假设有10000条消息,一次网络请求读写10000条与每次读写1条且用10000次完成相比,显然是前一种方式更具性能优势,其实这也是前面讲到的粘连分区的一个优势,它可以将每次分区的容量填充率变得更高,减少消息的网络I/O传输,从而实现更低的网络时延。同样,在"零拷贝"里面的批量获取容量也是类似的道理。

5.1 生产者配置

properties 复制代码
batch.size=16384 // 批次大小(16KB)
linger.ms=5     // 等待时间

当满足size或time任一条件即触发发送。

5.2 消费者配置

properties 复制代码
fetch.min.bytes=1
fetch.max.wait.ms=500

通过「预读取+拉取窗口」机制减少网络交互次数。


六、压缩算法:空间与时间的权衡艺术

网络I/O传输中最大的损耗由每次传输的消息大小来确定,对于需要在广域网上的数据中心之间发送消息的数据流水线尤其如此。进行数据压缩虽然会消耗少量的CPU资源,但是对Kafka而言,网络I/O资源的占用和优化同样也需要考虑。

  • 如果只是对单个消息进行压缩,压缩率就会很低,所以Kafka采用了批量压缩,即将多个消息一起压缩而不是压缩单个消息。
  • Kafka允许使用递归的消息集合,批量的消息可以通过压缩格式传输并且在日志中也可以保持压缩格式,直到被消费者解压缩。
  • Kafka支持多种压缩协议,包括Gzip和Snappy压缩协议。

6.1 压缩效率对比

算法 压缩率 CPU消耗 适用场景
Gzip 带宽敏感
Snappy CPU敏感
LZ4 中高 极低 实时系统

6.2 压缩过程

[消息1][消息2]...[消息N] → 压缩 → [压缩块]

七、Reactor网络模型:高并发的基石

Kafka在客户端和服务器端之间通信实现的Reactor网络模型是一种事件驱动模型。

  • 选择器(selector):也可以称为多路复用器,它是Java NIO的核心组件,用于检测NIO通道的状态是否可读或可写。
  • 接收器(acceptor):用于监听网络连接端口和请求。
  • OP_WRITE:NIO的可写状态,调用Writer_handler处理。
  • OP_READ:NIO的可读状态,调用Read_handler处理。
  • OP_CONNECT:NIO的可连接状态,由客户端主动连接触发,调用接收器处理。

对于一些小容量的业务场景,这种单线程的模式基本够用,但是对于高负载、高并发的应用场景,这种单线程的模式并不适合,主要有以下几个原因

  • 并发性问题:一个NIO线程同时处理数十万甚至百万级的链路,性能是无法支撑的。
  • 吞吐量问题:如果超时发生重试,会加重服务器端的处理负载,从而导致大量处理积压。
  • 可靠性问题:如果单个线程出现故障,整个系统将无法使用,会造成单点故障。

7.1 模型演进

传统BIO模型 :1连接1线程 → 线程数爆炸
单Reactor单线程 :无法应对高并发
Kafka多Reactor多线程

Acceptor Threads(N) 
       ↓
Processor Threads(M)
       ↓
Handler Thread Pool(P)

7.2 核心参数

properties 复制代码
num.network.threads=3  // 网络线程数
num.io.threads=8       // IO处理线程

因此,要实现一个高并发的处理服务,需要对以上架构进行优化,例如采取多线程处理模式,同时将接收线程的逻辑尽量简化,相当于将接收线程作为一个接入层。Kafka的Reactor网络模型就是依据这些因素进行优化的

Kafka采取了多线程处理请求机制,如图中处理线程池所示,并且依据网卡的个数(在Kafka源码里面采用EndPoint表示)启动相应的接收监听线程(图中的接收器),从整体上来看实现了多线程接收监听器以及多线程处理器,保障了在消息请求接入层的处理性能,并且解决了高可用问题


小结

生产者批量发送 页缓存 零拷贝传输 消费者批量拉取 跳表快速定位 索引精准查询 Reactor并发处理

Kafka的高吞吐设计体现了多个层级的优化协同:

  1. 存储层:顺序I/O+页缓存突破磁盘瓶颈
  2. 网络层:零拷贝+批量压缩降低传输损耗
  3. 计算层:Reactor模型+多线程提升并发能力
  4. 架构层:分区+Segment实现水平扩展
相关推荐
计算机软件程序设计8 小时前
Windows下安装kafka
windows·分布式·kafka
java技术小馆8 小时前
Kafka 消息传递模型
分布式·kafka
HBryce2411 小时前
Kafka&&RocketMQ
分布式·kafka·rocketmq
一个儒雅随和的男子13 小时前
kafka消息中间件的rebalance机制
分布式·kafka
小技工丨13 小时前
Flink SQL 读取 Kafka 数据到 Mysql 实战
sql·flink·kafka
BAStriver1 天前
关于kafka常见的问题小结
分布式·kafka
HappyChan1 天前
kakfa生产者消费者实践
云原生·kafka·go
auspicious航1 天前
Linux系统上安装kafka
linux·运维·kafka
fxrz122 天前
探讨消息队列系统:AWS SQS vs. Apache Kafka
kafka·apache·aws