JUC学习之路（数组原子操作类）（三）

        

目录

        实现数组的操作

        原子数组操作类结构的基本结构定义

        原子数组操作类之中提供了CAS方法实现源代码

        VarHandle 操作对象

---

        数组就是进行一组数据的存储，当然了，考虑到各种开发之中可能面对的情况，在J.U.C 里面也提供了数组的支持，提供的支持类有AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray本次以原子对象数组操作类功能进行。

        在数组原子类的操作过程之中，依然可以见到系列的CAS的操作方法，都是基于乐观锁的机制来实现数据的同步处理操作。

        实现数组的操作

    @Test
    public void operationArray() {
        //1、定义数据
        String[] datas = new String[]{"www.any.com", "edu.any.com", "nni.any.com"};
        // 创建数组原子操作类
        AtomicReferenceArray<String> arrays = new AtomicReferenceArray<>(datas);
        System.out.println(
                "【原子数据修改】数据修改的结果：" + arrays.compareAndSet(2, "nni.any.com", "boot.any.com"));
        System.out.print("【原子数据获取】数组内容：");
        for (int i = 0; i < arrays.length(); i++) {
            if (i == arrays.length()-1) {
                System.out.print(arrays.get(i) + ";");
            } else {
                System.out.print(arrays.get(i) + "、");
            }
        }
    }

        原子数组操作类结构的基本结构定义

        如果想清楚的知道整个的原子数组操作类的实现机制，就需要进行源代码的分析了，下面我们开始分析源代码

package java.util.concurrent.atomic;

public class AtomicReferenceArray<E> implements java.io.Serializable {
    private static final long serialVersionUID = -6209656149925076980L;
    private static final VarHandle AA
        = MethodHandles.arrayElementVarHandle(Object[].class);
    private final Object[] array; // must have exact type Object[]

    public AtomicReferenceArray(int length) {
        array = new Object[length];
    }

    public AtomicReferenceArray(E[] array) {
        // Visibility guaranteed by final field guarantees
        this.array = Arrays.copyOf(array, array.length, Object[].class);
    }
}

        原子数组操作类之中提供了CAS方法实现源代码

    public final boolean compareAndSet(int i, E expectedValue, E newValue) {
        return AA.compareAndSet(array, i, expectedValue, newValue);
    }

        根据源码我们可以得知 原子数组操作类 中所提供的CAS 机制并不是由Unsafe 提供的，而是由 Varhandle 类来提供的。

        对于程序开发人员来讲在多线程下进行数组操作时只需要掌握AtomicReferenceArray相关的原子类实现即可，但是这个类的操作实现本质上依靠的是java.lang.invoke 开发包中的VarHandle类完成处理的，如图所示。

        该类主要用于动态操作数组元素或对象的成员属性。VarHandle类提供了一系列的标准内存屏障操作，用于更细粒度的控制指令排序，在安全性、可用性以及性能方面都要优于已有的程序类库，同时可以和任何类型的变量进行关联操作。

        VerHandle 是一个性能上更加强大，同时处理安全性更加稳定的一个特殊的工具类，该类是在java.lang.invoke 包中提供的，是有JDK1.7 之后的版本才可以使用，并且J.U.C 里面也用了这个类。

public abstract class VarHandle {
    final VarForm vform;
    final booleam exact;

    VarHandle(VarForm vform) {
        this.vform = vform;
    }
    
    varHandle(VarForm vform , booleam exact) {
        this.vform = vform;
        this.exact = exact;
    }

    @MethodHandle.PolymorphicSignature
    @HotSpotIntrinsicCandidate
    public final native boolean compareAndSet(Object... args);

        VarHandle 操作对象

    class Book {
        String title;   // 此处没有进行封装，因为封装了操作不了
    }

    /**
     * 利用Varhandle 操作对象
     */
    @Test
    public void varHandleObjectTest() throws Exception {
        // lookup 相当于是一个反射内部的查询机制
        // 此时通过类的查找机制找到Book 类中的Title属性，同时设置好Title 属性对应的数据类型
        VarHandle varHandle = MethodHandles.lookup().findVarHandle(Book.class, "title", String.class);
        // 所有类的对象的属性操作前提就是要进行有效的对象实例化处理。
        Object obj = new Book();
        varHandle.set(obj, "JUC学习之路");
        System.out.println("【获取属性内容】title = " + varHandle.get(obj));
    }