线程的安全性分析

白泽

已于 2022-07-05 11:44:57 修改

阅读量1k

点赞数

分类专栏： Java并发编程文章标签： java

于 2022-04-21 22:05:43 首次发布

本文为博主原创，转载请注明出处

本文链接：https://blog.csdn.net/qq_37922483/article/details/124331601

版权

Java并发编程专栏收录该内容

3 篇文章 0 订阅

订阅专栏

一、线程安全的本质

在这里插入图片描述

每个内核都有自己独立的缓存空间，缓存之间的数据是不可见的，只有当数据写入公共缓存区之后，数据才是可见的。导致多线程下，数据不一致。

1. 原子性

public class Demo {
    private static int count = 0;
    public static void main(String[] args) throws InterruptedException {
        for (int j = 0; j < 1000; j++) {
            new Thread(()-> count++).start();
        }
        Thread.sleep(3000);
        System.out.println(count);
    }
}

正常结果count = 1000，但是count++无法保证原子性，导致结果小于等于1000

2.可见性

在这里插入图片描述

3.有序性

在这里插入图片描述

二、Java内存模型

Java内存模型是一种抽象结构，它提供了合理的禁用缓存以及禁止指令重排序的方法来解决可见性、有序性问题。

在这里插入图片描述

1.JMM和硬件模型对应简图

在这里插入图片描述

2.可见性、有序性的解决方案

Volatile、synchronized、final关键字
Happens-Before原则

三、Synchronized的作用

可以解决原子性、可见性、有序性问题

1.锁的范围

1.对于普通同步方法，锁是当前实例对象
2.对于静态同步方法，锁是当前类的Class对象
3.对于同步代码块，锁是Synchronized括号里配置的对象

在这里插入图片描述

四、Volatile的作用

Volaile可以用来解决可见性和有序性问题

1. Lock指令的作用

将当前处理器缓存行的数据写回到系统内存。
写回内存操作会使在其他CPU里缓存了该内存地址的数据无效。

2. 什么时候用Volatile

当存在多个线程对同一个共享变量进行修改的时候。需要增加Volatile，保证数据修改的实时可见

3. CPU层面的内存屏障

Store Barrier: 强制所有在store屏障指令之前的store指令，都在该store屏障指令执行之前被执行，并把store缓冲区的数据都刷到CPU缓存
Load Barrier：强制所有在load屏障指令之后的load指令，都在该load屏障指令执行之后被执行，并且一直等到load缓冲区被该CPU读完才能执行之后的load指令
Full Barrier：复合了load和store屏障的功能