HashMap,ConcurentHashMap,HashTable,Collections.synchronizedMap()线程安全概述

一、综述

HashMap, HashTable, Collections.synchronizedMap(), ConcurrentHashMap

线程同步的方式比较

二、HashMap

标准链地址法实现

 

hashMap源码简单剖析:

http://blog.csdn.net/zhangerqing/article/details/8193118

三、HashTable

标准链地址法实现(存储结构和HashMap完全相同)

每个方法本身都是 synchronized 的，不会出现两个线程同时对数据进行操作的情况， 因此保证了线程安全性，但是也大大的降低了执行效率。因此是不推荐的。

1、HashMap是非线程安全的，HashTable是线程安全的。

2、HashMap的键和值都允许有null值存在，而HashTable则不行。

3、因为线程安全的问题，HashMap效率比HashTable的要高。

四、Collections.synchronizedMap()

源代码：

private final Map<K,V> m;     // Backing Map

final Object mutex;// 所有对map的修改方法都拿这个对象作为同步监视器对象

基本所有的方法都加上了synchronized(mutex)。

 

但是这个HashMap不能随便地进行迭代，因为它只是简单包装了HashMap，而回看HashMap的实现，我们可以发现，对于冲突的key，形成一个链表，明显如果有一个线程在历遍HashMap，另一个线程在做删除操作，则很有可能出错。

因此，JDK中给出以下代码：

 Map m = Collections.synchronizedMap(new HashMap());

     ...

 Set s = m.keySet();  // Needn't be in synchronized block

     ...

 synchronized(m) {  // Synchronizing on m, not s!(对m同步,而非s)

     Iterator i = s.iterator(); // Must be in synchronized block

     while (i.hasNext())

         foo(i.next());

 }

五、ConcurrentHashMap

默认一个ConcurrentHashMap中有16个子HashMap(称为segment或table)，所以相当于一个二级哈希。对于所有的操作都是先定位到子HashMap，再作相应的操作。

数据结构图:

 

向 ConcurrentHashMap 中插入数据或者读取数据，首先都要将相应的 Key 映射到对应的 Segment，因此不用锁定整个类， 只要对单个的 Segment 上锁就可以了。理论上如果有 n 个 Segment，那么最多可以同时支持n个线程的并发访问，从而大大提高了并发访问的效率。

另外 rehash() 操作也是针对单个的 Segment ，所以由 Map 中的数据量增加导致的 rehash 的成本也是比较低的。(HashMap的rehash是针对所有Entry的)

public V get(Object key)

先得到 key所在的table，再像HashMap一样get

中间并不加锁

 

public V put(K key, V value)

先得到所属的table，加锁

判断table是否要扩容

如果table要扩容，则产生newTable

hash值相同的slot整体移到newTable(即此key在newTable和oldTable的hash值相同,不需要新建Entry)

hash值不同的slot，把oldTable中的所有Entry都复制到newTable中

因为有可能其它线程在历遍这个table，所以不能把原来的链表拆断(原链表不变,保证其他线程遍历操作的正确性)

 

public V remove(Object key)

remove操作，如下图，要删除Entry3，则先复制Entry1为Entry1*，Entry1*指向Entry4，再复制Entry2为Entry2*，Entry2*指向Entry1*，最终形成一个两叉的链表。原本的Entry1，Entry2，Entry3会被GC自动回收。

 

 

迭代操作

ConcurrentHashMap是从后向前历遍的(HashMap是从前向后遍历的)

ConcurrentHashMap的clear操作会把table中的所有slot都置为null，这个操作是从前向后执行

如果线程A在历遍Map时也是从前向后，则有可能会出现追赶现象。

以下代码：

HashMap<Integer, String> m1 = new HashMap();

    m1.put(1, "001");

    m1.put(2, "002");

    for(Entry<Integer, String> entry : m1.entrySet()){

        System.out.println("key:" + entry.getKey());

    }

HashMap输出的是 key:1 key:2

ConcurrentHashMap输出的是key:2 key:1