Java原子类实现原理详解

AtomicInteger和AtomicLong通过CAS与volatile实现线程安全，利用Unsafe类的compareAndSwap操作保证原子性，结合volatile确保可见性与有序性，采用乐观锁提升并发性能，适用于低中等竞争场景，如高并发计数器，但在高度竞争下可能因重试开销大而影响效率。

Java中的AtomicInteger和AtomicLong通过底层的CAS（Compare-And-Swap）机制实现原子操作，保证多线程环境下对整型和长整型变量的操作是线程安全的，而无需使用synchronized关键字。

CAS机制与Unsafe类

AtomicInteger和AtomicLong的核心依赖于CAS操作，即“比较并交换”。这种操作由CPU指令支持，在x86平台上对应的是cmpxchg指令。Java通过sun.misc.Unsafe类调用这些底层指令来实现原子性。

Unsafe提供了以下关键方法：

• compareAndSwapInt()：用于AtomicInteger
• compareAndSwapLong()：用于AtomicLong

当一个线程尝试更新值时，会先读取当前值，进行计算后，只有在当前值未被其他线程修改的前提下，才会成功写入新值。如果失败，会重试直到成功。

volatile关键字的作用

AtomicInteger和AtomicLong内部的数值字段（如value）被声明为volatile，这确保了：

• 多个线程之间对该变量的可见性
• 禁止指令重排序，保证操作顺序的一致性

结合CAS，volatile保证了一个线程修改值后，其他线程能立即看到最新值，避免了缓存不一致问题。

无锁并发的优势

相比传统的加锁方式，Atomic类采用的是“乐观锁”策略：

• 不阻塞线程，提高了并发性能
• 适用于低到中等竞争场景，重试开销较小
• 避免了死锁、上下文切换等问题

例如，在高并发计数器、状态标志位等场景中，AtomicInteger和AtomicLong表现出色。

实际操作示例

以AtomicInteger的incrementAndGet()为例：

• 获取当前值current
• 执行CAS操作：compareAndSet(current, current + 1)
• 若CAS失败，循环重试，直到成功

这个过程由JVM和硬件共同保障原子性，用户无需关心底层细节。

基本上就这些。AtomicInteger和AtomicLong的高效源于CAS+volatile的组合，既保证了线程安全，又减少了锁带来的开销。不复杂但容易忽略的是，它们在高度竞争环境下可能因频繁重试导致性能下降，此时可考虑LongAdder等替代方案。