JAVA并发编程系列(七)深入理解AQS并发案例

并发例子：比如三个线程并发通过AQS进行抢锁具体流程如下。

此时

AQS

线程二、线程三加锁失败：

有图可以看出，等待队列中的节点

Node

SIGNAL

Node

waitStatus

Node

nextWaiter

具体看下抢占锁代码实现：

java.util.concurrent.locks.ReentrantLock .NonfairSync:

[code]static final class NonfairSync extends Sync {

final void lock() {
if (compareAndSetState(0, 1))
setExclusiveOwnerThread(Thread.currentThread());
else
acquire(1);
}

protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
}

这里使用的ReentrantLock非公平锁，线程进来直接利用

CAS

state

[code]protected final boolean compareAndSetState(int expect, int update) {
return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

protected final void setExclusiveOwnerThread(Thread thread) {
exclusiveOwnerThread = thread;
}

线程二抢占锁失败

我们按照真实场景来分析，线程一抢占锁成功后，

state

CAS

state

AQS

FIFO

 简单说一下非公平锁的实现原理：

AQS内的ReentrantLock默认是基于非公平锁实现的，先用一张图来解释公平锁和非公平锁的区别：

非公平锁执行流程：

这里我们还是用之前的线程模型来举例子，当线程二释放锁的时候，唤醒被挂起的线程三，线程三执行

tryAcquire()

CAS

state

tryAcquire()

这种情况就会出现竞争，线程四如果获取锁成功，线程三仍然需要待在等待队列中被挂起。这就是所谓的非公平锁，线程三辛辛苦苦排队等到自己获取锁，却眼巴巴的看到线程四插队获取到了锁。

公平锁执行流程：

公平锁在加锁的时候，会先判断

AQS

公平锁在获取锁是也是首先会执行

acquire()

tryAcquire()

总结：

非公平锁和公平锁的区别：非公平锁性能高于公平锁性能。非公平锁可以减少

CPU

CPU

非公平锁性能虽然优于公平锁，但是会存在导致线程饥饿的情况。在最坏的情况下，可能存在某个线程一直获取不到锁。不过相比性能而言，饥饿问题可以暂时忽略，这可能就是

ReentrantLock