tips:阅读本文章之前请先对AQS有一个大概了解,知道state,知道他的等待队列CLH
本文以其中一条非公平锁得线说起,说之前先请出AQS原理的这张图
1. lock方法调用
首先,sync是ReentrantLock在初始化得时候设置得,根据用户传入得参数,决定是公平锁得实现还是非公平锁得实现(true为公平锁)。
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
所以在调用lock方法加锁得时候,执行sync.lock()就会根据你初始化时候是设置得公平锁还是非公平锁了。
2. 我们这里以非公平锁为例讲解,所以选择NonfairSync的实现的lock方法
final void lock() {
//尝试用CAS修改state属性,如果state=0(表示没有线程占用共享资源,也就是未获取到锁),我们就将它更新为1(大于零表示有现成占用了)
if (compareAndSetState(0, 1))
//如果设置成功,相当于获取到锁了,就讲获取锁的线程设置未当前线程
setExclusiveOwnerThread(Thread.currentThread());
else
//如果获取锁失败调用acquire(1)方法
acquire(1);
}
3. acquire(1)调用详解
acquire方法内部涉及到以下几个方法的调用:
- tryAcquire():重新尝试加锁,如果是初始化的是非公平锁。则调用NonfairSync的tryAcquire()
- addWaiter(): 重新尝试加锁失败才会执行,将当前线程的任务封装成一个Node节点返回
- acquireQueued(): 重新尝试加锁失败才会执行,将Node放入队列最开始图中的CLH队列中
- selfInterrupt():执行完这些后,发起调用lock方法的main线程相当于就可以中断了
4. 重点分析下tryAcquire里面的源码
tryAcquire()又会调用nonfairTryAcquire()方法(这次都是讲的非公平锁),中点就在nonfairTryAcquire方法内部了。
1.首先会回去AQS框架中资源state的值
2.如果state==0,就是用CAS方式进行设置为1(前面传过来的1,这acquire(1);
)
3.如果设置成功,就将锁的独占线程设置为当前线程,然后返回true获取锁成功
4.如果state!=0,会查看当前线程是否与锁的占有线程是同一个线程,
5.如果是,那么设置state+1,然后获取到锁(重入锁),返回true
6.否则返回false,获取锁失败
lock方法调用,一整个流程图:
看完非公平锁的lock流程,起是公平锁的就比较简单了
1、公平锁能保证:老的线程排队使用锁,新线程仍然排队使用锁。
2、非公平锁保证:老的线程排队使用锁;但是无法保证新线程抢占已经在排队的线程的锁
- 非公平锁的lock调用时候,上来回先CAS抢锁,强到将当前线程设为锁的独占线程。而公平锁就是老老实实走后面的
acquire(1);
- 在执行tryAcquire时候,公平所通过!hasQueuedPredecessors()保证了不论是新的线程还是已经排队的线程都顺序使用锁。而非公平没有这个处理。
最后讲一下等待线程的唤醒:
因为lock时候,没获取到锁的线程被LockSupport.park休眠
了,所以唤醒的时候,实在获取锁的线程调用unlock时候,这个时候会对头部节点这个线程,调用LockSupport.unpark()唤醒
,然后去争抢锁。