Java volatile关键字小结

public class Test {
    public static void main(String[] args){

    }
}

/*
    12.3 Java内存模型

    Java内存模型定义了线程与主内存之间的抽象关系:
        1.共享变量存储于主内存之中，每个线程都可以访问
        2.每个线程都有私有的工作内存
        3.工作内存只存储该线程对共享变量的副本
        4.线程不能直接操作主内存，只有先操作了工作内存之后才能写入主内存
        5.工作内存是一种抽象的概念，涵盖了缓存、寄存器、编译优化以及硬件
 */

/*
    13.1 并发编程的三个重要特性
        原子性：一次操作或者多次操作，要么所有的惭怍全部都得到了执行，并且不受任何
            因素的干扰而中断，要么所欲的操作都不执行
        可见性：当一个线程对共享变量进行了修改，那么另外的线程可以立即看到。
        有序性：程序代码在执行过程中的先后顺序。在多线成的情况下，如果有序性得不到
            保障，其结果是灾难性的。

    13.2.1 JMM与原子性

    y=x;
        1.执行线程从主内存读取x的值（如果x已经存在与执行线程的工作内存中，则直接获取）
            然后将其存入当前线程的工作内存中。
        2.在执行线程的工作内存中修改y的值为x。

    结论：
        1.多个原子性的操作在一起就不再是原子性操作了
        2.简单的读取与赋值操作是原子性的，将一个变量赋给另一个变量不是原子的
        3.JMM只保证了基本读取和赋值的原子性操作
 */

/*
    13.2.2 JMM与可见性

    Java三种方式保证可见性：
        1.使用关键字volatile，读，写两个方面
        2.使用关键字synchronized，同一时刻只有一个线程获得锁，且释放锁之前，
            会将对变量的修改刷新到主内存中
        3.通过JUC提供的显式锁Lock
 */

/*
    13.2.3 JMM与有序性

    方案同上。

    JMM具备一些天生的有序性规则，不需要任何同步手段就能够保证有序性，这个规则被称为
    Happens-before原则。如果两个操作的执行次序无法从happens-before原则推导出来，
    那么它们就无法保证有序性，也就是说JVM或者处理器可以任意对它们进行重排序出来。

    happens-before原则：
        1.程序次序原则：一个线程内，代码按照编写时的次序来执行，编写在后面的操作发生
            在编写在前面的操作之后。（JVM还是可能对程序代码进行重排序，只要确保一个
            线程内结果一致即可）
        2.锁定规则：一个unlock操作要先行发生于对同一个锁的lock操作。
        3.volatile变量原则：对一个变量的写操作要早与对这个变量的读操作。
        4.传递规则：如果操作a先于操作b，而操作b先与操作c，则可以得出操作a肯定先于
            操作c。happens-before原则具有传递性
        5.线程启动规则：Thread对象的start()方法先行于发生对该线程的任何动作。
        6.线程中断规则：对线程执行interrupt()方法肯定优先与捕获到中断信号。
        7.线程终结原则：线程任务的执行、逻辑单元执行肯定要发生于线程死亡之前
        8.一个对象初始化的完成先于finalize()方法之前。
 */

/*
    13.3.1 volatile关键字语义

    被volatile修饰的变量有：
        1.保证了不同线程之间对共享变量操作时的可见性
        2.进制对指令进行重排序操作

    （1）理解volatile保证可见性
    （2）理解volatile保证顺序性
    （3）理解volatile不保证原子性
        我觉得作者在将volatile不保证原子性时，举得例子前后都是矛盾的，前面一个例子都说了
        volatile在工作内存中对变量进行了修改后，会立即刷新到主内存中，导致其他工作内存中
        的备份失效。但是这个例子时又说线程B工作内存中为i执行了加1的操作，但是未刷新到至主
        内存中，这不是在搞笑么。这个例子又用到了后面写的类，我想做个实验都做不成，唉！
 */

/*
    13.3.3 volatile的使用场景

    （1）开关控制利用可见性的特点
            class ThreadConseale extends Thread{
                private volatile boolean started = true;

                public void run(){
                    while(started){
                        //do work
                    }
                }

                public void shutdown(){
                    this.started=false;
                }
            }
    （2）状态标记利用顺序性特点
    （3）Singleton设计模式的double-check也是利用顺序性特点。
 */

《Java高并发编程详解》笔记