Java并发编程之锁原理

1、基础概念

根据对资源是否能够同时使用，把锁分为独占锁和共享锁。独占锁：与具体线程相关，一个线程获取到锁资源后，就会标记这个线程获取到了该资源，其他线程在尝试获取资源时，就会失败而被阻塞。共享锁：与具体线程不相关，当多个线程去请求资源时，通过CAS（compare and swap）方式竞争资源，当一个线程获取到资源后，其他线程再次去获取时如果当前资源还能满足它的要求，则当前线程只需要使用CAS方式进行获取即可。

2. AQS原理分析

2.1 AQS（abstract queue synchronizer）抽象同步队列。

是实现同步器的基础组件，Java并发包中锁的底层是基于AQS实现。AQS类图关系如下：

 

AQS是一个双向的FIFO队列，通过head节点和tail节点标记头队列首尾元素。节点元素Node中的thread变量存放等待线程。State变量表示锁的状态。ConditionObject 条件变量为内部类，每个条件变量对应一个条件队列，用来存放因调用条件变量wait方法而被阻塞的线程。

2.2 获取锁的过程

AQS核心思想是，如果被请求的共享资源空闲，则将当前请求资源的线程设置为有效的工作线程，并且将共享资源设置为锁定状态。如果被请求的共享资源被占用，那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制，这个机制AQS是用CLH队列锁实现的，即将暂时获取不到锁的线程加入到队列中。

当线程1通过CAS竞争拿到资源后，其他线程则进入等待队列，通过CAS方式循环遍历state状态值的方式来获取锁。每个节点都必须设置前置节点的 waitStatus状态为 SIGNAL（唤醒下一个节点），防止重复释放锁，所以必须要一个前置节点，而这个前置节点，实际上就是当前持有锁的节点。