java线程模型与volatile学习

volatile保证了JAVA多线程情况下访问同一个共享变量，其中一个线程对该变量进行了修改通过缓存一致性协议，使其他线程在自己的工作内存中可以感知到该变量的修改达到了变量的可见性。volatile还通过设置内存屏障保证了CPU和编译器不会对该变量进行指令重排的操作。volatile解决了内存变量的一致性、有序性但是不能解决内存的原子性操作，可以通过LOCK或者synchronized来解决java 线程的原子性问题。 java的线程模型是对底层计算机硬件结果的内存模型的一个抽象
栈内存–CPU缓存 对内存–物理内存 jvm–I/O总线 jvm–CPU计算单元

指令重排序问题

为了使得处理器内部的运算单元能尽量被充分利用，处理器可能会对输入代码进行乱序执
行（Out-Of-Order Execution）优化，处理器会在计算之后将乱序执行的结果重组，保证该
结果与顺序执行的结果是一致的，但并不保证程序中各个语句计算的先后顺序与输入代码中的
顺序一致。因此，如果存在一个计算任务依赖另一个计算任务的中间结果，那么其顺序性并不
能靠代码的先后顺序来保证。与处理器的乱序执行优化类似，Java虚拟机的即时编译器中也有
类似的指令重排序（Instruction Reorder）优化

JMM-同步八种操作介绍

（1）lock(锁定)：作用于主内存的变量，把一个变量标记为一条线程独占状态
（2）unlock(解锁)：作用于主内存的变量，把一个处于锁定状态的变量释放出来，释放后的
变量才可以被其他线程锁定
（3）read(读取)：作用于主内存的变量，把一个变量值从主内存传输到线程的工作内存中，
以便随后的load动作使用
（4）load(载入)：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作
内存的变量副本中
（5）use(使用)：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引擎
（6）assign(赋值)：作用于工作内存的变量，它把一个从执行引擎接收到的值赋给工作内存
的变量
（7）store(存储)：作用于工作内存的变量，把工作内存中的一个变量的值传送到主内存中，
以便随后的write的操作
（8）write(写入)：作用于工作内存的变量，它把store操作从工作内存中的一个变量的值传送

如果要把一个变量从主内存中复制到工作内存中，就需要按顺序地执行read和load操作，
如果把变量从工作内存中同步到主内存中，就需要按顺序地执行store和write操作。但Java内
存模型只要求上述操作必须按顺序执行，而没有保证必须是连续执行。

同步规则分析

1）不允许一个线程无原因地（没有发生过任何assign操作）把数据从工作内存同步回主内存
中
2）一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化（load
或者assign）的变量。即就是对一个变量实施use和store操作之前，必须先自行assign和load
操作。
3）一个变量在同一时刻只允许一条线程对其进行lock操作，但lock操作可以被同一线程重复
执行多次，多次执行lock后，只有执行相同次数的unlock操作，变量才会被解锁。lock和
unlock必须成对出现。
4）如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个变
量之前需要重新执行load或assign操作初始化变量的值。
5）如果一个变量事先没有被lock操作锁定，则不允许对它执行unlock操作；也不允许去
unlock一个被其他线程锁定的变量。
6）对一个变量执行unlock操作之前，必须先把此变量同步到主内存中（执行store和write操
作）