计算机队列概念,抽象队列同步器的概念与原理

同步器是我们在学习软件编程开发技术的时候需要用到的一个编程工具，而今天我们就一起来了解一下，抽象队列同步器的概念与原理。

一、什么是AQS

AQS全称是AbstractQueuedSynchronizer，形如其名，抽象队列同步器。

AQS定义了两种资源共享模式：

独占式，每次只能有一个线程持有锁，例如ReentrantLock实现的就是独占式的锁资源。

共享式，允许多个线程同时获取锁，并发访问共享资源，ReentrantWriteLock和CountDownLatch等就是实现的这种模式。

它维护了一个volatile的state变量和一个FIFO(先进先出)的队列。

其中state变量代表的是竞争资源标识，而队列代表的是竞争资源失败的线程排队时存放的容器。

二、AQS源码分析

我们先简单介绍AQS的两种模式的实现类的代表ReentrantLock(独占模式)和CountDownLatch(共享模式)，是如何来共享资源的一个过程，然后再详细通过AQS的源码来分析整个实现过程。

ReentrantLock在初始化的时候state=0，表示资源未被锁定。当A线程执行lock()方法时，会调用tryAcquire()方法，将AQS中队列的模式设置为独占，并将独占线程设置为线程A，以及将state+1。

这样在线程A没有释放锁前，其他线程来竞争锁，调用tryAcquire()方法时都会失败，然后竞争锁失败的线程就会进入到队列中。当线程A调用执行unlock()方法将state=0后，其他线程才有机会获取锁(注意ReentrantLock是可重入的，同一线程多次获取锁时state值会进行垒加的，在释放锁时也要释放相应的次数才算完全释放了锁)。

CountDownLatch会将任务分成N个子线程去执行，state的初始值也是N(state与子线程数量一致)。N个子线程是并行执行的，每个子线程执行完成后countDown()一次，state会通过CAS方式减1。直到所有子线程执行完成后(state=0),会通过unpark()方法唤醒主线程，然后主线程就会从await()方法返回，继续后续操作。

【免责声明】：本内容转载于网络，转载目的在于传递信息。文章内容为作者个人意见，本平台对文中陈述、观点保持中立，不对所包含内容的准确性、可靠性与完整性提供形式地保证。请读者仅作参考。更多内容请在707945861群中学习了解。