底层、原子性
Cpu提供的原子级指令(CAS)
避免锁的使用,减少线程阻塞的情况,减少上下文切换
没有锁的使用,所以本身也减少了上下文切换带来的损耗
AtomicInteger
及java.util.concurrent.atomic
包下的其他原子类是专门为了解决这类问题而设计的。它们利用底层硬件的原子指令来实现线程安全的变量操作,无需通过锁机制。这样做有几个关键优势:
原子性
- 原子操作:
AtomicInteger
提供的方法(如incrementAndGet()
)是原子的,意味着每个这样的操作都是一个不可分割的单元。不管有多少线程同时尝试更新这个值,每次操作都是完整执行的,没有其他线程可以在操作的中间干扰。这保证了即使在高并发的环境下,每个操作也都能正确完成,维护了inc
的正确性。
性能
- 无锁:传统的同步(如
synchronized
关键字或Lock
接口的实现)依赖于锁机制来保证线程安全,这可能会导致线程阻塞和上下文切换,尤其是在高并发场景下。而原子类通过使用CPU提供的原子级指令(如CAS - Compare And Swap),**避免了锁的使用,减少了线程阻塞的情况,**从而提供了更好的性能。
可扩展性
- 减少上下文切换:因为没有锁的竞争,所以系统在执行这些操作时减少了线程阻塞和上下文切换的需要。这使得原子操作比传统的锁同步在多核处理器上更加可扩展。
底层支持
- CAS操作:
AtomicInteger
背后的关键是CAS(Compare-And-Swap)操作,这是一种硬件层面支持的原子指令。CAS操作包括三个操作数:内存位置(在这里是inc
的值)、预期原值和新值。如果内存位置的当前值与预期原值相匹配,就将内存位置更新为新值。这个操作是原子的,如果多个线程同时执行CAS,每个线程都会认为自己是第一个进行更新的。
通过以上特性,AtomicInteger
实现了一种无锁的线程安全,既保证了并发性,又维持了操作的原子性,是处理并发编程中的计数器或累加器等场景的理想选择。