java的原子类 AtomicInteger 实现原理是什么?

本文深入解析了CAS(CompareAndSwap)机制的工作原理,包括其在并发编程中的应用,如何通过比较并替换来保证数据的安全性,以及与Synchronized的对比。同时,文章也探讨了CAS机制的局限性,如ABA问题、CPU开销和代码块原子性等问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

采用硬件提供原子操作指令实现的,即CAS。每次调用都会先判断预期的值是否符合,才进行写操作,保证数据安全。

CAS机制

CAS是英文单词Compare And Swap的缩写,翻译过来就是比较并替换。CAS机制当中使用了3个基本操作数:

(1)内存地址V,也就是AtomicInteger中的valueOffset。

(2)旧的预期值A,也就是getAndIncrement方法中的current。

(3)要修改的新值B,也就是getAndIncrement方法中的next。

CAS机制中,更新一个变量的时候,只有当变量的预期值A和内存地址V当中的实际值相同时,才会将内存地址V对应的值修改为B。下面我们来看一个具体的例子:

(1)在内存地址V当中,存储着值为10的变量。

(2)此时线程1想要把变量的值增加1。对线程1来说,旧的预期值A=10,要修改的新值B=11。

(3)但是,在线程1要提交更新之前,另一个线程2抢先一步,把内存地址V中的变量值率先更新成了11。

(4)此时,线程1开始提交更新,首先进行A和地址V的实际值比较(Compare),发现A不等于V的实际值,提交失败。

(5)线程1重新获取内存地址V的当前值,并重新计算想要修改的新值。此时对线程1来说,A=11,B=12。这个重新尝试的过程被称为自旋。

(6)这一次比较幸运,没有其他线程改变地址V的值。线程1进行Compare,发现A和地址V的实际值是相等的。

(7)线程1进行替换,把地址V的值替换为B,也就是12。

      对比Synchronized,我们可以发现,Synchronized属于悲观锁,悲观地认为程序中的并发情况严重,所以严防死守。CAS属于乐观锁,乐观地认为程序中的并发情况不那么

严重,所以让线程不断去尝试更新。

但是CAS机制通常也存在以下缺点

(1)ABA问题

       如果V的初始值是A,在准备赋值的时候检查到它仍然是A,那么能说它没有改变过吗?也许V经历了这样一个过程:它先变成了B,又变成了A,使用CAS检查时

以为它没变,其实却已经改变过了;则可以加上版本号:1A-2B-3A

(2)CPU开销较大

     在并发量比较高的情况下,如果许多线程反复尝试更新某一个变量,却又一直更新不成功,循环往复,会给CPU带来很大的压力。

(3)不能保证代码块的原子性

     CAS机制所保证的只是一个变量的原子性操作,而不能保证整个代码块的原子性。比如需要保证3个变量共同进行原子性的更新,就不得不使用Synchronized了。

转载于:https://www.cnblogs.com/liuqing576598117/p/10565088.html

<think>我们正在讨论JavaAtomicInteger实现原理。根据引用[2]和[3],AtomicInteger底层使用了CAS(Compare and Swap)操作,并且依赖于Unsafe来直接操作内存。同时,引用[3]展示了AtomicInteger的内部结构,包括一个volatile修饰的int值value,以及通过Unsafe获取的value字段在对象中的偏移地址valueOffset。 实现原理: 1. AtomicInteger内部使用volatile int value来存储实际的值,保证可见性。 2. 通过Unsafe的CAS方法(compareAndSwapInt)来实现原子更新。CAS操作需要三个参数:对象实例、字段偏移量、预期值和新值。 3. 当多个线程尝试更新同一个AtomicInteger时,CAS操作会确保只有一个线程能成功更新,其他线程需要重试。 以incrementAndGet()方法为例,其内部通常是一个循环,不断尝试将当前值加1,直到CAS操作成功为止。 另外,引用[5]提到了ABA问题:即一个值从A变成B又变回A,CAS操作会误认为没有变化。解决方法是使用版本号(如AtomicStampedReference)。 现在,根据用户的问题,我们需要详细解释AtomicInteger实现原理和底层机制。</think>### Java AtomicInteger 实现原理及底层机制 #### 一、核心实现原理:CAS 操作 AtomicInteger原子性操作基于 **CAS (Compare-And-Swap)** 机制: 1. **CAS 操作流程**: ```java while(true) { int current = get(); // 读取当前值 int next = current + delta; // 计算新值 if(compareAndSet(current, next)) // CAS 原子更新 break; // 成功则退出 } ``` 2. **底层硬件支持**: - 通过 CPU 指令(如 x86 的 `CMPXCHG`)实现原子操作 - 无需加锁即可保证线程安全[^2][^3] #### 二、关键组件分析 ```java public class AtomicInteger extends Number { // 1. 通过Unsafe突破JVM限制 private static final Unsafe unsafe = Unsafe.getUnsafe(); // 2. 实际存储的值(volatile保证可见性) private volatile int value; // 3. 字段内存偏移量(关键定位信息) private static final long valueOffset; static { try { // 计算value字段在对象内存布局中的精确位置 valueOffset = unsafe.objectFieldOffset (AtomicInteger.class.getDeclaredField("value")); } catch (Exception ex) { /* 处理异常 */ } } } ``` [^3] #### 三、核心操作示例 1. **incrementAndGet() 源码**: ```java public final int incrementAndGet() { return unsafe.getAndAddInt(this, valueOffset, 1) + 1; } ``` - `getAndAddInt` 内部使用自旋CAS实现[^3] 2. **compareAndSet() 实现**: ```java public final boolean compareAndSet(int expect, int update) { return unsafe.compareAndSwapInt(this, valueOffset, expect, update); } ``` - 直接调用Unsafe的CAS指令[^3] #### 四、解决ABA问题 当存在 **A→B→A** 的值变化时,普通CAS可能误判: ```java // 普通CAS可能误接受ABA场景 atomicInt.compareAndSet(A, C); // 可能成功(实际存在中间状态) ``` 解决方案: 1. **AtomicStampedReference**: ```java AtomicStampedReference<Integer> ref = new AtomicStampedReference<>(A, 0); ref.compareAndSet(A, C, stamp, stamp+1); // 需同时验证版本号 ``` 2. **版本号机制**: - 每次更新伴随版本号递增 - 同时检查值和版本号[^5] #### 五、性能优势 | 实现方式 | 性能特点 | 适用场景 | |----------------|------------------------------|------------------| | **synchronized** | 线程阻塞,上下文切换开销大 | 复杂同步逻辑 | | **AtomicInteger**| 无锁自旋,CPU密集型操作 | 简单计数器等高频场景 | > **注**:高竞争场景下自旋可能导致CPU资源浪费,此时需考虑LongAdder等分段计数方案。 #### 六、典型应用场景 1. 并发计数器(如网站访问量统计) 2. 状态标志位(如服务启动/停止状态) 3. 序列号生成器 4. 无锁队列实现基础组件 > **最佳实践**:优先使用`java.util.concurrent.atomic`中的原子,避免直接操作Unsafe[^4]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值