java基础之java内存模型

概述

JMM，java memory model，这里主要是通过多线程的原子性，可见性，有序性 还有 重排序 来分析

原子性

原子性指一个操作是不可中断的，即使在多个线程一起执行，一个操作一旦开始，就不会被其他线程打断。
比如i++，分为3步操作，读取i，给i+1，赋值给i

保证方法

• synchronized
• lua脚本
• unsafe（包括AtomicInteger）

可见性

当一个线程修改了某个共享变量的值，其他线程是否能够立即知道这个修改

保证方法

• volatile 保证新值立即同步到主内存，适用于条件判断之类的情况
• synchronized 对一个变量执行unlock时，必须先把此变量同步到主内存中
• final final修饰的变量，要保证其他线程能看到

有序性

在本线程中观察，所有的操作都是有序的（线程内表现为串行），如果在一个线程中观察另外一个线程，所有的操作都是无序的（指令重排序、工作内存和主内存同步有延迟）。

 num =0;
 public void test() throws Exception{
        new Thread(()->{num=1;}).start();
        new Thread(()->{num=2;}).start();
        System.out.println(num);
    }

输出结果可能是0，1，2
在不破坏串行语句的情况下（num=1,num2=num+1），指令重排可以使流水线更加顺畅

保证方法

• synchronized – 一个变量在同一时刻只允许一条线程对其操作
• volatile 禁止重排序

先行发生原则

• 程序次序规则，在一个线程内，按照书写顺序（控制流程顺序）
• 管程锁定规则，对于同一个对象的锁，unlock先于后面一个lock的发生，这里的后面都是指时间上的先后，以下都是
• volatile原则，对于一个volatile变量的写，先于后面的读操作
• ……
• 传递性原则，A操作先于B，B操作先于C，那么A先于C发生

volatile适用场景

• 很明显，计数器不适用，volatile 并不能保证原子性
• Boolean的状态标志
• 比如温度检测系统，一个线程定时从硬件读取温度，保证其他线程总是能拿到最新的问题
• 一次性安全发布（one-time safe publication），双重检查锁定（double-checked-locking）问题