Java并发包4--可重入锁ReentrantLock的实现原理

2021-01-16 10:12

阅读:619

标签:重写   两种   实现原理   其他   lock   就是   设置   方法   flow   

前言

ReentrantLock是JUC提供的可重入锁的实现,用法上几乎等同于Synchronized,但是ReentrantLock在功能的丰富性上要比Synchronized要强大。

一、ReentrantLock的使用

ReentrantLock实现了JUC中的Lock接口,Lock接口定义了一套加锁和解锁的方法,方法如下:

 1     /**
 2      * 加锁,如果加锁失败则会阻塞当前线程,直到加锁成功
 3      */
 4     void lock();
 5 
 6     /**
 7      * 同上,不过会响应中断,当线程设置中断时会抛异常退出
 8      */
 9     void lockInterruptibly() throws InterruptedException;
10 
11     /**
12      * 尝试加锁,不会阻塞当前线程,加锁失败则直接返回false,成功则返回true
13      */
14     boolean tryLock();
15 
16     /**
17      * 同上,不过有超时时间,当直到时间之后还是没有加锁成功,则返回false,成功则返回true
18      */
19     boolean tryLock(long time, TimeUnit unit) throws InterruptedException;
20 
21     /**
22      * 解锁
23      */
24     void unlock();
25 
26     /**
27      * 创建Condition对象,用于实现线程的等待/唤醒机制
28      */
29     Condition newCondition();

 

ReentrantLock使用案例如下:

1         ReentrantLock lock = new ReentrantLock(true);//初始化Lock对象
2         lock.lock();//加锁操作
3         try{
4             //TODO do someThing
5         }catch (Exception e){
6             e.printStackTrace();
7         }finally {
8             lock.unlock();//解锁操作
9         }

 

ReentrantLock的使用比较简单,直接通过构造函数创建实例,分别调用lock方法加锁,unlock方法解锁即可。

ReentrantLock的构造方法有两个分别如下:

1 /**默认构造函数,默认采用非公平锁*/
2     public ReentrantLock() {
3         sync = new NonfairSync();
4     }
5 
6     /**传入fair字段表示是否采用公平锁,true为公平锁;false为非公平锁*/
7     public ReentrantLock(boolean fair) {
8         sync = fair ? new FairSync() : new NonfairSync();
9     }

 

ReentrantLock支持公平锁和非公平锁两种锁机制,公平锁则表示同步的队列是FIFO模式的,等待时间最长的线程先获取锁;非公平模式则表示获取锁的线程完全随机,看CPU分配给哪个线程就由哪个线程获取锁。

二、ReentrantLock的实现原理解析

ReentrantLock的实现原理全部是通过其内部类Sync实现的,Sync集成于AQS并重写了AQS的获取和释放同步状态的方法,源码如下:

Reentrantock的加锁和解锁方法都是调用了内部类Sync的对应方法

 1 /**加锁方法*/   
 2 public void lock() {
 3         sync.lock();
 4     }
 5 
 6 /**尝试加锁方法*/
 7 public boolean tryLock() {
 8         return sync.nonfairTryAcquire(1);
 9     }
10 
11 /**解锁方法*/
12 public void unlock() {
13         sync.release(1);
14     }
15 
16 /**创建Condition对象*/
17 public Condition newCondition() {
18         return sync.newCondition();
19     }
20 
21 /**判断当前线程是否独占锁*/
22 public boolean isHeldByCurrentThread() {
23         return sync.isHeldExclusively();
24     }

 

所以探究ReentrantLock的实现原理,主要是看内部类Sync的实现逻辑,而ReentrantLock类中除了有内部类Sync,还有Sync的两个子类(公平同步器)FairSync和(非公平同步器)NonFairSync,Sync的子类分别重写了Sync的lock方法和tryAcquire方法,

FairSync实现的是公平锁的效果,NonFairSync实现的是非公平锁的效果。

公平锁实现源码:

1 /** class FairSync * /
2 
3 /**公平锁*/
4 final void lock() {
5             acquire(1);//调用AQS的acquire方法
6         }

 

AQS的acquire实际是调用了子类的tryAcquire方法,FairSync的tryAcquire方法源码如下:

 1 /**公平加锁*/
 2     protected final boolean tryAcquire(int acquires) {
 3         final Thread current = Thread.currentThread();//获取当前线程
 4         int c = getState();//获取当前同步状态
 5         if (c == 0) {//当状态为0时表示锁没有被占有
 6             /**
 7              * 尝试获取锁
 8              * hasQueuedPredecessors()方法判断当前线程是否是head节点的后继节点
 9              * compareAndSetState()通过CAS来设置AQS的state值
10              * */
11             if (!hasQueuedPredecessors() &&
12                     compareAndSetState(0, acquires)) {
13                 /**设置当前线程为占用锁的线程*/
14                 setExclusiveOwnerThread(current);
15                 return true;
16             }
17         }
18         /**
19          * 当状态不为0时,表示锁已经被占用,此时判断当前线程是否是占用锁的线程
20          * getExclusiveOwnerThread()方法返回当前占用锁的线程
21          * */
22         else if (current == getExclusiveOwnerThread()) {
23             /**
24              * 如果当前线程已经占有了锁,则修改状态+1,表示占用了锁次数+1
25              * 所以可重入锁的实现原理就是state值 + 1
26              * */
27             int nextc = c + acquires;
28             if (nextc )
29                 throw new Error("Maximum lock count exceeded");
30             /**设置同步状态值 = 旧状态值 + 1*/
31             setState(nextc);
32             return true;
33         }
34         return false;
35     }

 

