AtomicIntger 是对 int 型的封装,底层基于 CAS 提供原子性的操作,并用 volatile 修饰属性 value,保证可见性。
private volatile int value;
CAS 指比较并写回,是一种轻量级锁。
底层通过操作系统原语实现,保证了原子性。在 CAS 中,线程读取数据不用加锁,在准备写回时,比较原值是否修改,若未被修改则写回,若已被修改,则重新执行读取流程,这是一种乐观策略,认为并发冲突并不总会发生。
它适用于少量线程竞争的场景,但会存在几个问题:
- ABA:比如在线程 1 读取值 A 后,发生了两次写回,先由线程 2 写回 B,再由线程 3 写回 A,此时线程 1 在写回比较时,虽然值还是 A,但它实际上已经被改变了。虽然不会影响结果,但有些业务中还是需要记录修改过程的。解决办法是加标志位,比如版本号,或者时间戳。
- 循环时间长开销大:CAS 如果长时间操作不成功,会一直自旋,占用资源,解决办法是设定阈值。
- 只能保证一个共享变量的原子性。
当 AtomicIntger 调用自增函数 getAndIncrement() 时,先获取对象的偏移量 V,然后用 CAS 拿 V 和内存