Redis 有序集合 Zset的实现原理是什么？
重要内容
Zset通过两种编码方式实现，根据数据规模动态切换（默认阈值：元素个数 ≤ 128 且 单个元素大小 ≤ 64字节 为小规模数据，只要其中有一个不满足条件，则会切换编码方式）
Ziplist（压缩列表）
适用于小规模数据
- 结构特点：连续内存存储，每个元素由 value 和 score 成对组成，按 score 升序排列
- 优势：内存紧凑，无指针开销，适合少量数据的快速顺序访问
Skiplist（跳表）+ Hash（哈希表）
当数据规模超过阈值时自动切换为此结构，兼顾高效的范围查询与单点查找
-
跳表（Skiplist）
-
多层链表结构，节点包含多个前向指针（forward）和跨度（span），支持平均 O(logN) 的插入、删除和范围查询
-
节点层数通过概率算法（如幂次定律）随机生成，高层节点稀疏，加速跳跃式查找
-
-
哈希表（Hash）
- 哈希表结构，存储 value 到 score 的映射，实现 O(1) 的单点查询（如：ZSCORE 命令）
扩展内容
有序集合的插入、删除和查找操作
插入操作
ziplist 插入
- 查找位置：遍历找到分值合适的位置 O(N)
- 插入数据：将新元素插入对应位置，触发内存重分配和数据移动
- 编码转换 ：若插入后元素数量或大小超过阈值，转为
skiplist + hash
skiplist + hash 插入
- 哈希操作：检查成员是否存在，若存在需先删除旧值 O(1)
- 跳表插入
- 从最高层开始查找插入位置，逐层向下直到最底层 O(logN)
- 随机生成层高（如抛硬币算法），创建新节点并更新指针
- 哈希更新：将 value 到 score 写入哈希表 O(1)
删除操作
ziplist 删除
- 查找元素：遍历找到目标成员 O(N)
- 数据删除：移除元素并填充空隙，触发内存移动
- 编码转换：删除后若数据量过小，可能转回 ziplist
skiplist + dict 删除
- 字典查找：通过哈希表快速获取成员分值 O(1)
- 跳表删除
- 从最高层开始查找节点，逐层向下直到最底层 O(logN
- 调整前后节点的指针，释放节点内存
- 字典删除：从哈希表中移除成员 O(1)
查询操作
单点查询（获取分值）
- ziplist：遍历所有元素 O(N)
- skiplist + hash：通过哈希表直接获取分值 O(1)
范围查询（如 ZRANGE）
- ziplist：顺序遍历底层链表 O(M)，M为返回元素数
- skiplist：利用跳表快速定位起始节点，遍历底层链表 O(logN + M)
排名查询（如 ZRANK）
- ziplist：遍历计数直到找到成员 O(N)
- skiplist：跳表遍历时累积跨度（span），直接计算排名 O(logN)
性能总结
| 操作 | ziplist | skiplist + hash |
|---|---|---|
| 插入/删除 | O(N) | O(logN)（跳表）（哈希表 的查询 O(1) 可以忽略） |
| 单点查询分值 | O(N) | O(1)（哈希表） |
| 范围查询 | O(M) | O(logN + M)（跳表底层链表） |
| 内存占用 | 低（连续存储） | 较高（指针和哈希表开销） |
应用场景
- 排行榜 ：利用
ZRANGE和ZREVRANGE快速获取排名 - 延迟队列 ：以时间戳为
score，定时扫描到期任务 - 实时统计 ：如热点文章阅读量排序，通过
ZINCRBY更新分值 - 范围查询：支持按分值区间快速筛选数据（如成绩分布）