从源码看出,公平锁的实现逻辑实际就是遵循FIFO原则,尝试获取锁的前提是必须当前线程是同步队列head节点的后继节点,这样就保证了获取锁的顺序是完全按照同步队列的节点顺序获取的。

非公平锁实现原理:

 1     /**非公平锁加锁*/
 2     final void lock() {
 3         /**直接通过CAS尝试设置同步状态,
 4          * 成功则调用setExclusiveOwnerThread方法设置当前线程为占用锁的线程*/
 5         if (compareAndSetState(0, 1))
 6             setExclusiveOwnerThread(Thread.currentThread());
 7         else
 8             /**失败则调用AQS的acquire方法,实际是调用tryAcquire方法*/
 9             acquire(1);
10     }
11 
12     protected final boolean tryAcquire(int acquires) {
13         /**调用Sync的nonfairTryAcquire方法*/
14         return nonfairTryAcquire(acquires);
15     }
16 
17     /**非公平获取同步状态*/
18     final boolean nonfairTryAcquire(int acquires) {
19         final Thread current = Thread.currentThread();
20         int c = getState();
21         if (c == 0) {
22             /**
23              * 判断当前同步状态值,值为0则表示可以获取锁
24              * 直接通过CAS设置同步状态,成功则获取锁成功
25              * */
26             if (compareAndSetState(0, acquires)) {
27                 setExclusiveOwnerThread(current);
28                 return true;
29             }
30         }
31         /**
32          * 当锁被占用后判断是否占用锁的线程是否是当前线程
33          * 如果是则状态值+1,表示锁可以重入
34          * */
35         else if (current == getExclusiveOwnerThread()) {
36             int nextc = c + acquires;
37             if (nextc // overflow
38                 throw new Error("Maximum lock count exceeded");
39             setState(nextc);
40             return true;
41         }
42         return false;
43     }

 

通过源码可以看出非公平锁和加锁流程和公平锁的加锁流程基本上一致,只是公平锁加锁之前需要判断当前线程是否是同步队列head节点的后继节点,而非公平锁无需判断直接可以尝试加锁。所以效率上非公平锁的效率更高。

解锁源码解析:

 1 /**ReentrantLock的解锁方法直接调用Sync的解锁方法
 2      * release()是父类AQS的方法,实际是调用了子类的tryRelease方法*/
 3     public void unlock() {
 4         sync.release(1);
 5     }
 6 
 7     /**Sync重写了AQS的tryRelease方法*/
 8     protected final boolean tryRelease(int releases) {
 9         /**1. 获取同步状态 -1 表示释放一次锁*/
10         int c = getState() - releases;
11         /**2. 判断当前线程是否是当前占有锁的线程*/
12         if (Thread.currentThread() != getExclusiveOwnerThread())
13             throw new IllegalMonitorStateException();
14         boolean free = false;
15         /**3. 如果同步状态值为0,表示锁完全释放了,则清除当前线程为占有锁的线程
16          *    如果同步状态值不为0,则表示加锁的次数多于解锁的次数,还需要继续解锁*/
17         if (c == 0) {
18             free = true;
19             setExclusiveOwnerThread(null);
20         }
21         /**设置同步状态值为最新的状态值*/
22         setState(c);
23         return free;
24     }

 

可以看出释放锁时就是将同步状态的值减1,直到同步状态的值变成0才表示完全释放成功,否则都会返回false表示释放锁失败。

三、ReentrantLock和Synchronzied的相同点和不同点?

相同点:

1、可重入锁,ReentrantLock和Synchronzied都是可重入锁,获取锁的线程都可以重复获取锁成功

2、独占式锁,ReentrantLock和Synchronzied都是独占式锁,同一时刻都只允许一个线程获取锁 

不同点:

1、Synchronzied可重入是隐式的,解锁是自动释放的,释放之前都可以重入;ReentrantLock可重入是显式的,需要执行多次加锁和多次释放锁操作,且加锁和解锁的次数需要完全一致,否则可能会导致其他线程无法获取到锁。

2、Synchronized是非公平锁,多线程竞争锁成功与否看各个线程自行争取;ReentrantLock同时支持公平锁和非公平锁,默认是非公平锁和Synchronzied一样,而公平锁就遵循FIFO原则,先进入等待队列中的线程优先获取锁

3、Synchronzied不需要手动释放锁;ReentrantLock需要手动释放锁,如果不释放其他线程就无法获取锁,所以释放锁需要放在finally中执行

4、Synchronzied不可响应中断,获取不到就会一直阻塞直到获取锁成功;ReentrantLock支持响应中断,可以通过设置中断标识来中断阻塞的线程

5、Synchronzied是通过获取对象的Monitor对象来实现的;ReentrantLock是通过AQS的子类来实现的

 

四、ReentrantLock注意事项?

1、ReentrantLock的可重入性是显式的

ReentrantLock可重入性实际就针对同步状态自增或自减操作,重入了多少次锁就必须对应的释放多少次锁,而不可以进多次而只释放一次,只有当前释放次数和加锁次数一样时才算真正的释放成功。

2、公平锁和非公平锁比较

公平锁遵循FIFO原则保证了获取锁的顺序和同步队列中的线程顺序一致,但是性能上比非公平锁差很多,因为需要不停的CPU线程切换。

非公平锁性能更好,没有多余的CPU线程切换消耗,但是极端情况下会出现“饥饿线程”问题(某些线程始终抢不到锁而一致等待着)

 

Java并发包4--可重入锁ReentrantLock的实现原理

标签:重写   两种   实现原理   其他   lock   就是   设置   方法   flow   

原文地址:https://www.cnblogs.com/jackion5/p/12924816.html


评论


亲,登录后才可以留言!