Redis怎样高效统计在线用户数_使用Lua脚本实现精确去重-Redis-PHP中文网

必须用lua脚本原子性维护在线用户集合，因set+expire非原子导致过期残留或丢数据，hset+扫描有延迟和竞态，而setex/expireat无法对集合成员单独设ttl，仅lua能保证sadd与expire一步完成。

redis怎样高效统计在线用户数_使用lua脚本实现精确去重

直接用 SET + SCARD 不够准，必须用 Lua 脚本原子性维护在线用户集合，否则并发写入会导致重复计数或漏计。

为什么不能只靠 `SET` 或 `HSET` 记录用户 ID

单纯把用户 ID 存进 SET 看似简单，但实际场景中：用户可能多端登录（App、Web、小程序），每次心跳都触发一次 SADD，而 SADD 本身虽幂等，问题出在「过期逻辑」——如果用 EXPIRE 单独设置 key 过期，和 SADD 非原子，中间若服务重启或网络中断，就可能残留无效 ID；更糟的是，用 HSET 存用户+时间戳再靠后台扫描清理，会引入延迟和竞态。

关键矛盾在于：「记录上线」和「续期过期时间」必须一步完成。

SETEX 只能设整个 key 过期，不适用于集合内单个成员
EXPIREAT 操作的是 key 级别，无法绑定到某个 user_id
客户端自己算时间 + 多条命令组合，在 Redis 集群或故障重试时必然丢原子性

用 Lua 脚本实现「添加并续期」的原子操作

核心思路：把「用户 ID 加入集合」和「为整个 key 设置过期时间」打包成一个 Lua 脚本执行，由 Redis 保证中间不被打断。注意不是给每个 member 设 TTL（Redis 不支持），而是让整个 SET key 的生命周期反映最新活跃窗口。

示例脚本（保存为 online_user_add.lua）：

local key = KEYS[1]
local uid = ARGV[1]
local expire_sec = tonumber(ARGV[2])

redis.call('SADD', key, uid)
redis.call('EXPIRE', key, expire_sec)
return redis.call('SCARD', key)

调用方式（以 redis-cli 为例）：

redis-cli --eval online_user_add.lua online:users , 12345 1800

KEYS[1] 是集合 key 名，如 online:users
ARGV[1] 是用户 ID 字符串，必须传字符串（即使数字也要转成 "12345"）
ARGV[2] 是过期秒数，比如 1800 表示 30 分钟无新心跳则自动淘汰整个集合
脚本返回当前集合大小，可直接用于监控上报

真实业务中必须处理的三个细节

这个脚本看着短，但上线后常因忽略以下点导致统计失真：

心跳频率要明显小于 EXPIRE 时间（例如设 30 分钟过期，心跳间隔必须 ≤ 10 分钟），否则某次网络抖动就让整个 key 被删，所有用户“瞬间掉线”
不要用 INCR 或 GETSET 类命令去维护单个用户过期时间——SET 集合天然去重，额外加哈希结构纯属冗余且破坏原子性
集群模式下，KEYS[1] 必须是哈希标签一致的 key（如 online:{users}），否则 --eval 会报 CROSSSLOT 错误