大家好,我是 方圆 。最近在刷 LeetCode 上LRU缓存的题目,发现答案中有 LinkedHashMap 和自己定义双向链表的两种解法,但是我对 LinkedHashMap 相关源码并不清楚,所以准备学习和记录一下。如果大家想要找刷题路线的话,可以参考 Github: LeetCode。
LRU(Least Recently Used),即最近最少使用,是一种常用的页面置换算法,选择最近最久未使用的页面予以淘汰。
1. LinkedHashMap 源码
LinkedHashMap 继承了 HashMap,并使用双向链表对所有的 entry 进行管理,使得这些节点能够按照 插入顺序 或 访问(access)顺序 来排列,并且节点的添加和移除 时间复杂度为 O(1)。
顺序的模式通过字段 accessOrder
来定义,为 false 时表示插入顺序,否则为访问顺序。LinkedHashMap 中能够定义顺序模式的构造方法如下:
java
public LinkedHashMap(int initialCapacity, float loadFactor, boolean accessOrder) {
super(initialCapacity, loadFactor);
this.accessOrder = accessOrder;
}
需要注意的是,按照插入顺序排列的 LinkedHashMap,如果 将其中已有的 key 再重新插入到 map 中,则它的节点顺序不会受到影响,我们来具体看一下源码:
LinkedHashMap 调用 put
方法时会执行 HashMap 中的 putVal
方法,关键的代码部分如下:
java
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
// ...
else {
// ...
// map 中已经存在了这个 key
if (e != null) {
V oldValue = e.value;
if (!onlyIfAbsent || oldValue == null)
e.value = value;
// 重点关注这里
afterNodeAccess(e);
return oldValue;
}
}
// ...
}
当 map 中已有该 key 时,会执行上述逻辑,注意其中的 afterNodeAccess
方法,它是定义在 HashMap 中的钩子方法,LinkedHashMap 对该方法做了实现,如下:
java
// 将 节点 移动到末尾
void afterNodeAccess(Node<K,V> e) {
LinkedHashMap.Entry<K,V> last;
// 需要满足是访问顺序排列和当前节点不是尾节点的条件
if (accessOrder && (last = tail) != e) {
// p 为当前节点,b 为 p 的前驱节点,a 为 p 的后继节点
LinkedHashMap.Entry<K,V> p =
(LinkedHashMap.Entry<K,V>)e, b = p.before, a = p.after;
// p 作为新的尾节点,after 指针为 null
p.after = null;
// 处理 p 的前驱节点 b,为空的话后继节点为新的头节点
if (b == null)
head = a;
else
// 否则 b 的 after 指针指向 p 的后继节点 a
b.after = a;
// 处理 p 的后继节点 a,不为空的话 a 的前驱节点为 b
if (a != null)
a.before = b;
else
// 这个 else 条件与当前节点 p 不是尾节点的条件相悖,理论上 a 节点不为空
last = b;
// 空链表会进入到这里,将第一插入的 p 节点作为头节点
if (last == null)
head = p;
else {
// p 节点作为新的尾节点,那么它的前驱节点是原尾节点 last
p.before = last;
// 原尾节点 last 的后继节点为 p
last.after = p;
}
// tail 尾节点指针指向 p
tail = p;
++modCount;
}
}
我们可以发现在判断条件 if (accessOrder && (last = tail) != e)
中,插入顺序 accessOrder
为 false,不会执行任何逻辑,所以重新插入已有的 key 不改变节点的顺序。当 accessOrder
为 true 时,即为访问顺序时,会将该节点移动到尾节点处。
LRU 算法需要通过访问顺序来实现 ,所以我们需要指定 accessOrder 为 True。如果需要指定 LRU 缓存的容量(超过容量将最老的节点移除),我们需要关注 afterNodeInsertion
方法,它也是定义在 HashMap 中的钩子方法,调用时机在第一次插入节点时,关键代码如下,它在 HashMap 的 putVal
方法中:
java
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
// ...
// 新节点第一次插入
afterNodeInsertion(evict);
return null;
}
我们来关注下 LinkedHashMap 中对此方法的实现:
java
// 头节点是最旧的,将头节点进行移除
void afterNodeInsertion(boolean evict) {
LinkedHashMap.Entry<K,V> first;
// evict 为 true,且头节点不为空,removeEldestEntry 为 true 时将节点进行移除
if (evict && (first = head) != null && removeEldestEntry(first)) {
K key = first.key;
removeNode(hash(key), key, null, false, true);
}
}
removeEldestEntry
方法我们需要点进去看看:
java
protected boolean removeEldestEntry(Map.Entry<K,V> eldest) {
return false;
}
我们可以发现,该方法默认情况下为 False,所以插入节点是不会对节点进行移除的。而LRU算法需要将缓存维持在固定大小,那么我们需要对该方法进行重写,比如要保持容量大小始终在100:
java
private static final int MAX_ENTRIES = 100;
protected boolean removeEldestEntry(Map.Entry eldest) {
return size() > MAX_ENTRIES;
}
总结一下,使用 LinkedHashMap 实现 LRU 缓存需要做两件事:
-
调用特定的构造方法指定
accessOrder
为 true,使得每次被访问的节点都改变节点顺序 -
如果需要指定缓存容量的话,需重写
removeEldestEntry
方法来保证不超过指定的最大容量
2. 手撕 LRU 缓存
146. LRU 缓存 中等 是 LeetCode 要求手撕 LRU 缓存的题目,大家可以点进去看一下原题,这里我们分别做出两种解法:一种是针对上文所述的 LinkedHashMap 来实现,另一种是借助 HashMap 和我们自己使用双向链表管理 entry 来实现。
LinkedHashMap 法
该方法详细内容在上文中已有具体解释,所以这里不再赘述,直接看代码即可
java
class LRUCache extends LinkedHashMap<Integer, Integer> {
// 指定缓存的最大容量
private final int capacity;
public LRUCache(int capacity) {
super(capacity, 0.75F, true);
this.capacity = capacity;
}
public int get(int key) {
return super.getOrDefault(key, -1);
}
public void put(int key, int value) {
super.put(key, value);
}
@Override
protected boolean removeEldestEntry(Map.Entry<Integer, Integer> eldest) {
return size() > capacity;
}
}
HashMap 和 双向链表
先上代码,注意其中的注释
java
class LRUCache {
static class ListNode {
ListNode left;
ListNode right;
int key, value;
public ListNode(int key, int value) {
this.key = key;
this.value = value;
}
}
private final HashMap<Integer, ListNode> map;
private final ListNode sentinel;
private final int capacity;
/**
* 定义访问过的节点移动到尾节点
*/
public LRUCache(int capacity) {
this.map = new HashMap<>(capacity);
this.capacity = capacity;
// 定义单个哨兵节点形成双向循环链表来简化边界条件的判断
ListNode sentinel = new ListNode(-1, -1);
this.sentinel = sentinel;
sentinel.right = sentinel;
sentinel.left = sentinel;
}
public int get(int key) {
if (map.containsKey(key)) {
ListNode node = map.get(key);
// 将该节点移动到尾节点
refresh(node);
return node.value;
} else {
return -1;
}
}
public void put(int key, int value) {
if (map.containsKey(key)) {
ListNode node = map.get(key);
node.value = value;
// 如果已经有这个节点则需要将其移动到尾节点
refresh(node);
} else {
ListNode node = new ListNode(key, value);
// 没有的话先判断容量
if (map.size() == capacity) {
// 先移除头节点
ListNode head = sentinel.right;
map.remove(head.key);
sentinel.right = head.right;
head.right.left = sentinel;
}
// 插入到尾节点
insert(node);
// 管理到 map 中
map.put(key, node);
}
}
/**
* 移动该节点到尾节点
*/
private void refresh(ListNode node) {
ListNode pre = node.left, next = node.right;
// 处理前驱节点 pre
pre.right = next;
// 处理后继节点 next
next.left = pre;
ListNode tail = sentinel.left;
// 将当前节点移动到尾节点
tail.right = node;
node.left = tail;
// 构建双向循环链表
node.right = sentinel;
sentinel.left = node;
}
/**
* 添加到尾节点
*/
private void insert(ListNode node) {
ListNode tail = sentinel.left;
// 添加到尾节点
tail.right = node;
node.left = tail;
// 双向循环链表
node.right = sentinel;
sentinel.left = node;
}
}
我们定义了一个 sentinel
哨兵节点,并让它形成一个循环的双向链表,我们可以根据该节点轻易获取到头节点(sentinel.right)和尾节点(sentinel.left)。这样做的好处是 简化了边界条件的处理,我们不需要在删除和移动链表节点的时候进行判空。
链表图示如下,一个空的链表只由一个哨兵节点构成:
需要注意的是,每次插入新的节点都需要注意维护循环双向链表。
巨人的肩膀
-
《算法导论》第 10.2 章