第7章压缩列表

按zlbytes、zltail、zllen和变长节点解析连续内存，并推演previous_entry_length导致的连锁更新覆盖5个正式节点，并以Redis 3.0源码、故障和恢复对账验收。

学习目标

能画出压缩列表的连续内存布局
能解释变长编码如何节省空间
能分析连锁更新的触发与规避

为什么从“压缩列表字节解析台”开始

第7章压缩列表的核心任务是按zlbytes、zltail、zllen和变长节点解析连续内存，并推演previous_entry_length导致的连锁更新。命令返回值只暴露外层合同；实现解释还必须连接内存结构、写入与读取路径、事件顺序以及失败后的旧状态回收。压缩列表字节解析台把这些关系放进同一条可复位轨迹。

先写预测：当前节点长度由“跨254边界”进入“连续跨界”时，哪个可观察状态最先变化？再规定什么结果会推翻当前解释。交互中的分数只表达透明因果方向，不冒充真实Redis测量。

来源、版次与独立重写边界

黄健宏作者读者服务页确认正式出版新版以Redis 3.0为源码基线，列出4部分、24章及完整小节，并链接Redis 3.0中文注释源码。本课程据此映射24个正式单元、145个目录节点，另设学习地图和总复习；未取得出版正文授权，目录只界定范围，不宣称复现原书正文。

本章字段与控制流由Redis官方3.0源码：ziplist.c和作者注释源码交叉核对；Redis当前持久化文档只用于辨认版本差异。中文解释、图示、交互、实验与答案均为独立教学重写，不把目录页或代码仓库许可证误报为原书许可证。

本章术语与源码合同

第7章压缩列表必须守住“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”。观察同时记录压缩列表字节解析台一致率与变更分叉风险；只有结构快照、函数入口、运行结果和故障反例互相一致，才接受实现结论。

⚡ 压缩列表内存布局与连锁更新

压缩列表用于小规模列表/哈希（list-max-ziplist-entries 等阈值内）。变长编码让短元素只占一两字节；代价是头部插入超长元素时可能引发连锁更新。元素过多自动转为常规结构。

操作日志

1.初始压缩列表：zlbytes + zltail + zllen + 4 个 entry + zlend。每 entry 用变长编码记录 prevlen 与 encoding。

作者目录逐项深读

压缩列表的构成

四级证据 1/5。 ziplist头保存总字节数、尾节点偏移和节点数量估计，末尾以ZIP_END标识，使连续块可整体移动。本节点用“压缩列表的构成”作观察点，执行rg '__ziplistCascadeUpdate|ziplistInsert|ziplistDelete' src/ziplist.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证压缩列表的构成时，先预测前节点长度从“跨254边界”切到“连续跨界”会改变哪个字段、偏移、文件或消息；再固定变更做一次对照。若故障注入没有破坏“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，就撤回当前解释而不是补写故事。

压缩列表节点的构成

四级证据 2/5。 节点由前一节点长度、当前编码和内容组成；整数与字符串使用不同编码宽度。本节点用“压缩列表节点的构成”作观察点，执行rg '__ziplistCascadeUpdate|ziplistInsert|ziplistDelete' src/ziplist.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证压缩列表节点的构成时，先预测前节点长度从“跨254边界”切到“连续跨界”会改变哪个字段、偏移、文件或消息；再固定变更做一次对照。若故障注入没有破坏“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，就撤回当前解释而不是补写故事。

连锁更新

四级证据 3/5。 当前驱长度从1字节跨到5字节时，后继节点可能继续扩张，形成连续重分配与移动。本节点用“连锁更新”作观察点，执行rg '__ziplistCascadeUpdate|ziplistInsert|ziplistDelete' src/ziplist.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证连锁更新时，先预测前节点长度从“跨254边界”切到“连续跨界”会改变哪个字段、偏移、文件或消息；再固定变更做一次对照。若故障注入没有破坏“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，就撤回当前解释而不是补写故事。

压缩列表API

四级证据 4/5。 按索引查找可从头或尾选择较近方向，插删后要同步头字段、尾偏移和每个前驱长度。本节点用“压缩列表API”作观察点，执行rg '__ziplistCascadeUpdate|ziplistInsert|ziplistDelete' src/ziplist.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证压缩列表API时，先预测前节点长度从“跨254边界”切到“连续跨界”会改变哪个字段、偏移、文件或消息；再固定变更做一次对照。若故障注入没有破坏“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，就撤回当前解释而不是补写故事。

重点回顾

四级证据 5/5。 第7章压缩列表的回顾要重新证明“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，并用同一输入比较结构前态、变更轨迹、故障首错与恢复后态

验证重点回顾时，先预测前节点长度从“跨254边界”切到“连续跨界”会改变哪个字段、偏移、文件或消息；再固定变更做一次对照。若故障注入没有破坏“总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节”，就撤回当前解释而不是补写故事。

最小源码与运行切片

+git clone --branch 3.0 --depth 1 https://github.com/redis/redis.git redis-3.0
+cd redis-3.0
+rg '__ziplistCascadeUpdate|ziplistInsert|ziplistDelete' src/ziplist.c

该切片固定Redis 3.0分支、编译器、配置、数据集和命令序列；先保存结构或函数位置，再运行隔离实例。任何持久化损坏、断线、故障转移、大键或高流量实验都必须使用临时数据并规定CPU、内存、磁盘、延迟和停止上限。

unit: rdi-07-ziplist
source_file: ziplist.c
axis_a: "前节点长度"
axis_b: "变更"
fault: "忽略previous_entry_length扩展引发的连锁更新，导致尾偏移或反向遍历失真"
invariant: "总字节、尾偏移、节点数和每个前驱长度一致，插删后能双向遍历到终止字节"
replay: same_version_same_input

三个必须主动触发的误区

误区 1

现象 → 元素长度差异极大 原因 → 连锁更新反复触发 修法 → 统一元素大小或分桶存储

误区 2

现象 → 超长元素插头部 原因 → 级联扩展 O(N²) 风险 修法 → 超长元素放队尾

误区 3

现象 → 元素增长不管阈值 原因 → 悄悄转换性能突变 修法 → 监控编码转换与元素数量

小结

压缩列表为小型列表哈希而生
连续内存消除指针开销
变长编码按内容分配空间
连锁更新是最坏情况风险
元素过多会转换为常规结构

练习、答案与节点验证

练习

问题 1： 压缩列表如何做到节省内存？

问题 2： 连锁更新的触发条件是什么？

问题 3： 设计一个避免连锁更新的列表使用策略。（独立实现）

术语复核与本章回顾

完成第7章压缩列表意味着能从ziplist.c解释按zlbytes、zltail、zllen和变长节点解析连续内存，并推演previous_entry_length导致的连锁更新，能运行章专属状态实验，能制造反例并在复位后证明旧状态没有残留。