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高并发编程详解》笔记
