ConcurrentHashMap源码分析
提前须知
1.本篇针对jdk1.8,jdk1.8中ConcurrentHashMap放弃segment 改用 synchronized(f){}
2. 在 putVal 方法中,如果发现线程当前 hash 冲突了,也就是当前 hash 值对应的槽位有值了,且如果这个值是 -1 (MOVED),说明 Map 正在扩容。那么就帮助 Map 进行扩容。以加快速度。
对应代码 : else if ((fh = f.hash) == MOVED) tab = helpTransfer(tab, f);
static final int MOVED = -1;
static final int TREEBIN = -2;
static final int RESERVED = -3;
static final int HASH_BITS = 0x7fffffff;
put()方法
public V put(K key, V value) {
return putVal(key, value, false);
}
putVal()方法
final V putVal(K key, V value, boolean onlyIfAbsent) {
if (key == null || value == null) throw new NullPointerException();
int hash = spread(key.hashCode());
int binCount = 0;
for (Node<K,V>[] tab = table;;) {
Node<K,V> f; int n, i, fh;
if (tab == null || (n = tab.length) == 0)
tab = initTable();
else if ((f = tabAt(tab, i = (n - 1) & hash)) == null) {
if (casTabAt(tab, i, null,
new Node<K,V>(hash, key, value, null)))
break;
}
else if ((fh = f.hash) == MOVED)
tab = helpTransfer(tab, f);
else {
V oldVal = null;
synchronized (f) {
if (tabAt(tab, i) == f) {
if (fh >= 0) {
binCount = 1;
for (Node<K,V> e = f;; ++binCount) {
K ek;
if (e.hash == hash &&
((ek = e.key) == key ||
(ek != null && key.equals(ek)))) {
oldVal = e.val;
if (!onlyIfAbsent)
e.val = value;
break;
}
Node<K,V> pred = e;
if ((e = e.next) == null) {
pred.next = new Node<K,V>(hash, key,
value, null);
break;
}
}
}
else if (f instanceof TreeBin) {
Node<K,V> p;
binCount = 2;
if ((p = ((TreeBin<K,V>)f).putTreeVal(hash, key,
value)) != null) {
oldVal = p.val;
if (!onlyIfAbsent)
p.val = value;
}
}
}
}
if (binCount != 0) {
if (binCount >= TREEIFY_THRESHOLD)
treeifyBin(tab, i);
if (oldVal != null)
return oldVal;
break;
}
}
}
addCount(1L, binCount);
return null;
}
initTable方法 ConcurrentHashMap初始化 (只是初始化,没有扩容)
private final Node<K,V>[] initTable() {
Node<K,V>[] tab; int sc;
while ((tab = table) == null || tab.length == 0) {
if ((sc = sizeCtl) < 0)
Thread.yield();
else if (U.compareAndSwapInt(this, SIZECTL, sc, -1)) {
try {
if ((tab = table) == null || tab.length == 0) {
int n = (sc > 0) ? sc : DEFAULT_CAPACITY;
@SuppressWarnings("unchecked")
Node<K,V>[] nt = (Node<K,V>[])new Node<?,?>[n];
table = tab = nt;
sc = n - (n >>> 2);
}
} finally {
sizeCtl = sc;
}
break;
}
}
return tab;
}
helpTransfer(tab,node)方法 (借鉴https://www.jianshu.com/p/39b747c99d32)
final Node<K,V>[] helpTransfer(Node<K,V>[] tab, Node<K,V> f) {
Node<K,V>[] nextTab; int sc;
if (tab != null && (f instanceof ForwardingNode) &&
(nextTab = ((ForwardingNode<K,V>)f).nextTable) != null) {
int rs = resizeStamp(tab.length);
while (nextTab == nextTable && table == tab &&
(sc = sizeCtl) < 0) {
if ((sc >>> RESIZE_STAMP_SHIFT) != rs || sc == rs + 1 ||
sc == rs + MAX_RESIZERS || transferIndex <= 0)
break;
if (U.compareAndSwapInt(this, SIZECTL, sc, sc + 1)) {
transfer(tab, nextTab);
break;
}
}
return nextTab;
}
return table;
}
sizeCtl
链接:https://www.jianshu.com/p/39b747c99d32
U (sun.misc.Unsafe)解释 ,很饶,也不是很懂
在initTable 中出现的U.compareAndSwapInt(this, SIZECTL, sc, -1)其中U表示sun.misc.Unsafe
这个类的提供了一些绕开JVM的更底层功能,基于它的实现可以提高效率。但是,它是一把双刃剑:正如它的名字所预示的那样,它是Unsafe的,它所分配的内存需要手动free(不被GC回收)。Unsafe类,提供了JNI某些功能的简单替代:确保高效性的同时,使事情变得更简单。
他的compareAndSwapInt方法解释如下:
第一个参数为需要改变的对象,第二个为偏移量,第三个参数为期待的值,第四个为更新后的值。整个方法的作用即为若调用该方法时,第二个的值与第三个值相等,那么则将第二个值修改为第四个值,并返回一个true,如果调用该方法时,第二个的值与第三个值不相等,那么不做任何操作,并返回一个false。
与HashMap的差异(见则取,不全)
1.hash值 ConcurrentHashMap使用spread方法,HashMap使用hash()方法
解 : spread()在hash()的基础上 & HASH_BITS 即 2^31-1
static final int spread(int h) {
return (h ^ (h >>> 16)) & HASH_BITS;
}
static final int hash(Object key) {
int h;
return (key == null) ? 0 : (h = key.hashCode()) ^ (h >>> 16);
}
2.ConcurrentHashMap中 key 和 value都不能为null 否则会抛空指针异常
if (key == null || value == null) throw new NullPointerException();
3.HashMap put执行第13次进行扩容 , ConcurrentHashMap put执行第12次扩容
存在疑问
1.fh >= 0 为什么可以看出是链表节点 ,而不是树节点 .