线程的安全性分析

• 线程的安全性分析
• 一、线程安全的本质
• • 1. 原子性
  • 2.可见性
  • 3.有序性
• 二、Java内存模型
• • 1.JMM和硬件模型对应简图
  • 2.可见性、有序性的解决方案
• 三、Synchronized的作用
• • 1.锁的范围
• 四、Volatile的作用

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

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

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

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

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

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