LRU-2 是基于访问频次的两级缓存策略:新 key 首访入 ghost list,二访才晋升至主 lru list,仅多次访问者被标记为热 key,从而过滤偶然访问噪声;其核心是 ghost 与 lru 两个独立双向链表协同 map 实现,且 ghost 不存 value,晋升需删除旧节点并新建,不可复用 element。

LRU-2 是什么,它和普通 LRU 有什么本质区别
LRU-2 不是 LRU 的简单变种,而是基于“访问历史频次”做淘汰的两级缓存策略:一个新 key 首次访问进入 ghost list(幽灵链表),第二次访问才晋升到主 lru list;只有在 lru list 中被再次访问,才会被标记为“热 key”,否则下次淘汰时优先清掉那些只访问过一次的 entry。这能有效过滤掉偶然性访问噪声。
Go 标准库没有现成实现,container/list 只支持单链表,无法同时维护两个独立有序结构;直接用 map + 双 *list.List 是可行起点,但要注意指针生命周期管理 —— *list.Element 一旦从链表中移除,其 Next()/Prev() 就不可靠,不能缓存引用。
如何用两个双向链表 + map 实现核心结构
需要三部分协同:map[string]*entry 存键值和对应节点指针;一个 *list.List 管理主 LRU 链表(热 key);另一个 *list.List 管理 ghost 链表(冷 key 记录)。每个 *entry 要保存它在哪个链表中的 *list.Element,因为同一 key 在不同阶段只属于一个链表。
-
Get(key string):先查 map;若命中且在 lru list,移到队首并返回;若命中但在 ghost list,从 ghost 删除,加入 lru 首部(晋升);若未命中,不插入,直接返回 miss -
Put(key string, value interface{}):若 key 已存在且在 lru list,更新值并移到首部;若已存在且在 ghost list,同上晋升;若全新 key,插入 ghost 尾部(注意:ghost 不存 value,只存 key,value 待晋升时才写入 map) - 淘汰逻辑触发时,优先从 ghost 尾部删(最老的冷 key),ghost 空了再从 lru 尾部删(最久未用的热 key)
Ghost list 的 value 字段可以设为 struct{} 或直接用 string,避免无谓内存分配;主 lru list 的 entry 则需完整字段:key、value、lruElem *list.Element、ghostElem *list.Element(二者必居其一为 nil)。
为什么不能复用同一个 list.Element 在两个链表间移动
*list.Element 的内部状态绑定到所属链表,调用 list.Remove(elem) 后,该 elem 的 list 字段被置为 nil,再次调用 list.MoveToFront(elem) 会 panic:list element not in list。常见错误是想“把 elem 从 ghost 拿出来,塞进 lru”,结果忘了它已经不属于任何 list。
正确做法是:对 ghost 中的 elem,先 ghostList.Remove(elem),再新建一个 *list.Element 插入 lru list,并更新 map 中对应 entry 的 lruElem 字段 —— 即每次晋升都是一次“删除 + 新建”。虽然多了点分配,但语义清晰、无悬空指针风险。
另外,map 的 value 类型建议用 *entry 而非 entry,否则在修改 lruElem 字段时不会影响 map 中副本,导致后续操作找不到正确节点。
并发安全与 size 控制的实际取舍
加 sync.RWMutex 最直接,但读多写少场景下,RLock() 期间不能执行晋升(涉及写两个链表),所以 Get 也得用 Lock() —— 实际变成全互斥,吞吐下降明显。更实用的做法是用 sync.Map 存 key → value 映射,再配两个独立的 sync.Mutex 分别保护 lru list 和 ghost list,但要注意:晋升操作需按固定顺序获取两个锁(比如先 ghost 后 lru),避免死锁。
size 控制不能只看 entry 数量:ghost list 中的 key 不占 value 内存,但占 map 和链表节点开销;lru list 中的大 value 才是真实压力源。推荐在 Put 时传入 sizeFunc func(interface{}) int,对 value 估算字节大小,累计总 size 并在超限时触发淘汰 —— 这比固定 entry 数量更贴近真实资源约束。
Ghost list 的长度通常设为主 lru list 的 1–2 倍,太小起不到过滤作用,太大则内存浪费;这个比例在初始化时定死即可,运行期无需动态调整。


















