juc:lock、aqs、cas、clh、synchronized相关学习记录

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算法，不断自旋，直到成功加入尾节点并阻塞，每次执行完，会唤醒队列中队头的一个线程继续执行