上一篇中,我们说到了AQS封装了一些列的底层操作,包括通过阻塞队列实现阻塞的获取锁、超时获取锁、获取共享锁等。那么AQS是如何实现这些操作的呢?
阻塞队列-实现同步的关键
AQS中维护了FIFO的一个阻塞队列,在属性中保存了队列的head节点和 tail节点引用,如下:
当一个线程获取同步状态失败时,就会用当前线程构造一个队列节点,调用AQS提供的:compareAndSetTail(Node expect,Node update) 方法,追加到队列的尾部。
每个节点中都包含了waitstatus prev next nextwarter thread 几个属性,具体如下图:
队列中的首节点就是获取到锁的线程节点,同时首节点在释放锁时会唤醒首节点的下一个节点,来获取锁,如果下一个节点获取成功,就将自己设置首节点(这里因为没有并发操作不需要CAS操作)。这样就实现了FIFO。
AQS独占式同步状态获取与释放实现
在AQS中可以通过acquire 方法来实现独占式的获取同步状态。具体代码如下:
可以看到首先调用 tryacquire方法获取同步状态,如果没有成功 那么
1 构造一个独占式节点,调用 addWaiter方法,追加到同步队列尾部 (调用compareAndSetTail(Node expect,Node update)
2 调用acqireQueued方法 让当前线程再次自旋获取同步状态,这时的自旋,会判断当前节点前置节点是否为head节点如果不是则当前线程没有机会获取同步状态,如果获取失败(自旋也有一定的判断条件如果一定条件下比如处理器很忙的情况下自旋了100ms 还是没有获取到 那就认定为自旋获取失败)那么就(调用lockSupport的park方法)挂起当前线程。这样当前线程就阻塞在同步队列中了。阻塞后就只能依赖前置节点的出队(锁释放)或线程中断来唤醒这个线程。
addWaiter方法和acqireQueued方法 源码如下:
释放同步状态调用方法 release方法。如下
这里直接调用 tryRelease方法释放同步状态,则唤醒后继节点。并返回true 否则返回false。由于释放锁的操作只有获取到锁的线程可以调用,所以这里不存在竞争,也不需要进行同步处理
疑问1:如果同步队列中的有3个节点正在等待锁,这个时候又来一个线程,同时这个时候head释放了锁,那么新来的线程和同步队列中的第二个节点开始竞争锁。万一新来的线程竞争成功。会怎样呢?
先来的线程执行逻辑,并在执行完成后释放锁,由于第二个节点还没有获取到锁,所以 head节点仍然是原来的head节点,第二个节点自旋获取锁失败后再次park起来。待新来的线程释放锁时会再次唤醒第二个节点。
疑问2 如果线程A线获取到了锁,开始执行逻辑(由于没有竞争所以不进入同步队列),这个时候线程B来获取锁,获取失败就会进入等待队列,并尝试将自己设置为head节点。这个时候线程A释放锁,同时线程C也来竞争锁,线程B也开始竞争锁,但是线程C竞争成功并执行逻辑,同时线程B自旋获取锁失败park起来,这个时候线程C释放锁,会唤醒线程B吗?
疑问3 同步队列是FIFO为什么锁默认都是非公平的,不应该是公平的吗?
共享式同步状态获取与释放
共享式同步状态就是同一时刻可以多条线程同时获取同步状态。比如读写锁,可以同时又多个线程进行读操作。但是读操作和写操作互斥。写操作同一时刻只能由一个线程来进行。
AQS通过acquireShared(int arg)方法获取共享式同步状态,代码如下:
可以看到和获取独占式同步状态类似,调用tryAcquireShared(arg)获取同步状态失败后
1 构造一个共享式节点,并调用addWaiter追加到同步队列尾部
2 自旋判断如果前置节点是head节点那么就尝试获取同步状态, 自旋获取状态失败则挂起。
AQS通过releaseShared(int arg)方法获取共享式同步状态,代码如下:
同独占式同步状态的释放,同步状态释放成功后会唤醒后续等待的节点。
疑问1 由于共享式同步状态是共享式的,所以释放的时候应该是唤醒所有的共享式的节点,而不是只唤醒head节点后的节点,怎么实现的?
独占式超时获取同步状态
AQS通过acquireNanos(int arg, long nanosTimeout) 方法实现独占式超时获取同步状态,该方法获取同步状态失败后会调用doAcquireNanos(int arg, long nanosTimeout),代码如下:
可以看到和上文类似
1 构造一个共享式节点,并调用addWaiter追加到同步队列尾部
2 追加到尾节点成功后,开始自旋获取锁,同样只有前置节点是head节点才有可能获取到同步状态。否则挂起当前线程。但是这个挂起不是无期限挂起而是计算出需要挂起德时间,等到时间后线程自动醒来,并返回false.
疑问1 线程到时间醒来并返回false之后,如何处理同步队列中的节点?