3.1、队列同步器(AQS)
队列同步器AbstractQueuedSynchronizer(以下简称同步器),是用来构建锁或者其他同步组件的基础框架。
3.1.1、它使用了一个int成员变量表示同步状态。
3.1.2、通过内置的FIFO双向队列来完成获取锁线程的排队工作。
-
同步器包含两个节点类型的应用,一个指向头节点,一个指向尾节点,未获取到锁的线程会创建节点线程安全(compareAndSetTail)的加入队列尾部。同步队列遵循FIFO,首节点是获取同步状态成功的节点。
-
未获取到锁的线程将创建一个节点,设置到尾节点。如下图所示:
-
首节点的线程在释放锁时,将会唤醒后继节点。而后继节点将会在获取锁成功时将自己设置为首节点。如下图所示:
3.1.3、独占式/共享式锁获取
独占式:有且只有一个线程能获取到锁,如:ReentrantLock;
共享式:可以多个线程同时获取到锁,如:CountDownLatch;
独占式
-
每个节点自旋观察自己的前一节点是不是Header节点,如果是,就去尝试获取锁。
-
独占式锁获取流程:
共享式:
-
共享式与独占式的区别:
-
共享锁获取流程:
四、锁的使用用例
4.1、ConcurrentHashMap(JDK1.7)的实现原理及使用
ConcurrentHashMap类图
ConcurrentHashMap数据结构
结论:ConcurrentHashMap使用的锁分段技术。首先将数据分成一段一段地存储,然后给每一段数据配一把锁,当一个线程占用锁访问其中一个段数据的时候,其他段的数据也能被其他线程访问。