因为sync.mutex仅作用于单进程内存,跨机器或多实例部署时完全失效,无法实现分布式排队;必须依赖redis等外部协调系统,通过zset+lua脚本实现带序号、超时控制和状态校验的柔性排队锁。

为什么不能直接用 sync.Mutex 做分布式排队锁
因为 sync.Mutex 只在单进程内存有效,跨机器或跨进程时完全失效。你看到的“排队”只是 goroutine 在本地等待,一旦服务部署多实例,锁就形同虚设——两个请求可能同时拿到锁、同时写数据库,数据错乱。
柔性排队的核心是:允许一定容忍度的延迟与重试,不强求绝对 FIFO,但必须保证同一资源不被并发操作。所以得依赖外部协调系统,比如 Redis 或 Etcd。
- Redis 的
SET key value NX PX timeout是常用起点,但单纯用它无法实现可靠排队(没有队列序号、超时后状态难清理) - Etcd 的租约 + 有序键前缀(如
/lock/queue/0001_abc)更适合严格排序,但写入压力大时 leader 负载高 - 别用 ZooKeeper:Go 生态支持弱、运维成本高、CP 模型在分区时不可用
用 Redis 实现带序号的柔性排队锁(推荐方案)
核心思路不是“抢到就执行”,而是“注册排队 → 等待轮到自己 → 拿锁 → 执行 → 释放”。关键在于每个请求生成唯一且可排序的排队 ID(比如时间戳+随机后缀),存入 Redis 有序集合(ZSET),再用 Lua 脚本原子地检查自己是否排第一、是否超时、是否已释放。
示例关键逻辑:
在 Golang 中使用 samber/hot 进行内存缓存,支持 LRU、LFU、TinyLFU、W‑TinyLFU、S3FIFO、ARC、TwoQueue、SIEVE、FIFO 等淘汰算法,提供 TTL、缓存加载器及分片功能。
-- Lua 脚本:check_and_lock.lua
local queue_key = KEYS[1]
local lock_key = KEYS[2]
local req_id = ARGV[1]
local timeout = tonumber(ARGV[2])
<p>-- 获取当前排名(从 0 开始)
local rank = redis.call('ZRANK', queue_key, req_id)
if not rank then return {0, "not_in_queue"} end</p><p>-- 排名不是 0?说明前面还有人,返回等待时长预估(简单用 (rank+1)*avg_cost,实际可查历史 P95)
if rank > 0 then
return {1, "waiting", rank}
end</p><p>-- 排名是 0,尝试拿锁
local ok = redis.call('SET', lock_key, req_id, 'NX', 'PX', timeout)
if ok == 'OK' then
redis.call('ZREM', queue_key, req_id) -- 出队
return {2, "locked"}
else
return {0, "lock_failed"}
end</p>
- 排队 ID 必须全局唯一且可排序:
time.Now().UnixMilli()+rand.Intn(1000)足够,避免纯时间戳在毫秒内重复 - 客户端需设置合理重试间隔(建议指数退避,初始 50ms,上限 500ms),而不是轮询 Redis
- 必须设置排队项 TTL(比如 5 分钟),防止客户端崩溃后队列卡死
-
ZRANK返回的是当前有序位置,不是插入顺序——所以插入时要用 score 表达优先级(如时间戳),而不是靠插入顺序
Golang 客户端如何安全调用排队锁
重点不是封装多漂亮,而是处理三类失败场景:网络中断、Lua 返回异常、业务执行超时后未主动释放锁。
- 用
redis.Conn.Do()或redis.UniversalClient.Eval()调用 Lua 脚本,务必检查err != nil和返回值结构(不要只看第一个字段) - 拿到锁后,启动一个独立 goroutine 做 watchdog:用
time.AfterFunc(timeout * 0.8, func(){ unlock() })防止业务 panic 导致锁滞留 - 解锁必须用 Lua 脚本校验 value 一致(防止误删别人锁),例如:
EVAL "if redis.call('GET', KEYS[1]) == ARGV[1] then return redis.call('DEL', KEYS[1]) else return 0 end" 1 lock_key req_id - 不要把排队逻辑塞进 HTTP handler;应抽成独立 service 方法,方便单元测试和 mock Redis
柔性体现在哪?哪些地方可以妥协
柔性不是“随便”,而是有意识地放弃某些强一致性保障,换取可用性与响应速度。比如:
- 允许短暂“插队”:如果某请求排队 3 秒还没轮到,且检测到前序请求已超时(通过其 TTL 判断),可主动跳过它 —— 这需要额外扫描
ZRANGE前 N 个并查 TTL,但能防雪崩 - 不保证严格 FIFO:当 Redis 主从异步复制时,
ZADD可能短暂出现在从节点顺序错乱,但只要主节点顺序正确,最终一致即可 - 降级开关必须存在:
atomic.Bool控制是否启用排队;关闭时直接走本地sync.Mutex(仅限单实例调试或灾备) - 监控指标不能少:排队长度
ZCARD、平均等待时长(用HINCRBY记录每个 req_id 的入队/出队时间差)、锁获取失败率
真正难的不是实现,而是定义清楚“柔性”的边界:你的业务能容忍几秒偏差?是否接受小概率双写?这些决定了 Redis 操作粒度、TTL 设置、以及要不要引入消息队列做二次缓冲。
golang免费学习笔记(深入):立即使用
在学习笔记中,你将探索golang的核心概念和高级技巧!










