volatile 关键字的一些记录

volatile 关键字的一些记录

public class VolatileTest {

    private volatile static int INIT_VALUE = 0;

    private final static int MAX_VALUE = 10;

    public static void main(String[] args) {

        new Thread(()-> {

            int localValue = INIT_VALUE;
            while (localValue < MAX_VALUE){
                if(localValue != INIT_VALUE){
                    // 如果不添加volatile，并且方法块里没有写入操作，那么数据只会放在cache里面，不会从内存里取
                    System.out.println("消费者："+localValue);
                    localValue = INIT_VALUE;
                }
            }
        }).start();

        new Thread(()-> {
            int localValue = INIT_VALUE;
            while (localValue < MAX_VALUE){
                    System.out.println("生产者："+localValue++);
                    INIT_VALUE = localValue;
//                try {
//                    Thread.sleep(50);
//                } catch (InterruptedException e) {
//                    e.printStackTrace();
//                }
            }
        }).start();

    }
}

/**
 * 并发编程的三种重要概念
 *
 * 原子性
 *  对基本数据类型的变量读取和赋值时保证原子性，要么都成功，要么都失败，不能被中断的
 *  a=10; // 满足原子性
 *  b=a; // 不满足，其他还有 ++ 操作 等都不满足
 * 可见性
 *   volatile 关键字保证可见性，但是volatile 不能保证原子性，被volatile修饰的数据被修改，那么数据不是从缓存拿的数据而是从主存中拿的
 * 有序性
 *   重排序（只要满足最终一致性）
 *   happens-before relationship（happens-before 规则）
 *     代码的执行顺序，编写在前面的发生在编写在后面的
 *     unlock必须发生在lock之后
 *     volatile 修饰的变量，对一个变量的写操作先于对该变量的读操作
 *     传递规则（赋值传递）
 *     线程启动规则，start肯定先于run
 *     线程中断规则，interrupt 这个动作，必须发生在捕获之前
 *     对象销毁规则，初始化，必须发生在 finalize 之前
 *     线程的终结，所有操作都发生线程死亡之前
 *
 */

/**
 * volatile 关键字
 * 1，保证了不同线程见的可见性
 * 2，禁止对其进行重排序，也就是保证了有序性
 * 3，并未保证原子性
 *
 *  在上面的方法代码，把休眠时间删掉，然后会发现，两个线程对同一个加了volatile的数据进行相加的时候
 *  打印的时候，出现了重复数据
 *  原因：
 *  1,read from main memory INIT_VALUE -> 10
 *  2,INIT_VALUE = 10 + 1
 *  3,INIT_VALUE = 11
 *  以上步骤很有可能就会在第二步还未写入内存，导致第三步会覆盖，要实现，则要加sync关键字
 *  所以：
 *  1，保证重排序的时候不会把后面的指令放到屏障的前面，也不会放在后面
 *  2，强制对缓存的修改操作立刻写入主存
 *  3，如果是写操作，他会导致其他CPU中的缓存失效
 *
 */

/**
 * volatile 关键字
 * 1，标记量
 * volatile boolean start = false;
 * 在多线程中，可以改变其他线程中的状态。如果不添加volatile 的话，其他线程读不到状态
 * 2，屏障前后一致性
 * 像 double_check 的使用。
 *
 */