秋招Day7 - Java并发（中）- violate关键字

violate如何保证变量的可见性？

被violate关键字修饰的变量写操作都写到缓存，然后强制刷新到主存；每次读都使本地缓存失效，然后强制从主存（或其他最新来源）加载最新值到本地缓存。

violate只能保证数据的可见性，不能保证数据的原子性。synchronized两者都能保证。

如何禁止指令重排序？

如果将变量声明为violate，那么对这个变量进行读写的时候，会插入特定的内存屏障来禁止指令重排序。

例子：手写双重校验锁单例模式

public class Singleton {
    private volatile static Singleton uniqueInstance;

    private Singleton() {
    }

    public static Singleton getInstance() {
        if (uniqueInstance == null) { //判断是否已经存在实例
            synchronized (Singleton.class) {
                //如果两个线程同时判断没有实例，某个线程先获取到了锁并创建出了实例，另一个线程获取到锁之后也要判断是否存在实例
                if (uniqueInstance == null) { 
                    uniqueInstance = new Singleton();
                }
            }
        }
        return uniqueInstance;
    }
}

之所以uniqueInstance变量被修饰为violate，是因为：

uniqueInstance = new Singleton(); 这段代码其实是分为三步执行：

1. 为 uniqueInstance 分配内存空间
2. 初始化 uniqueInstance
3. 将 uniqueInstance 指向分配的内存地址

但是由于指令重排，实际指令顺序可能是1 -> 3 -> 2，这在多线程下会导致一个线程获取还没有初始化的实例。例如，线程A执行了1和3，此时线程B判断uniqueInstance == null为false，会直接返回uniqueInstance，但此时uniqueInstance还没有被初始化。

violate可以保证原子性吗？

不能，只能保证可见性（写操作之后强制写入内存，读操作强制在内存中执行，写操作的效果在读操作发生时是可见的）。可见性和原子性是两个概念，可见性指的是一个线程修改后另一个线程立马可见而不会看见旧值，原子性是指复合操作不会被别的线程打断导致数据不一致。

保持原子性用synchronized，AtomicInteger或ReentrantLock