主要扩容机制源码分析
HashMap部分源码解析–主要扩容
JDK17
//默认初始化容量 大小为16
static final int DEFAULT_INITIAL_CAPACITY = 1 << 4;
//默认最大容量
static final int MAXIMUM_CAPACITY = 1 << 30;
//默认负载因子,主要用来扩容
static final float DEFAULT_LOAD_FACTOR = 0.75f;
//树化的限制
static final int TREEIFY_THRESHOLD = 8;
//树退化为链表的单个节点的个数阈值
static final int UNTREEIFY_THRESHOLD = 6;
//最小树化的容量大小限制
static final int MIN_TREEIFY_CAPACITY = 64;
负载因子的主要作用就是扩容,当HashMap容量达到当前最大容量*负载因子时,就执行resize()扩容操作。
为什么链表进化树阈值为8呢,理想情况下,节点分布遵循泊松分布,当阈值为0.75时,一个哈希桶中出现8次的概率很低。主要为了空间与时间的效率取了一个平均值。
*0: 0.60653066
* 1:0.30326533
* 2:0.07581633
* 3:0.01263606
* 4:0.00157952
* 5:0.00015795
* 6:0.00001316
* 7:0.00000094
* 8:0.00000006
为什么退化阈值为6.
#若 loHead 的节点数量小于,则红黑树退化
if (lc <= UNTREEIFY_THRESHOLD)
tab[index] = loHead.untreeify(map);
else {
tab[index] = loHead;
if (hiHead != null)
loHead.treeify(tab);
}
#若链表数量大于或等于(树化阈值-1)则退化,
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 是因为 binCount 是 0 为第一个节点.
treeifyBin(tab, hash);
都是闭区间,当都为8的时候,会产生死循环,当阈值为7的话,可能会频繁的树化,退化等。当阈值为6的时候,应该是考虑空间和时间的需求,也就是说,当红黑树节点为6的情况下,查找节点所需时间不一定比链表快,或者快的不多,但是浪费空间多。
//数组
transient Node<K,V>[] table;
//HashMap目前有多少内容
transient int size;
//阈值大小
int threshold;
//阈值因子
final float loadFactor;
public V put(K key, V value) {
return putVal(hash(key), key, value, false, true);
}
final V putVal(int hash, K key, V value, boolean onlyIfAbsent,
boolean evict) {
Node<K,V>[] tab; Node<K,V> p; int n, i;
//给tab赋值的同时,判断节点长度,如果长度为0,表示是初始化,第一次调用
if ((tab = table) == null || (n = tab.length) == 0)
//扩容,然后获取长度
n = (tab = resize()).length;
//给节点p赋值,同时判断查看当前节点是否赋过值
if ((p = tab[i = (n - 1) & hash]) == null)
tab[i] = newNode(hash, key, value, null);
else {
//这种情况就是,不是第一次放入,并且当前节点有其他值,需要尾插或者树化
Node<K,V> e; K k;
//如果hash相同,并且key值相同,则覆盖。(第一个节点)
if (p.hash == hash &&
((k = p.key) == key || (key != null && key.equals(k))))
e = p;
//如果节点类型是树形节点,就树形插入
else if (p instanceof TreeNode)
e = ((TreeNode<K,V>)p).putTreeVal(this, tab, hash, key, value);
else {
for (int binCount = 0; ; ++binCount) {
if ((e = p.next) == null) {
//这里采用尾插法,在1.7中采用头插法
p.next = newNode(hash, key, value, null);
if (binCount >= TREEIFY_THRESHOLD - 1) // -1 for 1st
//判断如果大于树化阈值 即单个节点长度大于8就尝试树化
treeifyBin(tab, hash);
break;
}
//如果key值相同,就覆盖
if (e.hash == hash &&
((k = e.key) == key || (key != null && key.equals(k))))
break;
p = e;
}
}
if (e != null) { // existing mapping for key
V oldValue = e.value;
if (!onlyIfAbsent || oldValue == null)
e.value = value;
afterNodeAccess(e);
return oldValue;
}
}
++modCount;//增加modCount,这里是failfast机制
if (++size > threshold)
resize();//判断目前大小是否大于阈值,大于就扩容
afterNodeInsertion(evict);
return null;
}
//树化操作
final void treeifyBin(Node<K,V>[] tab, int hash) {
int n, index; Node<K,V> e;
//如果数组大小 小于64 就扩容。
if (tab == null || (n = tab.length) < MIN_TREEIFY_CAPACITY)
resize();
//否则就树化
else if ((e = tab[index = (n - 1) & hash]) != null) {
TreeNode<K,V> hd = null, tl = null;
do {
TreeNode<K,V> p = replacementTreeNode(e, null);
if (tl == null)
hd = p;
else {
p.prev = tl;
tl.next = p;
}
tl = p;
} while ((e = e.next) != null);
if ((tab[index] = hd) != null)
hd.treeify(tab);
}
}
//扩容大小
final Node<K,V>[] resize() {
Node<K,V>[] oldTab = table;
int oldCap = (oldTab == null) ? 0 : oldTab.length;
int oldThr = threshold;
int newCap, newThr = 0;
if (oldCap > 0) {
if (oldCap >= MAXIMUM_CAPACITY) {
threshold = Integer.MAX_VALUE;
return oldTab;
}
else if ((newCap = oldCap << 1) < MAXIMUM_CAPACITY &&
oldCap >= DEFAULT_INITIAL_CAPACITY)
newThr = oldThr << 1; // 两倍大扩容大小
}
else if (oldThr > 0) // initial capacity was placed in threshold
newCap = oldThr;
else { //这里是第一次进行
newCap = DEFAULT_INITIAL_CAPACITY;
newThr = (int)(DEFAULT_LOAD_FACTOR * DEFAULT_INITIAL_CAPACITY);
}
if (newThr == 0) {
float ft = (float)newCap * loadFactor;
newThr = (newCap < MAXIMUM_CAPACITY && ft < (float)MAXIMUM_CAPACITY ?
(int)ft : Integer.MAX_VALUE);
}
threshold = newThr;
@SuppressWarnings({"rawtypes","unchecked"})
Node<K,V>[] newTab = (Node<K,V>[])new Node[newCap];
table = newTab;
//给新的容量赋值
if (oldTab != null) {
for (int j = 0; j < oldCap; ++j) {
Node<K,V> e;
if ((e = oldTab[j]) != null) {
oldTab[j] = null;
if (e.next == null)
newTab[e.hash & (newCap - 1)] = e;
else if (e instanceof TreeNode)
((TreeNode<K,V>)e).split(this, newTab, j, oldCap);
else { // preserve order
//这里是尾插法,分成了两个集合。
Node<K,V> loHead = null, loTail = null;
Node<K,V> hiHead = null, hiTail = null;
Node<K,V> next;
do {
next = e.next;
if ((e.hash & oldCap) == 0) {
if (loTail == null)
loHead = e;
else
loTail.next = e;
loTail = e;
}
else {
if (hiTail == null)
hiHead = e;
else
hiTail.next = e;
hiTail = e;
}
} while ((e = next) != null);
if (loTail != null) {
loTail.next = null;
newTab[j] = loHead;
}
if (hiTail != null) {
hiTail.next = null;
newTab[j + oldCap] = hiHead;
}
}
}
}
}
return newTab;
}
JDK1.7
在JDK1.7中,在扩容时的区别,resize的时候,使用头插法进行转移节点。导致的后果,在多线程下可能会导致OOM。
JDK1.7和17下多线程都可能会导致覆盖问题。如果多线程保证线程安全还是要使用ConcurrentHashMap。