ReentrantLock可重入锁、公平锁非公平锁区别与实现原理

ReentrantLock是lock接口的一个实现类,里面实现了可重入锁和公平锁非公平锁

ReentrantLock公平锁和不公平锁实现原理

公平锁会获取锁时会判断阻塞队列里是否有线程再等待,若有获取锁就会失败,并且会加入阻塞队列

非公平锁获取锁时不会判断阻塞队列是否有线程再等待,所以对于已经在等待的线程来说是不公平的,但如果是因为其它原因没有竞争到锁,它也会加入阻塞队列

进入阻塞队列的线程,竞争锁时都是公平的,应为队列为先进先出(FIFO)

默认实现的是非公平锁

public ReentrantLock() { //非公平锁 sync = new NonfairSync(); }

还提供了另外一种方式,可传入一个boolean值,true时为公平锁,false时为非公平锁

//公平锁 public ReentrantLock(boolean fair) { sync = fair ? new FairSync() : new NonfairSync(); } 非公平锁

非公平锁获取锁nonfairTryAcquire方法,对锁状态进行了判断,并没有把锁加入同步队列中

static final class NonfairSync extends Sync { private static final long serialVersionUID = 7316153563782823691L; final void lock() { //比较当前状态 如果持有者是当前线程 if (compareAndSetState(0, 1)) setExclusiveOwnerThread(Thread.currentThread()); else //如果不是 尝试获取锁 acquire(1); } protected final boolean tryAcquire(int acquires) { //获取锁 return nonfairTryAcquire(acquires); } } final boolean nonfairTryAcquire(int acquires) { final Thread current = Thread.currentThread(); int c = getState(); //判断当前对象是否被持有 if (c == 0) { //没有持有就直接改变状态持有锁 if (compareAndSetState(0, acquires)) { setExclusiveOwnerThread(current); return true; } } //若被持有 判断锁是否是当前线程 也是可重入锁的关键代码 else if (current == getExclusiveOwnerThread()) { int nextc = c + acquires; if (nextc < 0) // overflow throw new Error("Maximum lock count exceeded"); setState(nextc); return true; } return false; } 公平锁

代码和nonfairTryAcquire唯一的不同在于增加了hasQueuedPredecessors方法的判断

static final class FairSync extends Sync { private static final long serialVersionUID = -3000897897090466540L; protected final boolean tryAcquire(int acquires) { //获取当前线程 final Thread current = Thread.currentThread(); int c = getState(); //判断当前对象是否被持有 if (c == 0) { //如果等待队列为空 并且使用CAS获取锁成功 否则返回false然后从队列中获取节点 if (!hasQueuedPredecessors() &&compareAndSetState(0, acquires)) { //把当前线程持有 setExclusiveOwnerThread(current); return true; } } //若被持有 判断锁是否是当前线程 可重入锁的关键代码 else if (current == getExclusiveOwnerThread()) { //计数加1 返回 int nextc = c + acquires; if (nextc < 0) throw new Error("Maximum lock count exceeded"); setState(nextc); return true; } //不是当前线程持有 执行 return false; } }

acquire()获取锁

public final void acquire(int arg) { //如果当前线程尝试获取锁失败并且 加入把当前线程加入了等待队列 if (!tryAcquire(arg) &&acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) //先中断当前线程 selfInterrupt(); } 关键代码

就是tryAcquire方法中hasQueuedPredecessors判断队列是否有其他节点

public final boolean hasQueuedPredecessors() { Node t = tail; // Read fields in reverse initialization order Node h = head; Node s; return h != t && ((s = h.next) == null || s.thread != Thread.currentThread()); } 可重入性实现原理

在线程获取锁的时候,如果已经获取锁的线程是当前线程的话则直接再次获取成功

由于锁会被获取n次,那么只有锁在被释放同样的n次之后,该锁才算是完全释放成功

1、获取锁方法

protected final boolean tryAcquire(int acquires) { //获取当前线程 final Thread current = Thread.currentThread(); int c = getState(); //判断当前对象是否被持有 if (c == 0) { //...略 } //若被持有 判断锁是否是当前线程 可重入锁的关键代码 else if (current == getExclusiveOwnerThread()) { //计数加1 返回 int nextc = c + acquires; if (nextc < 0) throw new Error("Maximum lock count exceeded"); setState(nextc); return true; } //不是当前线程持有 执行 return false; }

每次如果获取到的都是当前线程这里都会计数加1

释放锁

protected final boolean tryRelease(int releases) { //每次释放都减1 int c = getState() - releases; if (Thread.currentThread() != getExclusiveOwnerThread()) throw new IllegalMonitorStateException(); boolean free = false; //等于0才释放锁成功 if (c == 0) { free = true; setExclusiveOwnerThread(null); } setState(c); return free; }

如果锁被获取n次,也要释放了n次,只有完全释放才会返回false

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/zzdwdp.html