重入锁,又称递归锁,是指在同一线程中,外部方法获取锁后,内层递归方法仍然可以获取该锁。如果锁不具备重入性,那么当一个线程两次获取锁的时候就会发生死锁。java提供了java.util.concurrent.ReentrantLock来解决重入锁问题。
ReentrantLock重入锁并不是容器集合类的一部分,但它在Concurrency包中占据了非常重要的一部分。在并发容器的实现中被大量使用。
ReentrantLock是一种显式锁,与synchronized隐式锁对应。synchronized不能显式的对Lock对象进行操作,因此有很多不便利性。而显式锁提供了多种方法来操作Lock。
1) lock():获取锁,如果锁不可用,那么当前线程会休眠直到获取锁为止。
2) lockInterruptibly():可中断地获取锁,如果当前线程发生interrupt,则释放锁。
3) tryLock():尝试获取锁,如果取到了,那么返回true,它与lock()的区别在于它不会休眠当前线程。
4) unlock():释放锁。
5) newCondition():创建一个当前锁的条件监视器Condition,condition实例用于控制当前Lock的线程队列的notify和wait。
ReentrantLock的实现基于AQS,通过tryAcquire和tryRelease的重写,实现了锁机制和重入机制。
1,ReentrantLock的公平锁与非公平锁
ReentrantLock在底层有两种实现方式,分别是FairSync(公平锁)和NonfairSync(非公平锁),它们lock()流程如图:
FairSync
1 static final class FairSync extends Sync {
2 private static final long serialVersionUID = -300003432432432L;
3 final void lock() {
4 //FairSync直接调用acquire方法来获取锁
5 acquire(1);
6 }
7 protected final boolean tryAcqure(int acquires) {...}
8 }
FairSync与NonfairSync都会调用同样的acquire方法,因此有必要了解一下acquire方法的实现:
1 public final void acquire(int arg) {
2 //只需要注意tryAcquire()方法,它用于请求锁,返回true时后续的操作不再被处理
3 if(!tryAcquire(arg) && acquireQueued(addWaiter(Node, EXCLUSIVE), arg)) {
4 selfInterrupt();
5 }
6 }
tryAcquire用于请求锁,当请求失败的时候,会把当前线程加入等待队列,addWaiter()和acquiredQueued()方法分别对应封装等待线程节点和请求入队操作。
NonfairSync
1 static final class NonfairSync extends Sync {
2 private static final long serialVesionUID = 4324242432L;
3 final void lock() {
4 //验证当前锁状态,如果是0,那么设置1
5 //状态为0说明没有其他线程持有锁,当前线程可以直接获得锁
6 //setExclusiveOwnerThread即为了当前排它锁执行所有者线程方法
7 if(compareAndSetState(0, 1)) {
8 setExclusiveOwnerThread(Thread.currentThread());
9 } else {
10 //状态不为0,则说明其他线程持有锁,执行获取锁的方法acquire
11 //该方法最终用于获取锁的方法是tryAcquire
12 acquire();
13 }
14
15 protected fianl boolean tryAcquire(int acquires) {
16 return nonfairTryAcquire(acquires);
17 }
18 }
19 }
1)
NonFairSync类在lock()方法调用的第一时间,直接验证当前锁状态,如果没有其它线程持有锁(锁状态state为0),那么当前线程会持有锁。NonfairSync与fairSync主要区别为:
2) NonFairSync类的tryAcquire()方法执行不同,它直接调用了nonfairTryAcquire()方法,nonfairTryAcquire()方法不要求严格按照等待队列的入队顺序获取锁。
下面来看一下FairSync.tryAcquire()和NonFairSync.nonfairTryAcquire():
1 protected final boolean tryAcquire(int acquires) {
2 final Thread current = Thread.currentThread();
3 int c = getState();
4 if(c == 0) {
5 //注意这个hasQueuedPredecessors()方法,只有FairSync才会调用它
6 //它是FairSync和NonFairSync仅有的区别
7 if(!hasQueuedPredecessors() && compareAndSetState(0, acquires)) {
8 setExclusiveOwnerThread(current);
9 return true;
10 } else if(current == getExclusiveOwnerThread()) {...}
11 return false;
12 }
13 }
1) FairSync保证了FIFO,先入队的等待线程会先获得锁,而NonfairSync任由各个等待线程竞争。
2) 由于FairSync要保证有序性,所以NonfairSync的性能更高,ReentrantLock默认使用NonfairSync。
2,ReentrantLock的重入性
加锁有两种基本形式,互斥锁与自旋锁。
互斥锁(Mutex),通过阻塞线程来进行加锁,中断阻塞来进行解锁。
1 public class MutexLock {
2 private AtomicReference<Thread> owner = new AtomicReference<>();
3 private LinkedList<Thread> list = new LinkedList<>();
4 public void lock() {
5 Thread currentThread = Thread.currentThread();
6 //没有任何线程持有锁时,让当前线程持有锁,反之则加入等待队列并阻塞
7 if(!owner.compareAndSet(null, currentThread)) {
8 waiterQueue.add(currentThread);
9 //LockSupport阻塞当前线程
10 LockSupport.park();
11 }
12 }
13 public void unlock() {
14 //如果解锁的线程不是持有锁的线程,那么抛出异常
15 if(Thread.currentThread() != owner.get()) {
16 throw new RuntimeException();
17 }
18 //等待队列里有内容时,恢复队头线程,更改持有锁的线程,反之则直接释放锁
19 if(waiterQueue.size() > 0) {
20 Thread t = waiterQueue.poll();
21 owner.set(t);
22 //LockSupport释放指定线程
23 LockSupport.unpark(t);
24 } else {
25 owner.set(null);
26 }
27 }
28 }
自旋锁(Spin lock),线程保持运行态,用一个循环体不停地判断某个标质量的状态来确定加锁还是解锁,本质上用一段无意义的死循环来阻塞线程运行。
1 public class SpinLock {
2 private AtomicReference<Thread> owner = new AtomicReference<>();
3 public void lock() {
4 Thread current = Thread.currentThread();
5 //没有任何线程持有锁时,让当前线程持有锁,反之则利用循环来阻塞
6 while (!owner.compareAndSet(null, current)) { }
7 }
8 public void unlock() {
9 Thread current = Thread.currentThread();
10 //释放锁
11 owner.compareAndSet(current, null);
12 }
13 }
无论哪种实现方式,都回避不了一个问题,那就是在同一个线程中,如果递归地获取相同的锁,都会出现死锁。设想线程A持有了锁,在释放之前,A再次请求加锁,此时由于锁拥有了持有者,于是由于锁拥有了持有者(A自己),于是A被阻塞了。因此需要引入重入锁: 自旋锁(Spin lock),线程保持运行态,用一个循环体不停地判断某个标质量的状态来确定加锁还是解锁,本质上用一段无意义的死循环来阻塞线程运行。
1) 在线程持有锁的时候,其它线程不能访问上锁的共享资源。
2) 在线程持有锁的时候,线程本身可以继续访问上锁的共享资源。
3) 在多次递归访问中,只有当全部访问都结束了,线程才会释放锁。
由此可以想到一个很直观的解决方式——计数器,对持有锁的线程的每一次访问进行计数,只有当访问次数清空之后,其他线程才能继续访问。
1 public class MutexLock {
2 private AtomicReference<Thread> owner = new AtomicReference<>();
3 private LinkedList<Thread> waiterQueue = new LinkedList<>();
4 private volatile AtomicInteger state = new AtomicInteger(0);
5 public void lock() {
6 Thread currentThread = Thread.currentThread();
7 //如果请求锁的线程是当前线程
8 if(owner.get() == currentThread) {
9 state.incrementAndGet();
10 return;
11 }
12 //没有任何线程持有锁时,让当前线程持有锁,反之则加入等待队列并阻塞
13 if(!owner.compareAndSet(null, currentThread)) {
14 waiterQueue.add(currentThread);
15 //LockSupport阻塞当前线程
16 LockSupport.park();
17 }
18 }
19 public void unlock() {
20 //如果解锁的线程不是持有锁的线程,那么抛出异常
21 if(Thread.currentThread() != owner.get()) {
22 throw new RuntimeException();
23 }
24 //计数器清空之后才能继续之后的操作
25 if(state.get() > 0) {
26 state.decrementAndGet();
27 return;
28 }
29 //等待队列里有内容时,释放指定队列,更改持有锁的线程,反之则清空持有锁的线程
30 if(waiterQueue.size() > 0) {
31 Thread t = waiterQueue.poll();
32 owner.set(t);
33 //LockSupport释放指定线程
34 LockSupport.unpark(t);
35 } else {
36 owner.set(null);
37 }
38 }
39 }
FairSync.tryAcquire()和NonfairSync.nofairTryAcquire()有重用部分,无论公平锁还是非公平锁,在处理重入上,代码是一致的:
1) 判断state标量是否为0,如果为0,那么说明没有线程持有该锁,当前线程可以持有锁,返回true;FairSync.tryAcquire()和NonfairSync.nofairTryAcquire()有重用部分,无论公平锁还是非公平锁,在处理重入上,代码是一致的:
2) 如果state不为0,那么判断当前线程是否为锁持有者。
3) 如果不是,那么当前线程不能持有锁,返回false;
4) 如果是,那么当前线程已经持有锁,此时认同线程请求次数增加,state需要增加acquires次,acquires表示新增的请求锁次数。
1 final boolean nonfairTryAcquire(int acquires) {
2 final Thread current = Thread.currentThread();
3 int c = getState();
4 if(c == 0) {
5 //...
6 } else if(current == getExclusiveOwnerThread()) {
7 int nextc = c + acquires;
8 if(nextc < 0) {
9 throw new Error("Maximum lock count exceeded");
10 }
11 setState(nextc);
12 return true;
13 }
14 }
tryRelease()方法有一个整型参数releases形参,用来表示本次释放锁的次数,如果当前线程不是锁持有者,那么说明这是一次非法调用,当state计数归零的时候,调用setExclusiveOwnerThread(null),用来表示没有线程持有锁了,此后锁可以被任意调用。
1 protected final boolean tryRelease(int releases) {
2 int c = getState() - releases;
3 if(Thread.currentThread() != getExclusiveOwnerThread()) {
4 throw new IllegalMonitorStateException;
5 }
6 boolean free = false;
7 if(c == 0) {
8 free = true;
9 setExclusiveOwnerThread(null);
10 }
11 setState(c);
12 return free;
13 }