一.ReentrantLock介绍
1.1介绍
ReentrantLock,可重入锁,首先是一个锁,独占锁,可重入(也就是当前线程获取锁后,还可以再次获取该锁);
1.2API介绍
ReentrantLock有多个接口,这也是相对于synchronized的一个优势吧,可以灵活地对锁进行控制,而不用像synchronized(没有获得monitor则只能阻塞死等)。
// 创建reetrantLock对象,默认使用非公平锁
ReentrantLock reentrantLock = new ReentrantLock();
// ReentantLock构造器可以接收一个参数(是否为公平锁)
ReentrantLock reentrantLock = new ReentrantLock(true);
// 尝试获取锁,如果没有获取到锁,则一直等待(不响应中断)
reentrantLock.lock();
// 尝试获取锁,如果没有获取到锁,则一直等待,但是可以响应中断
// reentrantLock.lockInterruptibly();
// 释放锁,如果没有获取到锁就释放锁,会抛出IllegalMonitorStateException异常
reentrantLock.unlock();
// 查看线程获取该锁的次数
reentrantLock.getHoldCount();
// 判断锁是否为公平锁
reentrantLock.isFair();
// 判断锁是否被某个线程持有
reentrantLock.isLocked();
// 判断锁是否被当前线程所持有
reentrantLock.isHeldByCurrentThread();
// 尝试获取锁,如果获取锁失败,则立即返回false,获取锁成功返回true,不会阻塞
boolean b = reentrantLock.tryLock();
// 尝试获取锁,有超时时间,可以响应中断
// reentrantLock.tryLock(1, TimeUnit.SECONDS);
二.源码分析
2.1 类关系图
在看源码之前,需要先了解一下ReentrantLock相关的类关系:
如果看图麻烦,可以看下面的示例:
package java.util.concurrent.locks;
/**
* 极简ReetrantLock的定义
*/
public class ReentrantLock implements Lock, java.io.Serializable {
/**
* 保存Sync的实例化类(公平锁或者非公平锁)
*/
private final Sync sync;
/**
* AbstractQueuedSynchronizer就是传说中的AQS(抽象类)
*/
abstract static class Sync extends AbstractQueuedSynchronizer {
// ...
}
/**
* 非公平锁
*/
static final class NonfairSync extends Sync {
}
/**
* 公平锁
*/
static final class FairSync extends Sync {
}
}
需要注意的是,AbstractQueuedSynchronizer(AQS)中有一个state属性,在ReentrantLock中该属性用来保存持有锁的线程获取该锁的次数,比如锁处于自由状态(没有被任何一个线程获取)时,state为0,如果一个线程获取到该锁,则state为1,如果该线程再获取一次该锁,那么state就变为2。
2.2 创建ReentrantLock
ReentrantLock类有两个构造方法:
1.无参构造方法(默认使用非公平锁)
2.接收boolean值,表示是否使用公平锁
/**
* 创建一个ReentrantLock对象,默认使用非公平锁
*/
public ReentrantLock() {
sync = new NonfairSync();
}
/**
* 创建一个ReetrantLock对象,传入是否使用公平锁
*/
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
因为公平锁和非公平锁的差别不是特别大,大部分的流程是相同的,所以先介绍公平锁,然后在介绍非公平锁。
2.3 获取锁lock
调用reentrantLock.lock()方法,会尝试获取锁,如果获取到锁,则执行获取到锁后的操作;如果没有获取到锁,则会一直阻塞等待,并且不会响应中断。
/**
* 获得锁
* 如果锁没有被其他线程持有,那么就当前线程就获取该锁,并且将state置为1,然后返回;
* 如果当前线程已经持有该锁,那么就将state加1,然后方法返回;
* 如果锁被其他线程持有,那么当前线程就将阻塞,知道当前线程获取到该锁。
*/
public void lock() {
sync.lock(); // 调用FairSync.lock方法
}
/**
* 尝试加锁
*/
final void lock() {
// 传入的1,是想要设置state的值(如果加锁成功,就将state设为1,表示锁被该线程获取1次)
acquire(1);
}
/**
* 尝试获取锁,不接收中断
*/
public final void acquire(int state) {
// 尝试获取锁
// 如果获取锁失败,则尝试将该线程加入等待队列
if (!tryAcquire(arg) && acquireQueued(addWaiter(AbstractQueuedSynchronizer.Node.EXCLUSIVE), arg)) {
selfInterrupt();
}
}
/**
* 尝试加锁,立即返回加锁的结果,不会阻塞
*
* @return true加锁成功;false:加锁失败
*/
protected final boolean tryAcquire(int acquires) {
// 获取当前线程
final Thread current = Thread.currentThread();
// state为0,表示锁没有被其他线程持有(处于自由状态)
int c = getState();
if (c == 0) {
// 如果队列中没有其他线程排在当前线程前面,那么就尝试加锁,设置state为1
if (!hasQueuedPredecessors() && compareAndSetState(0, acquires)) {
// 如果加锁成功,则将当前线程设置为拥有锁的独占线程
setExclusiveOwnerThread(current);
// 返回加锁成功
return true;
}
} else if (current == getExclusiveOwnerThread()) {
// 判断是否为当前线程是否为拥有锁的独占线程(如果是,则重入)
// 修改state的值,设置为已加锁次数再加1
int nextc = c + acquires;
if (nextc < 0) {
throw new Error("Maximum lock count exceeded");
}
setState(nextc);
return true;
}
// 否则返回false,表示尝试加锁失败
return false;
}
2.4 加入阻塞队列-addWaiter
上面在tryAcquire尝试获取锁失败后,就会将当前线程加入阻塞队列,也就是下面这个方法:
/**
* 根据当前线程和传入的mode,创建队列节点并且入队,返回入队的节点
*
* @param mode Node.EXCLUSIVE for exclusive, Node.SHARED for shared
* @return 入队的新节点
*/
private Node addWaiter(Node mode) {
// 创建入队节点
Node node = new Node(Thread.currentThread(), mode);
// 尝试快速入队(利用CAS将节点设置到tail的后面)
Node pred = tail;
if (pred != null) {
node.prev = pred;
// 将节点插到tail的后面,如果入队成功,则返回入队节点
if (compareAndSetTail(pred, node)) {
pred.next = node;
return node;
}
}
// 快速入队失败,
enq(node);
return node;
}
/**
* 节点入队
* 如果是第一次入队,此时队列为空,此时不会直接入队,
* 而是会创建一个新节点入队,然后将传入的节点进行入队,并返回要入队节点的前节点
*
* @return 返回该节点的前节点
*/
private Node enq(final Node node) {
for (; ; ) {
Node t = tail;
// 队列为空,则建一个队列的新节点,然后让head指向该节点
// 注意,此时是创建一个新节点,而不是让要入队的节点加入队列
if (t == null) {
if (compareAndSetHead(new Node())) {
// 新加入一个元素,此时队列中只有一个元素,所以头尾指向同一个节点
tail = head;
}
} else {
// 队列不为空,则将要入队的节点插入到队尾,然后将入队元素的前节点返回
node.prev = t;
if (compareAndSetTail(t, node)) {
t.next = node;
return t;
}
}
}
}
2.5 阻塞入队的线程
线程入队后,还要将线程进行阻塞,当然在阻塞前,还会再试一下能不能获取锁,如果还不能获取锁,则会再进行一次判断(判断waitStatus的值),再进行阻塞。
/**
* 将当前线程加入等待队列,或尝试获取锁,获取失败,则会判断是否需要阻塞,需要阻塞则进行阻塞
*
* @param node the node
* @param arg the acquire argument
* @return {@code true} if interrupted while waiting
*/
final boolean acquireQueued(final Node node, int arg) {
boolean failed = true;
try {
// 标记等待过程中是否发生中断
boolean interrupted = false;
for (; ; ) {
// 获取前一个节点
final Node p = node.predecessor();
// 如果前一个节点是头结点,那么就尝试获取锁
if (p == head && tryAcquire(arg)) {
// 如果获取锁成功,则将节点设置为头结点,同时清空该节点的thread和pre属性
setHead(node);
p.next = null; // help GC
failed = false;
return interrupted;
}
// 判断是否在获取锁失败后进行park,如果需要park,那么就进行park同时监听中断
if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt()) {
interrupted = true;
}
}
} finally {
if (failed) {
cancelAcquire(node);
}
}
}
2.6唤醒线程
在调用lock()尝试获取锁的时候,有一步:
/**
* 尝试获取锁,不接收中断
*/
public final void acquire(int arg) {
// 尝试获取锁
// 如果获取锁失败,则尝试将该线程加入等待队列
if (!tryAcquire(arg) && acquireQueued(addWaiter(AbstractQueuedSynchronizer.Node.EXCLUSIVE), arg)) {
selfInterrupt();
}
}
acquireQueued上面已经看到了,就是将加入队列的元素进行阻塞(当然也可能获取到锁),获取到锁则返回true,那么就会执行selfInterrupt(),就是当前线程产生中断
static void selfInterrupt() {
Thread.currentThread().interrupt();
}
然后线程获取到锁后,就会继续执行自己的代码。
2.7 获取非公平锁
获取非公平锁,一个线程尝试获取非公平锁时,会直接上来就利用CAS尝试获取锁,如果获取到锁,则将该线程设置为锁的独占线程,否则进行和公平锁一样的排队
/**
* 线程尝试进行加锁,如果加锁失败(未获取到锁),则当前线程将阻塞
*/
final void lock() {
// 如果加锁成功,则将当前线程排除在外(等待队列)
if (compareAndSetState(0, 1)) {
setExclusiveOwnerThread(Thread.currentThread());
} else {
// 获取锁,与公平锁相同
acquire(1);
}
}
2.8 非公平锁尝试获取锁
非公平锁在尝试获取锁的时候,不会判断等待队列中是否有其他线程正在等待,而是尝试使用CAS来抢占锁。如果抢占锁失败后,才会加入等待队列。
// 尝试获取非公平锁
protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
/**
* 尝试获取锁(非公平锁)
*/
final boolean nonfairTryAcquire(int acquires) {
// 获取当前线程
final Thread current = Thread.currentThread();
// 获取state,如果state为0,表示锁除以自由状态
int c = getState();
if (c == 0) {
// 注意锁为空自由状态时,非公平锁并没有像公平锁一样,先判断是否有其他的排队线程(hasQueuedPredecessors)
// 而是直接尝试利用CAS获取锁
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
} else if (current == getExclusiveOwnerThread()) {
// 锁的独占线程和当前线程相同,则进行重入,增加state(此处是加1)
int nextc = c + acquires;
if (nextc < 0) {
throw new Error("Maximum lock count exceeded");
}
setState(nextc);
return true;
}
return false;
}
2.9 释放锁
释放锁,分为3种情况:
1.当前线程不是持有锁的线程,此时释放锁会抛出异常;
2.当前线程释放锁后,锁处于自由状态,那么需要唤醒队列中的接任者;
3.当前线程释放锁后,锁仍旧被当前线程持有(发生过重入),测试不会唤醒接任者。
/**
* 释放锁,如果锁不是由当前线程持有,则会抛出IllegalMonitorStateException异常
*/
public void unlock() {
sync.release(1);
}
public final boolean sync.release(int arg) {
// 尝试释放锁
if (tryRelease(arg)) {
Node h = head;
// 如果锁处于自由状态,那么就唤醒阻塞的继任者线程
if (h != null && h.waitStatus != 0) {
unparkSuccessor(h);
}
return true;
}
return false;
}
/**
* 尝试释放锁,返回值表示锁是否处于自由状态
*/
protected final boolean tryRelease(int releases) {
// 计算释放锁后,state的值为多少(如果为0)表示自由状态
int c = getState() - releases;
// 如果当前线程不是持有锁的线程,则会抛出异常
if (Thread.currentThread() != getExclusiveOwnerThread()) {
throw new IllegalMonitorStateException();
}
boolean free = false;
// 如果state为0,表示所处于自由状态,将该锁的独占线程标识给清除
if (c == 0) {
free = true;
setExclusiveOwnerThread(null);
}
// 设置state
setState(c);
return free;
}