如何使用Redis和Lua开发分布式数据结构功能

-- 脚本代码
local key = KEYS[1]   -- 键名
local value = ARGV[1] -- 值

local current = redis.call('GET', key) -- 获取当前值
if current then
  current = tonumber(current)
  current = current + tonumber(value)
else
  current = tonumber(value)
end

redis.call('SET', key, current) -- 设置新值
return current

redis-cli EVAL "脚本代码" 1 key 10

-- 脚本代码
local key = KEYS[1]   -- 键名
local value = ARGV[1] -- 值

redis.call('RPUSH', key, value) -- 在列表尾部添加元素
return redis.call('LLEN', key) -- 返回列表长度

redis-cli EVAL "脚本代码" 1 queue "hello"

-- 脚本代码
local key = KEYS[1]       -- 哈希表名
local field = ARGV[1]     -- 字段名
local value = ARGV[2]     -- 字段值
local time_field = ARGV[3] -- 创建时间字段名

local created_at = redis.call('HGET', key, time_field) -- 获取创建时间
if not created_at then
  redis.call('HSET', key, time_field, os.time()) -- 设置创建时间
end

redis.call('HSET', key, field, value) -- 设置字段值
return redis.call('HGETALL', key)    -- 返回哈希表内容

redis-cli EVAL "脚本代码" 1 user:name "age" "28" "created_at"

-- 脚本代码
local key = KEYS[1]   -- 集合名
local value = ARGV[1] -- 值

local result = redis.call('SADD', key, value) -- 添加元素到集合
return redis.call('SCARD', key)               -- 返回集合的基数

redis-cli EVAL "脚本代码" 1 votes "Alice"

-- 脚本代码
local key = KEYS[1]   -- 有序集合名
local member = ARGV[1] -- 成员名
local score = ARGV[2]  -- 分数

redis.call('ZADD', key, score, member) -- 添加成员到有序集合
return redis.call('ZREVRANK', key, member) -- 返回成员在排行榜中的排名

redis-cli EVAL "脚本代码" 1 leaderboard "Alice" 100