Redis数据结构一跳跃表skiplist

跳跃表（Skiplist）是 Redis 中用于实现有序集合（Sorted Set）的数据结构之一。跳跃表是一种概率数据结构，它提供了一种高效的机制来存储和检索有序的元素集合。跳跃表的设计目的是为了在保证插入、删除和查找操作的时间复杂度接近 O(log n) 的同时，简化实现难度并减少内存开销。
跳跃表的基本概念
1. 节点结构：
•  跳跃表中的每个节点都包含一个键值对（key-value pair），其中键是用于排序的元素，值则是与该元素相关联的数据。
•  每个节点还包含一组向前指针（forward pointers），用于指向更高层的其他节点。
2. 层级：
•  跳跃表由多层构成，每一层都是一个有序的链表。
•  最底层（level 0）包含所有的节点，而更高的层级只包含部分节点。
•  较高的层级允许快速定位到特定的位置，从而加速查找过程。
3. 随机化：
•  新插入的节点的高度（即它包含的指针的数量）是由一个随机过程决定的，通常会设置一个概率阈值（例如，50%的概率上升一层）。
•  这种随机化有助于确保跳跃表的平均高度保持在 log(n) 的级别，从而维持高效的操作。
Redis 中的跳跃表实现
1. 数据结构定义：
•  Redis 使用 struct zskiplist 定义跳跃表。
•  每个节点 struct zskiplistNode 包含键、值、高度和指针数组。
2. 插入操作：
•  插入操作首先需要确定新节点的高度。
•  从最高层开始向下搜索，找到适当的插入位置。
•  更新相关节点的指针以保持有序性和正确的层级关系。
3. 删除操作：
•  删除操作同样从最高层开始搜索目标键。
•  如果找到了匹配的键，则删除该节点并更新指针以保持结构的完整性。
4. 查找操作：
•  查找操作也从最高层开始，逐层向下直到找到目标键或者确定目标键不存在。
5. 性能特点：
•  跳跃表在大多数情况下都能提供 O(log n) 的查找、插入和删除性能。
•  它的空间复杂度通常比平衡树低，因为它不需要额外的空间来保存平衡信息。
6. 优化：
•  Redis 的跳跃表实现中，每个节点的指针还包含了跨度（span）信息，这有助于更快地跳过不必要的节点。
在 Redis 中，跳跃表被用来实现有序集合（sorted set），这允许用户存储唯一元素的集合，并为每个元素关联一个分数（score）。通过分数来排序元素，这样就可以执行诸如 ZRANGE（获取排序后的元素范围）和 ZADD（添加元素到有序集合）等命令。
如果你对具体的 Redis 源码实现感兴趣，可以通过阅读 Redis 的官方源码来深入了解跳跃表的具体实现细节。