1,什么是CAS
CAS(Compare And Swap),即比较并交换。是解决多线程并行情况下使用锁造成性能损耗的一种机制,CAS操作包含三个操作数——内存位置(V)、预期原值(A)和新值(B)。如果内存位置的值与预期原值相匹配,那么处理器会自动将该位置值更新为新值。否则,处理器不做任何操作。无论哪种情况,它都会在CAS指令之前返回该位置的值。CAS有效地说明了“我认为位置V应该包含值A;如果包含该值,则将B放到这个位置;否则,不要更改该位置,只告诉我这个位置现在的值即可。
在JAVA中,sun.misc.Unsafe 类提供了硬件级别的原子操作来实现这个CAS。 java.util.concurrent 包下的大量类都使用了这个 Unsafe.java 类的CAS操作。至于 Unsafe.java 的具体实现这里就不讨论了。
CAS典型应用
java.util.concurrent.atomic 包下的类大多是使用CAS操作来实现的(eg. AtomicInteger.java,AtomicBoolean,AtomicLong)。下面以 AtomicInteger.java 的部分实现来大致讲解下这些原子类的实现。
2,AQS(AbstractQueuedSynchronizer)
什么是AQS
fifo队列 + 原子int(表示状态)
原子int:AtomicInteger这个类的存在是为了满足在高并发的情况下,原生的整形数值自增线程不安全的问题;
AQS(AbstractQueuedSynchronizer),AQS是JDK下提供的一套用于实现基于FIFO等待队列的阻塞锁和相关的同步器的一个同步框架。这个抽象类被设计为作为一些可用原子int值来表示状态的同步器的基类。如果你有看过类似 CountDownLatch 类的源码实现,会发现其内部有一个继承了 AbstractQueuedSynchronizer 的内部类 Sync。可见 CountDownLatch 是基于AQS框架来实现的一个同步器.类似的同步器在JUC下还有不少。(eg. Semaphore)
AQS用法
如上所述,AQS管理一个关于状态信息的单一整数,该整数可以表现任何状态。比如, Semaphore 用它来表现剩余的许可数,ReentrantLock 用它来表现拥有它的线程已经请求了多少次锁;FutureTask 用它来表现任务的状态(尚未开始、运行、完成和取消)。
详情见:
https://www.cnblogs.com/waterystone/p/4920797.html
着重看cpu架构及voliate
https://blog.csdn.net/holmofy/article/details/73824757
https://blog.csdn.net/zcw4237256/article/details/78552741
Java并发:深入理解CAS与AQS
本文介绍了Java并发编程中的CAS操作和AQS框架。CAS是无锁编程的一种实现,通过硬件层面的支持保证原子性。在Java的`java.util.concurrent.atomic`包中广泛应用。AQS(AbstractQueuedSynchronizer)是一个同步框架,用于实现基于FIFO等待队列的阻塞锁和同步器,例如CountDownLatch和Semaphore等。AQS通过一个原子整数来管理状态,以支持各种同步组件。
146

被折叠的 条评论
为什么被折叠?



