12-Lock显示锁(排它锁)

本文深入讲解ReentrantLock的原理及应用,包括公平锁与非公平锁的区别,以及ReentrantLock如何利用AQS实现线程间的同步。介绍了ReentrantLock的基本用法、内部实现机制,并对比了公平锁和非公平锁的不同之处。
摘要由CSDN通过智能技术生成

前言

Lock锁使用规范:

public void increament() {
		lock.lock();//获取锁
		try {
			//处理逻辑
		}finally {
			lock.unlock();//finally 中释放锁
		}
	}

lock锁比较灵活,什么情况下使用lock: 获取锁可中断,超时获取锁,尝试获取锁。用lock比较好,其它情况可用sync关键字锁:代码简洁

一、ReentrantLock涉及到几个概念

ReentrantLock:可重入锁,当线程获取到这个锁后,如果需要再获取这个锁,那么不需等待可直接获取,获取了几次,那么就需释放几次

ReentrantLock:公平和非公平;
公平:先请求锁的线程,先获取锁
非公平:允许插队获取锁(非公平锁效率比公平锁效率高)
因为,公平锁:当有线程请锁的时候,没有拿到被进入等待队列,锁释放后,只会按顺序从等待队列头中唤起一个线程获取锁(唤起的开锁比较大),如果是非公平锁 锁被释放 如果刚好有个线程请求锁 而队列头的线程还未被唤醒 那么刚进来的这个进程会获得锁,就节约了 这个线程需要被挂起放到队列尾部 和 队列头需要唤醒的时间。所以非公平锁效率高

1、什么是AQS:AQS即是AbstractQueuedSynchronize抽象类

AQS是java中管理“锁”的抽象类,锁的许多公共方法都是在这个类中实现。AQS是独占锁(例如,ReentrantLock)和共享锁(例如,Semaphore)的公共父类。

2、AQS锁的类别(分为“独占锁”和“共享锁”两种)

(01) 独占锁:锁在一个时间点只能被一个线程锁占有。根据锁的获取机制,它又划分为“公平锁”和“非公平锁”。公平锁,是按照通过CLH等待线程按照先来先得的规则,公平的获取锁;而非公平锁,则当线程要获取锁时,它会无视CLH等待队列而直接获取锁。独占锁的典型实例子是ReentrantLock,此外,ReentrantReadWriteLock.WriteLock也是独占锁。
(02) 共享锁:能被多个线程同时拥有,能被共享的锁。JUC包中的ReentrantReadWriteLock.ReadLock,CyclicBarrier, CountDownLatch和Semaphore都是共享锁。

3、CLH队列 (Craig, Landin, and Hagersten lock queue)

CLH队列是AQS中“等待锁”的线程队列。在多线程中,竞争资源在一个时间点只能被一个线程,其它线程则需要等待,CLH就是管理这些“等待锁”的线程的队列。
CLH是一个非阻塞的 FIFO 队列。也就是说往里面插入或移除一个节点的时候,在并发条件下不会阻塞,而是通过自旋锁和 CAS 保证节点插入和移除的原子性。

4、CAS函数(Compare And Swap )

CAS函数,是比较并交换函数,它是原子操作函数;即,通过CAS操作的数据都是以原子方式进行的。
例如,compareAndSetHead(), compareAndSetTail(), compareAndSetNext()等函数。它们共同的特点是,这些函数所执行的动作是以原子的方式进行的。

5、什么是ReentrantLock可重入性

当一个线程获取ReentrantLock锁,AQS的state会记录这个线程名,并将state加1,等下次这个线程又想获取锁时,不用等待可以直接再次获取锁,
并将state再加1,所以这个线程需要释放锁2次,将state减为0,其它线程再能获取锁。

二、ReentrantLock的公平和非公平2种模式

ReentrantLock支持两种获取锁的方式,一种是公平模型,一种是非公平模型,默认使用非公平锁。
ReentraantLock是通过一个FIFO的等待队列来管理获取该锁所有线程的。在“公平锁”的机制下,线程依次排队获取锁;而“非公平锁”在锁是可获取状态时,不管自己是不是在队列的开头都会获取锁。

public ReentrantLock() {
    sync = new NonfairSync();
}

public ReentrantLock(boolean fair) {
    sync = fair ? new FairSync() : new NonfairSync();
}

ReentrantLock的内部类Sync继承了AQS,分为公平锁FairSync和非公平锁NonfairSync。
公平锁:线程获取锁的顺序和调用lock的顺序一样,FIFO;
非公平锁:线程获取锁的顺序和调用lock的顺序无关,全凭运气。

1、公平模型

初始化state=0,表示没有线程占有锁(state被定义成volatile int 类型,为了保证线程可见性)
线程A请求锁,使用CAS方式将state加1,A线程执行任务
线程B请求锁,线程B无法获取锁,生成节点进行排队.
如果线程A再次请求锁,线程有优先权,不需排队,再次获取锁,使用CAS将state加1,所以当线程完全释放锁时,需要unlock 2次.
线程A执行完任务,state=0,然后再通知队列唤醒线程B,使B可以再次争锁,如果B线程后面还有C线程,C线程继续休眠,除非B执行完了,通知了C线程.当一个线程节点被唤醒然后取得了锁,对应节点会从队列中删除。

2、主要方法(公平模型)
1)、lock()获取锁方法
final void lock() {
    acquire(1);
}

acquire AQS中实现

public final void acquire(int arg) {
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

tryAcquire:尝试获取锁,成功返回true,失败返回false
addWaiter:创建节点并添加到队尾,即使当前线程获取锁失败,添加等待锁队列
acquireQueued:逐步的去执行CLH队列的线程,如果当前线程获取到了锁,则返回;否则,当前线程进行休眠,直到唤醒并重新获取锁了才返回

2)、unlock()释放锁方法
public final boolean release(int arg) {
    if (tryRelease(arg)) {
        Node h = head;
        if (h != null && h.waitStatus != 0)
            unparkSuccessor(h);
        return true;
    }
    return false;
}

release()会先调用tryRelease()来尝试释放当前线程锁持有的锁。成功的话,则唤醒后继等待线程,并返回true。否则,直接返回false。

3、非公平锁模型

当线程A执行完之后,要唤醒线程B是需要时间的,而且线程B醒来后还要再次竞争锁,
所以如果在切换过程当中,来了一个线程C,那么线程C是有可能获取到锁的,如果C获取到了锁,B就只能继续休眠了,这就是非公平模型。

4、主要方法(非公平锁模型)
1)、lock()获取锁方法
final void lock() {
    if (compareAndSetState(0, 1))
        setExclusiveOwnerThread(Thread.currentThread());
    else
        acquire(1);
}

lock()会先通过compareAndSet(0, 1)来判断“锁”是不是空闲状态。是的话,“当前线程”直接获取“锁”;否则的话,调用acquire(1)获取锁。
2)、unlock()释放锁方法
和公平锁模型一样

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值