聊聊CAS与AQS

布满荆棘的人生 2023-08-17 15:30 72阅读 0赞

CAS和AQS说白了就是进行线程加锁的操作，只是实现方式不同罢了，今天就来聊聊他们都是什么神仙

# CAS #

CAS，又被成为无锁化，好像听起来有点意思，其实他就是获取内存里面的最最新值，如果这个值等于我们的预期值，就把我们的期望值放入内存，如果，不等于，就在获取一次，重复上述操作。

我们可以假装认为，CAS是一个原子性操作，同时是一个乐观锁。

至于如果获取内存最新值，我们可以使用**volatile**修饰符，它要保证资源内存对所有的线程都是可见的

# AQS #

AQS：AbstractQueuedSynchronizer，即队列同步器。它是构建锁或者其他同步组件的基础框架（如ReentrantLock、ReentrantReadWriteLock、Semaphore等），JUC并发包的作者（Doug Lea）期望它能够成为实现大部分同步需求的基础。它是JUC并发包中的核心基础组件。

AQS使用一个int类型的成员变量state来表示同步状态，当**state>0**时表示已经获取了锁，当**state = 0**时表示**释放了锁**。它提供了三个方法（getState()、setState(int newState)、compareAndSetState(int expect,int update)）来对同步状态state进行操作，当然AQS可以确保对state的操作是安全的。

AQS通过内置的**FIFO（先进先出）同步队列**来完成资源获取线程的排队工作，如果当前线程获取同步状态失败（锁）时，AQS则会将当前线程以及等待状态等信息构造成一个节点（Node）并将其加入同步队列，同时会阻塞当前线程，当同步状态释放时，则会把节点中的线程唤醒，使其再次尝试获取同步状态。

*  getState()：返回同步状态的当前值；
 *  setState(int newState)：设置当前同步状态；
 *  compareAndSetState(int expect, int update)：使用CAS设置当前状态，该方法能够保证状态设置的原子性；
 *  tryAcquire(int arg)：独占式获取同步状态，获取同步状态成功后，其他线程需要等待该线程释放同步状态才能获取同步状态
 *  tryRelease(int arg)：独占式释放同步状态；
 *  tryAcquireShared(int arg)：共享式获取同步状态，返回值大于等于0则表示获取成功，否则获取失败；
 *  tryReleaseShared(int arg)：共享式释放同步状态；