Atomic原子类及其底层原理

并发包java.util.concurrent的原子类都存放在java.util.concurrent.atomic下

JUC 包中的原子类

基本类型

• AtomicInteger：整形原子类

• AtomicLong：长整型原子类

• AtomicBoolean：布尔型原子类

AtomicInteger 类常用方法

public final int get() //获取当前的值
public final int getAndSet(int newValue)//获取当前的值，并设置新的值
public final int getAndIncrement()//获取当前的值，并自增
public final int getAndDecrement() //获取当前的值，并自减
public final int getAndAdd(int delta) //获取当前的值，并加上预期的值
boolean compareAndSet(int expect, int update) //如果输入的数值等于预期值，则以原子方式将该值设置为输入值（update）
public final void lazySet(int newValue)//最终设置为newValue,使用 lazySet

数组类型: 使用原子的方式更新数组里的某个元素

• AtomicIntegerArray：整形数组原子类
• AtomicLongArray：长整形数组原子类
• AtomicReferenceArray：引用类型数组原子类

引用类型

• AtomicReference：引用类型原子类
• AtomicStampedReference：原子更新引用类型里的字段原子类
• AtomicMarkableReference ：原子更新带有标记位的引用类型

对象的属性修改类型

• AtomicIntegerFieldUpdater：原子更新整形字段的更新器
• AtomicLongFieldUpdater：原子更新长整形字段的更新器
• AtomicStampedReference：原子更新带有版本号的引用类型。该类将整数值与引用关联起来，可用于解决原子的更新数据和数据的版本号，可以解决使用 CAS 进行原子更新时可能出现的 ABA 问题。

示例

为了做对比，我们启动20个线程，分别对同一类的两个初始值为0的数进行自增操作，每个线程操作自增1000次。一个数为Int类型，一个数为整型原子类型。代码如下

package com.boshrong.socket;

import java.util.concurrent.atomic.AtomicInteger;

class MyData {
    volatile int number = 0;
    

    public void addPlusPlus() {
        this.number++;
    }

    AtomicInteger atomicInteger = new AtomicInteger(0);

    public void atomicPlusPlus(){
        atomicInteger.getAndIncrement();
    }
}
public class demo {
    public static void main(String[] args) {
        MyData myData = new MyData();
        for (int i = 1; i <= 20; i++) {
            new Thread(() -> {
                for (int j = 0; j < 1000; j++) {
                    myData.addPlusPlus();
                    myData.atomicPlusPlus();
                }

            }, String.valueOf(i)).start();
        }

        while (Thread.activeCount() > 2) {
            Thread.yield();
        }

        System.out.println(myData.number);
        System.out.println(myData.atomicInteger);
    }
}

运行结果如下：

19902
20000

分析：多次运行后整型原子类型的值都为20000，而int类型的值每次运行结果却不一致。

原理

AtomicInteger 类主要利用 CAS (compare and swap) + volatile 和 native方法来保证原子操作，从而避免 synchronized 的高开销，执行效率大为提升。

Atomic原子类底层用的不是传统意义的锁机制，而是无锁化的CAS机制，通过CAS机制保证多线程修改一个数值的安全性