java实现线程安全的hashmap_浅析JDK1.8 下HashMap线程安全性

Java线程安全主要体现在3个方面：可见性、原子性、有序性。下文主要从原子性和可见性分析JDK 1.8 中HashMap的线程安全性及ConcurrentHashMap如何实现线程安全。

HashMap中存在的线程安全问题：

1.HashMap在读取Hash槽首元素的时候读取的是工作内存中引用所指向的对象，并发情况下，其他线程修改的值并不能被及时读取到。

2.HashMap在插入新元素的时候，主要会进行两次判断：

2.1 第一次是根据键的hash判断当前hash槽是否被占用，如果没有就放入当前插入对象。并发情况下，如果A线程判断该槽未被占用，在执行写入操作时时间片耗尽。此时线程B也执行获取hash(恰巧和A线程的对象发生hash碰撞)判断该槽未被占用，继而直接插入该对象。然后A线程被CPU重新调度继续执行写入操作，就会将线程B的数据覆盖。(注：此处也有可见性问题)

2.2 第二次是同一个hash槽内，因为HashMap特性是保持key值唯一，所以会判断当前欲插入key是否存在，存在就会覆盖。与上文类似，并发情况下，如果线程A判断最后一个节点仍未发现重复key那么会把以当前对象构建节点挂在链表或者红黑树上，如果线程B在A判断操作和写操作之间，进行了判断和写操作，也会发生数据覆盖。

除此之外扩容也会发生类似的并发问题。还有size的问题，感觉其实高并发情况下这个size的准确性可以让步性能。

ConcurrentHashMap实现线程安全

其实观察后发现HashMap的线程安全主要体现在可见性和TestAndSet操作的非原子性上。解决这两个问题的暴力方法就是给每个方法加锁，synchronized关键字的虚拟机实现保证了原子性和可见性(具体可参考《深入理解