Redis有序集合预检查：确保新增实体分数为当前最高

要实现仅当新增实体的分数为现有有序集合的最高分（或更高）时才插入的需求，必须通过原子操作避免并发场景下的竞态问题——比如先查询最高分再插入的分步操作，会被其他客户端的插入操作打断，导致判断失效。Redis原生没有直接对应命令，但可以通过Lua脚本实现完整的原子检查+插入逻辑。

核心方案：Lua脚本实现原子逻辑 #

Redis执行Lua脚本时会以单原子方式运行，脚本内的所有命令不会被其他请求打断，完美适配你的需求。以下是实现脚本：

-- 参数说明：
-- KEYS[1]：目标有序集合的键名
-- ARGV[1]：新增实体的分数（需为数字）
-- ARGV[2]：新增实体的成员值
local current_max = redis.call('ZREVRANGE', KEYS[1], 0, 0, 'WITHSCORES')
if #current_max == 0 then
    -- 集合为空，直接插入
    redis.call('ZADD', KEYS[1], ARGV[1], ARGV[2])
    return 1
else
    local max_score = tonumber(current_max[2])
    local new_score = tonumber(ARGV[1])
    -- 若允许插入与最高分相等的实体，将 > 改为 >= 即可
    if new_score > max_score then
        redis.call('ZADD', KEYS[1], ARGV[1], ARGV[2])
        return 1
    else
        return 0
    end
end

调用方式 #

以Redis CLI为例，调用脚本的命令格式如下：

redis-cli EVAL "上述Lua脚本内容" 1 你的有序集合键名 新实体分数 新实体成员

• 返回1表示插入成功
• 返回0表示新实体分数未达到当前最高分，未插入

关键说明 #

• 原子性保障：Lua脚本在Redis中是单线程执行的，从查询最高分、比较到插入的整个流程不会被其他客户端的操作打断，彻底避免竞态条件。
• 灵活调整逻辑：如果你的需求允许插入与现有最高分相等的实体，只需将脚本中的new_score > max_score改为new_score >= max_score即可。
• 性能考量：脚本仅调用2次Redis命令（ZREVRANGE和可能的ZADD），性能开销极低，适合高并发场景。

内容的提问来源于stack exchange，提问作者starkk92