Aqs有两种模式,一种独占模式,一种共享模式,他们获取资源的方法分别对应
acquire-release、acquireShared-releaseShared(见此博文 https://blog.csdn.net/a6822342/article/details/84875304)
这篇文章我们来看看独占模式下的获取资源和释放资源的代码。
先来看acquire的源码
public final void acquire(int arg) {
if (!tryAcquire(arg) &&
acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
selfInterrupt();
}
首先获取尝试获取资源(这个tryAcquire需要子类自己实现,可以参考java.util.concurrent.locks.ReentrantLock.FairSync这里面的实现去理解),如果获取到就直接返回了,如果没有获取到,就把该个线程看成阻塞队列里面的一个结点加入到队列中去,也就是addWaiter方法做的事情,然后就在队列里面等待获取资源,acquireQueued()使线程在等待队列中获取资源,一直获取到资源后才返回。如果在整个等待过程中被中断过,则返回true,否则返回false。如果线程在等待过程中被中断过,它是不响应的。只是获取资源后才再进行自我中断selfInterrupt(),将中断补上。
下面先看看addWaiter的源码
private Node addWaiter(Node mode) {
Node node = new Node(Thread.currentThread(), mode);
// Try the fast path of enq; backup to full enq on failure
Node pred = tail;
if (pred != null) {
node.prev = pred;
if (compareAndSetTail(pred, node)) {
pred.next = node;
return node;
}
}
enq(node);
return node;
}
这里有个难点,就是它首先会执行快速入队的代码,也就是if语句里面的代码,如果它符合要求,则快速入队成功,如果不行,那么就执行正常入队的方法enq。
疑点1:为什么执行快速入队的时候会有可能不成功呢?
疑点2:enq(node)的里面的代码的代码逻辑和快速入队的代码逻辑差不多,为什么会有两段这种类似的代码呢?
private Node enq(final Node node) {
for (;;) {
Node t = tail;
if (t == null) { // Must initialize 代表着初始队列为空,需要初始化
if (compareAndSetHead(new Node()))
tail = head;
} else {
node.prev = t;
if (compareAndSetTail(t, node)) {
t.next = node;
return t;
}