Java AtomicInteger和AtomicLong如何实现原子操作

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

Java中的AtomicIntegerAtomicLong通过底层的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等替代方案。