红包拆解必须用Redis Lua脚本实现原子操作，通过线段切割法生成严格满足总和与最小值约束的随机金额，并配合EVALSHA调用、兜底校验及集群哈希标签设计确保资金安全与高并发正确性。
红包拆解必须用原子操作，否则并发下会超发
红包金额拆解不是简单随机切分，核心矛盾是：总金额不能多也不能少，且每个请求必须看到一致的剩余金额。Redis 单命令天然原子，但 INCR、DECR 无法做带约束的随机分配；Lua 脚本在服务端一次性执行，能读取当前剩余金额、生成合规随机数、更新余额、返回结果——整个过程不被其他客户端打断。
常见错误是先用 GET 拿余额，再在客户端算完用 SET 写回去。这中间存在竞态：两个请求同时读到 100 元，各自拆出 30 和 40，最后剩 30 元，实际已发 70 —— 严重超发。
- 所有读写必须封装进一个 Lua 脚本内，用
redis.call("GET", KEYS[1])开始，redis.call("SET", KEYS[1], new_balance)结束 - 不要在 Lua 中用
math.random()前不调math.randomseed()，否则多请求可能产出相同序列（尤其在短时间密集调用时） - KEYS[1] 存剩余金额，ARGV[1] 传要拆的个数，ARGV[2] 传最小单位（如 1 分），避免浮点误差
Lua 里生成“和固定、有最小值”的随机红包，别信网上抄的均匀分布代码
真实场景要求：n 个人抢 m 元，每人至少 1 分，总和严格等于 m * 100（单位为分）。直接用 math.random(1, rest) 累加会导致尾部失控或超限。正确做法是“线段切割法”：在 (0, total) 区间随机选 (n−1) 个不重复点，排序后相邻差值即为每份。
示例关键逻辑（单位为分）：
local total = tonumber(ARGV[1])
local n = tonumber(ARGV[2])
local points = {}
for i = 1, n - 1 do
table.insert(points, math.random(1, total - 1))
end
table.sort(points)
local result = {}
local prev = 0
for i = 1, #points do
table.insert(result, points[i] - prev)
prev = points[i]
end
table.insert(result, total - prev)注意：math.random() 默认范围是 [1, 2^32)，所以务必用 math.random(1, total - 1) 限定上限，否则点可能超出区间导致负数。
脚本加载与调用必须用 EVALSHA，别每次都 EVAL
每次用 EVAL 发送完整 Lua 字符串，既占带宽又增加网络开销，更重要的是 Redis 需反复解析编译——高并发下 CPU 明显上涨。正确路径是：首次用 EVAL 加载，拿到 SHA1 值（如 "8a1e..."），后续全用 EVALSHA。
- 首次加载：
redis-cli --eval红包.lua redpack:1001 , 10 100（假设脚本名红包.lua，KEYS 是 redpack:1001，ARGV 是人数和总分） - 后续调用：
redis-cli EVALSHA 8a1e... 1 redpack:1001 10 100 - 如果返回
"NOSCRIPT No matching script. Please use EVAL."，说明脚本被驱逐（如内存满触发 LRU），需降级回EVAL并重试一次
预留“兜底校验”，防止 Lua 逻辑缺陷导致资金异常
哪怕脚本逻辑自测充分，上线后仍可能因边界条件（如 n=1、total=0、网络中断重试）引发意外。不能只信 Lua 返回结果，必须在应用层补一道校验：
- 调用前记录本地期望总金额和人数；调用后检查返回数组长度是否等于人数，各值是否 ≥ 最小单位，总和是否等于原始金额
- 若校验失败，立即记录告警并拒绝发放，而不是静默吞掉或重试——重试可能加剧问题
- 对每个红包 KEY 维护一个
redpack:1001:log列表，用LPUSH记录每次成功拆解的明细（JSON 格式），方便事后对账
最易被忽略的是：没考虑 Redis 集群模式下 KEYS 必须落在同一 slot。如果红包 KEY 设计成 redpack:{id}，而 id 是纯数字，不同红包可能跨节点——此时 EVAL 会报错 CROSSSLOT Keys in request don't hash to the same slot。解决方案是强制哈希标签，比如用 redpack:{1001}（花括号包裹），确保同 id 红包一定路由到同一节点。
