什么是AQS:Juc中的大多数同步器都是围绕着一些相同的基础行为，比如等待队列，条件队列，共享，独占获取变量这些行为，抽象出来就是基于AQS（AbstractQueuedSynchronizer）实现的。所以可以把AQS看成这些行为的一个整合。
管程:管程是指管理共享变量，以及对共享变量操作的过程，以此来让它们支持并发。不管是sychronized还是ReentrantLock，都是基于MESA的管程模型实现的
入口等待队列:
如果共享资源已经被占用，那么其余线程会被阻塞在里面，等待唤醒的时候才会再去竞争共享变量
条件变量等待队列:
ReentrantLock中的Condition.await()的时候会进入对应的条件队列，调用signal()的时候会从条件队列进入到入口等待队列，sychronized中只有一个条件等待队列（因为没有Condition），这个队列实现了阻塞唤醒的功能。
来看一下ReentrantLock.lock()中的关键代码
//尝试获取共享变量
protected final boolean tryAcquire(int acquires) {
final Thread current = Thread.currentThread();
//获取共享变量
int c = getState();
if (c == 0) {
//cas尝试修改共享变量，如果成功了，那么将独占线程设置成当前线程
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}
else if (current == getExclusiveOwnerThread()) {
//锁重入逻辑，state+1
setState(c + acquires);
return true;
}
return false;
}
tryAcquire方法中做的事情就是尝试去获取共享变量state（默认是0），如果获取到了那么通过cas将其修改成1，然后将其独占线程设置成当前线程，如果是锁重入，那么就将state再次+1，如果是多个线程进来，未获取到共享变量的线程，接下来会走到addWaiter中的enq()方法。
//构造阻塞队列
private Node enq(final Node node) {
for (;;) {
//第一次进来的时候肯定是null
Node t = tail;
if (t == null) { // Must initialize
//通过cas设置头尾指针，都指向空Node（首节点）
if (compareAndSetHead(new Node()))
tail = head;
} else {
//第二次循环的时候，首结点已经构造完
node.prev = t;
//将尾指针指向该节点，并且绑定和首节点之间的指向关系
if (compareAndSetTail(t, node)) {
t.next = node;
return t;
}
}
}
}enq()主要用来创建阻塞队列，构造空节点为头结点，并且将头结点的next变量指向传入的节点，将传入节点的prev变量指向头结点。如果已经构造过了阻塞队列，那么会在addWaiter中就直接创建节点之间的指向关系，然后返回。并且会跳至acquireQueued方法
final boolean acquireQueued(final Node node, int arg) {
boolean failed = true;
for (;;) {
//前置节点如果是头结点，那么会再次去竞争共享资源
final Node p = node.predecessor();
if (p == head && tryAcquire(arg)) {
//如果竞争成功，那么就会将头结点设置成该节点，并且将其线程和prev全部置空
setHead(node);
p.next = null; // help GC
failed = false;
return interrupted;
}
//如果获取不到，那么就调用lockSupport.park进行阻塞，等到释放锁的时候被唤醒
if (shouldParkAfterFailedAcquire(p, node) &&
parkAndCheckInterrupt())
interrupted = true;
}
}构造完阻塞队列入队之后，并不会立马就进行阻塞，而是会先判断他的前置节点是否是头结点，如果是，那么会再一次进行资源竞争（所以如果是公平锁，被唤醒之后会将前置节点是头结点的那个节点出队然后获取资源）。如果获取不到那么就调用lockSupport.park()进行阻塞。
公平锁和非公平锁的区别:公平锁只会从阻塞队列里面按照入队顺序一个个的去竞争，非公平锁在释放锁的时候，如果有线程进来了，那么也会去立马抢占锁，并不会按顺序入到阻塞队列中，这是两者的最大区别。
条件队列的源码可以自行再去解读一下（主要就是调用了await和signal方法，await的时候入条件队列，signal的时候从条件队列转到阻塞队列），本文主要讲解了获取锁的整个流程。但是现在一般用的都是微服务架构，分布式锁的实现和源码解析可以参考下文 分布式锁源码解析
