理解JMM

JMM

对volatile的理解

volatile 是java虚拟机提供轻量级的同步机制

1、保证可见性

2、不保证原子性

3、禁止指令重排

那么可见性与JMM相关

什么是JMM

Java内存模型，不存在的东西，是一个概念，是一个约定

• 线程加锁前，必须读取主存中最新值到工作内存中
• 线程解锁前，必须立刻将共享变量刷回到主存中
• 加锁与解锁必须是同一把锁

解释：线程操作变量时，

1、是先将主存中的数据复制到自己的工作内存中

2、对自己内存的内容进行操作

3、操作完成后解锁时，需要将更新的内容，同步更新到主存中

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

会存在一个问题，

• 如果线程A读取了数据，但是没有停止，没有将数据刷新到主存中

• 线程B读取了数据，并且一下就停止了，然后将数据刷新回了

• 这个时候主存中的数据已经刷新了，但是工作内存中并没有得到最新的数据

所以volatile可以解决的，他可以让主存的数据变成可见性，也就是主存的数据如果发生了改变，就可以将数据直接刷新回去

上述就是保证了可见性

不保证原子性

• 原子性操作是像原子一样，要么一起成功，要么一起失败

• 但是volatile在变量上时，是不保证的。

  • 如何理解这句话

  • 举例

  • class X {
        private static int num;
        
        public static void add(){
            num++;
        }
        public static void main(String[] args) {
            for (int i = 0; i < 10; i++) {
                new Thread(()->{
                    add();
                }).start();
            }
            System.out.println(num);
        }
    }
    

  • 上述代码一看就知道是存在数据不安全的情况

  • 那么在这里底层上num++，并不是一个操作，而是由多个步骤操作实现的num++;

  • 所以当出现了多个线程操作同一个变量时，就存在了不安全的行为，这几个步骤不能保证原子性

  • 而此时，添加了volatile也是没有办法保证原子性的

  • 注意：如果你把sout写到了里面，那么就会保证原子性，因为sout是加锁的

如何解决这个问题

使用

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

这个包下的内容

public static void add(){
    num.getAndIncrement();
}
public static void main(String[] args) throws InterruptedException {

    for (int i = 0; i < 10; i++) {
        new Thread(()->{
            add();
        }).start();
    }
    while (Thread.activeCount() > 2){
        Thread.yield();
    }
    System.out.println(num);
}

• 为什么要使用线程礼让
• 这个线程如果都跑完了，就剩下main线程与gcc垃圾线程
• 所以没有跑完就一直礼让
• 保证最后执行sout
• 也可以使用sleep休眠
• 不然上面的线程还没有执行完，就输出了
• 注意上面的问题哦

禁止指令重排

什么是指令重排

int x = 1;
int y = 2;
x = x + 2;
y = y + 2;

• 这里，使用 第一个指令与第二个指令重新排队，对程序是没有影响的

会出现的问题

x , y ,a ,b = 0

线程A	线程B
x = a	y = b
b = 1	a = 2

正常线程输出是

x = 0 b = 1 ; y = 1 a = 2

但是如果执行顺序不同，使得指令重排，

结果可能是

x = 2 b = 1 ; y = 1 a = 2;

那么volatile会禁止重新排列

为什么会出现禁止重排，因为内存屏障会

内存屏障禁止重排

保证数据可见性

• volatile会增加数据禁止重排