线程安全问题-产生问题的原因

什么是线程安全问题？

        观察下面的代码和执行结果

    public static int count = 0;
    public static void main(String[] args) throws InterruptedException {
        Object lock = new Object();
        Thread t1 = new Thread(() -> {
            for (int i = 0; i < 5000; i++) {
                count++;
            }
        });
        Thread t2 = new Thread(() -> {
            for (int i = 0; i < 5000; i++) {
                count++;
            }
        });
        t1.start();
        t2.start();
        t1.join();
        t2.join();
        System.out.println(count);
    }

        可以发现此时结果本应该为10000，但是执行了两次结果不但不为10000而且两次的执行结果不一样。

        这时就引发了由多线程带来的线程安全问题。

线程安全问题的概念？

        可以说：如果一个多线程代码运行出的结果是符合我们预期的，并且和在单线程下运行与之等价的代码结果一致，我们可以任务在这种状态下的代码是线程安全的。

线程安全问题引发的原因

        1.线程的调度是“抢占式执行”的随机调度，导致线程之间执行的顺序存在很大的变数[根本原因]

        2.代码的结构，（在多个线程中同时修改同一变量）

        3.多线程的修改操作并不是“原子的”

        例如：count++ 这一行代码 在计算机中会被拆分为多个cpu指令，在这些指令的执行过程中，有可能被其他线程的执行“挤下台”，导致代码在执行完之前count值已被修改过一/多次。

        4.内存可见性问题

        可⻅性指,⼀个线程对共享变量值的修改，能够及时地被其他线程看到。

        Java内存模型(JMM):Java虚拟机规范中定义了Java内存模型

        ⽬的是屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到⼀致的并发效果，其中的“工作内存”指的是cpu的寄存器+缓存。

        线程之间共享着这一进程所分配到的内存，但是线程在cpu中也有自己的“工作内存”

        当一个线程要读取一个数据时，会先将数据从主内存中拷贝到工作内存中，再从工作内存中读取数据。

        当一个线程要修改一个数据时，会先修改工作内存中的数据，再同步至主内存当中。

        由于每个线程都有自己的工作内存，当线程1修改自己工作内存中的数据并同步回主内存时，线程2工作内存的该数据可能无法及时响应该变化。

        举个例子：

        1）线程1、线程2、主内存当中都有变量x此时值都为10

        2）当线程1修改x的值为20并同步回主内存时，线程2对x的值做了判断以及一些列逻辑。由于此时还未同步回主内存，线程2也当然无法读取到已被修改为20的x，所以线程2会判断到x为10，并执行相应的逻辑。

        在这种情况下，用户即使已经在线程1中修改了x的值为20，但是线程2依旧反馈给用户x为10时的逻辑，与用户预期不符。

        5.指令重排序问题

        什么是重排序？

        假设有一段代码的逻辑是这样的：

        1.去前台取回u盘

        2.会教室写一会作业

        3.去前台拿一些粉笔

         显然按照1->2->3的顺序执行会多跑一次前台，jvm就会对这个逻辑进行优化为1->3->2这样就可以少跑一次前台节约一些性能。但是在多线程中，这种“优化”有时会影响其他线程的工作，导致出现线程安全难问题。指令重排序问题是一个复杂的问题，这里不过多讨论。