ConcurrentHashMap如何保证线程安全【解释】

1、put操作的线程安全

      当有多个线程同时进行put操作，在初始化数组时使用了乐观锁CAS操作来决定到底是哪个线程有资格进行初始化，其他线程均只能等待。用到的并发技巧：

• volatile变量（sizeCtl）：它是一个标记位，用来告诉其他线程这个坑位有没有人在，其线程间的可见性由volatile保证。
• CAS操作：CAS操作保证了设置sizeCtl标记位的原子性，保证了只有一个线程能设置成功

转载：https://blog.csdn.net/qq_41737716/article/details/90549847 
 

CAS算法：

          这个算法的基本思想就是不断地去比较当前内存中的变量值与你指定的一个变量值是否相等，如果相等，则接受你指定的修改的值，否则拒绝你的操作。因为当前线程中的值已经不是最新的值，你的修改很可能会覆盖掉其他线程修改的结果。

     CAS（Compare And Swap ）即比较交换，CAS算法过程：CAS（V,E,N）它有三个操作数分别为：V表示要更新的变量，E表示预估值，N表示新值。当且仅当V值等于E值时，才将V的值设置为N；如果V值和E值不同, 返回当前V的值。

CAS详见本篇博客

https://blog.csdn.net/sinat_41144773/article/details/89632464

 

转载:https://www.cnblogs.com/junjiang3/p/8686290.html

三个原子操作：

同时，在ConcurrentHashMap中还定义了三个原子操作，用于对指定位置的节点进行操作。这三种原子操作被广泛的使用在ConcurrentHashMap的get和put等方法中，

正是这些原子操作保证了ConcurrentHashMap的线程安全。

// 获取tab数组的第i个node

static final <K,V> Node<K,V> tabAt(Node<K,V>[] tab, int i) {
    return (Node<K,V>)U.getObjectVolatile(tab, ((long)i << ASHIFT) + ABASE);
}
// 利用CAS算法设置i位置上的node节点。在CAS中，会比较内存中的值与你指定的这个值是否相等，如果相等才接受
static final <K,V> boolean casTabAt(Node<K,V>[] tab, int i,
                                    Node<K,V> c, Node<K,V> v) {
    return U.compareAndSwapObject(tab, ((long)i << ASHIFT) + ABASE, c, v);
}
// 利用volatile方法设置第i个节点的值，这个操作一定是成功的。
static final <K,V> void setTabAt(Node<K,V>[] tab, int i, Node<K,V> v) {
    U.putObjectVolatile(tab, ((long)i << ASHIFT) + ABASE, v);
}