【面试题系列】CurrentHashMap的实现原理

目录

CurrentHashMap的实现原理

JDK8 实现原理

JDK1.7实现原理

CAS

Synchronized原理：

---

CurrentHashMap的实现原理

JDK8 实现原理

1，实现方式：synchronized+CAS+HashEntry+红黑树

2，线程安全：内部大量采用CAS机制操作+Synchronized保证线程安全

3，数据结构：数组+链表+红黑树

4，锁颗粒度：Node：保存key，value及key的hash值的数据结构。其中value和next都用volatile修饰，保证并发的可见性。

5.查询时间复杂度：遍历红黑树O(logN)。

其并发数量为数组长度

JDK1.7实现原理

1，实现方式：数组+Segment+分段锁的方式实现。

2，线程安全：采用segment的分段锁机制实现线程安全，其中segment继承ReentrantLock

3，数据结构：数组+Segment分段锁的数据结构

4，锁颗粒度：对需要进行数据操作的Segment加锁

5，查询时间复杂度：遍历链表O(n)。

其并发为16，因为分了16个Segment分段锁

Segment
ConcurrentHashMap中的分段锁称为Segment，它即类似于HashMap的结构，即内部拥有一个Entry数组，数组中的每个元素又是一个链表,同时又是一个ReentrantLock（Segment继承了ReentrantLock）。

CAS

AS是compare and swap的缩写，即我们所说的比较交换。cas是一种基于锁的操作，而且是乐观锁。

在java中锁分为乐观锁和悲观锁。悲观锁是将资源锁住，等一个之前获得锁的线程释放锁之后，下一个线程才可以访问。而乐观锁采取了一种宽泛的态度，通过某种方式不加锁来处理资源，比如通过给记录加version来获取数据，性能较悲观锁有很大的提高。

CAS 操作包含三个操作数 —— 内存位置（V）、预期原值（A）和新值(B)。如果内存地址里面的值和A的值是一样的，那么就将内存里面的值更新成B。

CAS是通过无限循环来获取数据的，如果在第一轮循环中，a线程获取地址里面的值被b线程修改了，那么a线程需要自旋，到下次循环才有可能机会执行。

Synchronized原理：

Synchronized进过编译，会在同步块的前后分别形成monitorenter和monitorexit这个两个字节码指令。在执行monitorenter指令时，首先要尝试获取对象锁。如果这个对象没被锁定，或者当前线程已经拥有了那个对象锁，把锁的计算器加1，相应的，在执行monitorexit指令时会将锁计算器就减1，当计算器为0时，锁就被释放了。如果获取对象锁失败，那当前线程就要阻塞，直到对象锁被另一个线程释放为止。

monitorenter ：

每个对象有一个监视器锁（monitor）。当monitor被占用时就会处于锁定状态，线程执行monitorenter指令时尝试获取monitor的所有权，过程如下：

1、如果monitor的进入数为0，则该线程进入monitor，然后将进入数设置为1，该线程即为monitor的所有者。

2、如果线程已经占有该monitor，只是重新进入，则进入monitor的进入数加1.

3.如果其他线程已经占用了monitor，则该线程进入阻塞状态，直到monitor的进入数为0，再重新尝试获取monitor的所有权。

monitorexit：

执行monitorexit的线程必须是objectref所对应的monitor的所有者。

指令执行时，monitor的进入数减1，如果减1后进入数为0，那线程退出monitor，不再是这个monitor的所有者。其他被这个monitor阻塞的线程可以尝试去获取这个 monitor 的所有权。
 

————————————————

学习链接：https://blog.csdn.net/qq_22343483/article/details/98510619