Java并发编程利器JUC体系分类:
locks:显式锁(互斥锁和读写锁)相关
atomic:原子变量类相关,是构建非阻塞算法的基础
executor:线程池相关
collections:并发容器相关
tools:同步工具相关,如信号量、闭锁、栅栏、等功能
JUC当中的大多数同步器实现都是围绕共同的基础行为,比如等待队列、条件队列、独占获取、共享获取等,
而这个行为的抽象就是基于AbstractQueuedSynchronizer简称AQS
AQS是一个抽象同步框架,可以用来实现一个依赖状态的同步器。
AQS具备特性
阻塞等待队列
共享/独占
公平/非公平
可重入
允许中断
JUC当中同步器的实现如Lock,Latch,Barrier等,都是基于AQS框架实现
一般通过定义内部类Sync集成AQS
将同步器所有调用都映射到Sync对应的方法
AQS框架-管理状态
AQS内部维护属性volatile int state
state表示资源的可用状态
State三种访问方式
getState()、setState()、compareAndSetState()
AQS定义两种资源共享方式
Exclusive-独占,只有一个线程能执行,如ReentrantLock
Share-共享,多个线程可以同时执行,如Semaphore/CountDownLatch
AQS定义两种队列
同步等待队列
条件等待队列
lock基于aqs,aqs基于cas算法(乐观锁)保证线程安全,和CLH队列
cas保证线程安全(乐观锁)ABA问题后面被解决
synchronized实现了自适应自旋
CLH队列是Craig、Landin、Hagersten三人发明的一种基于双向链表数据结构的队列
Java中的CLH队列是原CLH队列的一个变种,线程由原自旋机制改为阻塞机制(这里的自旋指的是CLH轮询的是当前节点的前驱节点的变量,来判断前一个线程是否释放了锁),当线程加入队列的尾节点的时候,会进行cas算法,不断自旋,直到成功加入尾节点并阻塞,每次执行完,会唤醒队列中队头的一个线程继续执行