学习Redis源码路径

原创于 2025-07-31 10:30:35 发布 · 1k 阅读

CC 4.0 BY-SA版权

文章标签：

学习 Redis 源码并剖析其技术栈是一个深入理解分布式系统、高性能网络编程和内存管理的绝佳途径。Redis 虽然代码量不大（约 10 万行 C 代码），但设计精妙，涵盖了事件驱动、内存管理、数据结构、持久化、集群协议等多个核心系统技术。以下是系统化的学习路径和技术栈剖析方法：

书籍：
- 《Redis 设计与实现》（黄健宏）：源码级解析，适合入门。
- 《UNIX 网络编程》（Stevens）：理解 Redis 的事件驱动模型。
- 《深入理解 Linux 内核》：理解内存管理、进程调度。
官方文档：
- Redis 官方文档（重点看协议、持久化、集群部分）。
- Redis GitHub 仓库（关注 src/ 目录和 README.md）。

入口文件：从 src/server.c 的 main() 函数开始，跟踪 Redis 初始化流程：
- 解析配置文件（config.c）。
- 初始化事件循环（ae.c，基于 epoll/kqueue/select 的封装）。
- 创建网络监听（anet.c，封装 socket 操作）。
- 加载持久化数据（rdb.c/aof.c）。
核心模块：
- 事件驱动：ae.c（单线程 Reactor 模式）。
- 网络协议：networking.c（处理客户端连接和 RESP 协议）。
- 命令执行：server.c（命令表 redisCommandTable 和执行流程）。
- 内存管理：zmalloc.c（封装 malloc，统计内存使用）。

文件：ae.c、ae_epoll.c（Linux 下默认使用 epoll）。
核心逻辑：
- aeCreateEventLoop：创建事件循环。
- aeCreateFileEvent：注册文件事件（如 socket 可读/可写）。
- aeMain：事件循环主函数，调用 aeProcessEvents 处理就绪事件。
对比：与 Nginx、Libevent 的事件驱动实现对比。

文件：networking.c、anet.c。
关键点：
- 非阻塞 I/O：所有客户端 socket 设置为非阻塞。
- 单线程处理：避免多线程竞争，通过事件驱动实现高并发。
- 协议解析：readQueryFromClient 解析 RESP 协议（如 *3\r\n$3\r\nSET\r\n...）。

文件：object.c、dict.c、ziplist.c、skiplist.c。
核心数据结构：
- 动态字符串（SDS）：sds.h，二进制安全，记录长度。
- 字典（Hash）：dict.c，渐进式 rehash 避免阻塞。
- 跳表（ZSET）：skiplist.c，有序集合的底层实现。
- 压缩列表（List/Hash/ZSET 的紧凑存储）：ziplist.c，节省内存。

RDB（快照）：
- 文件：rdb.c。
- 流程：fork() 子进程执行 rdbSave，父进程继续处理请求。
- 优化：COW（Copy-On-Write）避免内存翻倍。
AOF（日志）：
- 文件：aof.c。
- 策略：always/everysec/no 三种刷盘模式。
- 重写：bgrewriteaof 压缩日志体积。

文件：cluster.c、sentinel.c。
关键技术：
- Gossip 协议：节点间传播拓扑信息。
- 哈希槽（Hash Slot）：16384 个槽分配数据，支持动态扩容。
- Sentinel 监控：故障检测和自动主从切换。

单步调试：
- 使用 gdb 调试 redis-server，跟踪命令执行流程（如 SET key value）。
- 示例命令：
  gdb ./redis-server
  (gdb) break processCommand # 在命令处理入口打断点
  (gdb) run --port 6379
修改与扩展：
- 添加自定义命令：在 server.c 的 redisCommandTable 中注册新命令。
- 优化数据结构：例如为跳表添加批量插入接口。
性能测试：
- 使用 redis-benchmark 测试修改后的性能变化。
- 通过 INFO 命令监控内存、QPS 等指标。

技术栈	Redis 实现要点
事件驱动	Reactor 模式 + epoll/kqueue，单线程处理所有事件。
网络协议	RESP 协议，简单高效，支持批量操作和管道（Pipeline）。
内存管理	SDS 字符串、对象系统（`redisObject`）、多种压缩数据结构（ZipList/SkipList）。
持久化	RDB（快照） + AOF（日志），支持 COW 和日志重写。
高可用	Sentinel 监控 + Cluster 分片，基于 Gossip 协议的节点发现。
并发控制	全局锁（`server.clients_pause`） + 原子操作（如 `INCR`）。

对比学习：
- 对比 Redis 与 Memcached（内存管理）、RocksDB（LSM-Tree 存储）的设计差异。
- 研究其他事件驱动框架（如 Libevent、Nginx）的实现。
参与开源：
- 提交 PR 修复 Redis 的小 bug 或优化文档。
- 关注 Redis 官方博客和 GitHub Issues 中的讨论。
扩展场景：
- 实现 Redis 模块（如布隆过滤器、时序数据库插件）。
- 基于 Redis 协议开发自定义代理或中间件。

通过系统化的源码剖析，不仅能掌握 Redis 的核心技术，还能提升对高性能服务端开发、分布式系统设计的理解，为后续学习 TiKV、Etcd 等分布式存储打下基础。