Redission实现公平锁为什么要使用ZSet数据结构？

Question

Redission实现公平锁为什么要使用ZSet数据结构？ 使用ZSet结构有什么好处？

看lua代码好像也并没有使用到 ZSet的二分查找这种优势

Answer 1

• 有序性：ZSet 中的元素具有有序性，可以按照分数（score）从小到大排列。公平锁要求在等待时间相同的条件下，线程获取锁的顺序与它们请求锁的顺序一致。ZSet 的有序性满足了这一需求。
• 高效性：ZSet 数据结构在 Redis 中具有较高的性能。Redisson 利用 ZSet 进行锁分配时，可以快速地查找、插入和删除元素，从而实现高效的无锁操作。
• 天然支持并发：ZSet 数据结构内部使用跳表实现，跳表的并发性能较高。在 Redisson 中，通过在 ZSet 元素上设置权重来表示锁的优先级，线程可以根据自身权重尝试获取锁。这种锁分配策略有利于避免饥饿现象，实现公平锁。
• 灵活性：ZSet 数据结构可以方便地实现锁的扩展和调整。在 Redisson 中，通过修改 ZSet 中的元素分数，可以动态地调整锁的优先级和等待时间，从而实现对锁的公平性和性能的调整。

重点是需要使用 ZSet 的分数特性来实现公平锁