Java容器解析系列(11) HashMap 详解
本篇我们来介绍一个最常用的Map结构——HashMap
关于HashMap,关于其基本原理,网上对其进行讲解的博客非常多,且很多都写的比较好,所以....
这里直接贴上地址:
关于hash算法:
关于HashMap:
JDK 源码中 HashMap 的 hash 方法原理是什么？
What is the use of Holder class in HashMap?(HashMap.Holder)
JDK7与JDK8中HashMap的实现(jdk8对HashMap的红黑树改进)
读完上面的内容,应该对HashMap有了很深的理解,这里补充1点助于深入的理解:
高并发情况下,HashMap为什么会出现死循环
上述博客均对多线程情况下的HashMap出现死循环问题的原理进行了解释,但是没有提供demo进行参考,我在网上也试图找相应的demo,但是没有能够100%复现的;这里我们直接参考疫苗：JAVA HASHMAP的死循环中的数据和过程,修改HashMap源码,提供循环demo,并阐述死锁发生的原因,及如何解决死循环:
首先,修改HashMap源码如下:
import java.util.Map;
public class HashMap<K,V>{
private transient Entry[] table;
private transient int size;
private int threshold;
private final float loadFactor;
transient int modCount;
public HashMap(int initialCapacity,float loadFactor){
int capacity = 1;
while(capacity < initialCapacity)
capacity <<= 1;
this.loadFactor = loadFactor;
threshold = (int)(capacity * loadFactor);
table = new Entry[capacity];
}
// 所有的hash值都是1
final int hash(Object k){
return 1;
}
// 让所有的值的索引都是1
static int indexFor(int h,int length){
return 1;
}
public V get(Object key){
Entry<K,V> entry = getEntry(key);
return null == entry ? null : entry.getValue();
}
final Entry<K,V> getEntry(Object key){
int hash = (key == null) ? 0 : hash(key);
for(Entry<K,V> e = table[indexFor(hash,table.length)];
e != null;
e = e.next){
System.out.println("e.getKey():" + e.getKey());
Object k;
if(e.hash == hash && ((k = e.key) == key || (key != null && key.equals(k)))){
return e;
}
}
return null;
}
public V put(K key,V value,boolean delay){
int hash = hash(key);
int i = indexFor(hash,table.length);
for(Entry<K,V> e = table[i];e != null;e = e.next){
Object k;
if(e.hash == hash && ((k = e.key) == key || key.equals(k))){
V oldValue = e.value;
e.value = value;
return oldValue;
}
}
modCount++;
addEntry(hash,key,value,i,delay);
return null;
}
void addEntry(int hash,K key,V value,int bucketIndex,boolean delay){
if((size >= threshold) && (null != table[bucketIndex])){
resize(2 * table.length,delay);
hash = (null != key) ? hash(key) : 0;
bucketIndex = indexFor(hash,table.length);
}
createEntry(hash,key,value,bucketIndex);
}
void createEntry(int hash,K key,V value,int bucketIndex){
Entry<K,V> e = table[bucketIndex];
table[bucketIndex] = new Entry<>(hash,key,value,e);
size++;
}
// 扩容,添加了delay参数,用于在测试过程中进行测试
void resize(int newCapacity,boolean delay){
Entry[] newTable = new Entry[newCapacity];
transfer(newTable,delay);
threshold = (int)(newCapacity * loadFactor);
}
// 原有的HashMap的transfer函数,会导致死循环,且有对象被丢弃
// 添加延时选项,用于手动控制多个线程的相对运行过程
void transfer(Entry<K,V>[] newTable,boolean delay){
System.out.println("transfer in\t" + Thread.currentThread().toString());
int newCapacity = newTable.length;
for(Entry e : table){
while(null != e){
Entry<K,V> next = e.next;
if(delay){
try{
Thread.sleep(20);
}catch(InterruptedException e1){
e1.printStackTrace();
}
}
int i = indexFor(e.hash,newCapacity);
e.next = newTable[i];
newTable[i] = e;
e = next;
}
}
System.out.println("transfer out\t" + Thread.currentThread().toString());
}
// 解决死循环
// 方式: 扩容后的数组,在对象rehash的过程中,如果某个位置出现冲突,采用尾插法将Entry插入链表
// 原理: 出现死循环的原因:在rehash过程中,对原数组某个位置的链表,采用从头开始的遍历方式,在新数组中,如果出现冲突,采用头插法将Entry插入链表
// 注意: 这里虽然解决了死循环的问题,但是因为并发修改对象内容,导致遍历过程中某些对象被丢弃的问题还是存在,
// 所以还是老老实实地用ConcurrentHashMap或者Collections.synchronizedMap()吧
//void transfer(Entry<K,V>[] newTable,boolean delay){
// System.out.println("transfer in\t" + Thread.currentThread().toString());
// int newCapacity = newTable.length;
// for(Entry e : table){
// while(null != e){
// Entry<K,V> next = e.next;
// if(delay){
// try{
// Thread.sleep(20);
// }catch(InterruptedException e1){
// e1.printStackTrace();
// }
// }
// int i = indexFor(e.hash,newCapacity);
// Entry tmp = newTable[i];
// if(tmp == null){
// newTable[i] = e;
// newTable[i].next = null;
// }else{
// // 尾插法
// while(tmp.next != null){
// System.out.println(tmp.next.getKey());
// System.out.println("----------------------");
// tmp = tmp.next;
// }
// tmp.next = e;
// tmp.next = null;
// }
// e = next;
// }
// }
// System.out.println("transfer out\t" + Thread.currentThread().toString());
//}
static class Entry<K,V> implements Map.Entry<K,V>{
final K key;
V value;
Entry<K,V> next;
int hash;
Entry(int h,K k,V v,Entry<K,V> n){
value = v;
next = n;
key = k;
hash = h;
}
public final K getKey(){
return key;
}
public final V getValue(){
return value;
}
public final V setValue(V newValue){
V oldValue = value;
value = newValue;
return oldValue;
}
// hashCode永远为1
public final int hashCode(){
return 1;
}
public final String toString(){
return getKey() + "=" + getValue();
}
}
}
public class HashMapInfinitLoop{
public static void main(String[] args) throws InterruptedException{
HashMap<Integer,Integer> map = new HashMap<>(4,0.8f);
map.put(5,55,false);
map.put(7,77,false);
map.put(3,33,false);
new Thread("Thread1"){
public void run(){
map.put(17,77,true);
System.out.println("put 17 finished");
}
}.start();
new Thread("Thread2"){
public void run(){
map.put(23,33,false);
System.out.println("put 23 finished");
}
}.start();
Thread.sleep(2000);
// 此处get()死循环
System.out.println(map.get(5));
}
}
运行上述demo,控制台输出如下:
transfer in Thread[Thread1,5,main]
transfer in Thread[Thread2,5,main]
transfer out Thread[Thread2,5,main]
put 23 finished
transfer out Thread[Thread1,5,main]
put 17 finished
e.getKey():17
e.getKey():23
e.getKey():3
e.getKey():7
e.getKey():3
e.getKey():7
.......
注释掉原有的transfer(),使用解决死循环的transfer(),运行结果如下:
transfer in Thread[Thread1,5,main]
transfer in Thread[Thread2,5,main]
transfer out Thread[Thread2,5,main]
put 23 finished
transfer out Thread[Thread1,5,main]
put 17 finished
e.getKey():17
e.getKey():23
e.getKey():3
null
发现死循环问题是没有了,但是还是存在数据被丢弃的情况.
so,it sucks
Let's go change the world,or changed by the world
