【并发编程】Java内存模型

  

       📝个人主页：五敷有你      
 🔥系列专栏：并发编程
⛺️稳重求进，晒太阳

      这一章进一步深入学习共享变量在多线程间的【可见性】问题，与多条指令执行时的【有序性】问题

Java内存模型

JMM即Java Memory Model ,它定义了内存，工作内存的抽象概念，底层对应着CPU寄存器，缓存，硬件内存，CPU指令优化等。

JMM体现在如下几个方面

• 原子性：保证指令不会受到线程上下文切换的影响
• 可见性：保证指令不会收到CPU缓存的影响
• 有序性：保证指令不会受CPU指令并行优化的影响

可见性

退不出的循环

先来看一个现象，main线程对run变量的修改对于t线程不可见，导致t线程无法停止

stat
static boolean run=true;
public static void main(String[] args) throws InterruptedException {
    Thread t1=new Thread(()->{
       while (run){
           //...一直运行
       }
    });
    t1.start();
    Thread.sleep(2000);
    run=false;
    log.debug("停止{}",run);



}

为什么呢？分析一下

初始状态，t线程刚开始从主存读取到run的值到工作内存

2 因为t线程要频繁主存中读取run的值，JIT编译器会将run的值缓存至自己的工作内存中的高速缓存中，。减少对主存中run的访问。提高效率

3、 1s后，mian线程修改了run的值，并同步至主存，而t是从自己工作内存中的高速缓存中读取这个变量的值，结果永远是旧的值

可见性解决方法

1. volatile（易变关键字）

它可以用来修饰成员变量和静态成员变量，不能修饰局部变量，他可以避免线程从自己的工作缓存中查找变量的值，必须到主存中获取它的值，线程操作 volatile 变量都是直接操作主存

1. synchorinzed

        某一个线程进入synchronized代码块前后，线程会加锁，清空工作内存，从主内存拷贝共享变量最新的值到工作区称为副本

        执行代码，将修改后的副本刷新回到主存中，线程释放锁

可见性VS原子性

        前面例子体现的是可见性，它保证的是在多个线程之间，一个线程对volatile变量的修改对另一个线程可见，不能保证原子性，仅用一个写线程，多个读线程的清空。

上例的字节码文件理解是这样的：

        比较一下，之前线程安全时举得例子：两个线程一个i++,一个i--,只能保证看到最新值，不能解决指令交错的问题。

        在下面，线程2读取值0 然后切换 线程1读取i的值， 之后准备常熟1 ，然后写回JMM，之后线程2 修改后写回JMM， 结果是-1，与期待不符，这是原子性问题，而volatile是解决的可见性的问题

        注意 synchronized 语句块既可以保证代码块的原子性，也同时保证代码块内变量的可见性。但缺点是synchronized 是属于重量级操作，性能相对更低

        如果在前面示例的死循环中加入 System.out.println() 会发现即使不加 volatile 修饰符，线程 t 也能正确看到对 run 变量的修改了，想一想为什么？

如下，在println中有synchronized

有序性

JVM会在不影响正确性的前提下，可以调整语句的执行顺序，思考下面的一段代码

static int i; static int j; //在某个线程内执行如下赋值操作 i=...; j=...;

可以看到，至于是先执行i,还是先执行j, 对最终结果不会产生影响，所以，上面的代码真正执行时，既可以是

i=...; j=...;

也可以是

i=...; j=...;

这种特性称之为指令重排序，在多线程下，【指令重排序】会影响正确性，为什么要有指令重排序这项优化呢？从CPU执行指令的原理来理解

---------【并发编程】指令集并行原理-CSDN博客