【Java EE】线程安全的原因以及解决方式

线程安全的概念：如果多线程环境下代码运行的结果是符合我们预期的，即再单线程环境的结果，则说明线程是安全的。

线程不安全主要有以下几种原因：修改共享数据，原子性，可见性，代码顺序性.....

示例代码：

static class Counter {
    public int count = 0;
    void increase() {
        count++;
   }
}
public static void main(String[] args) throws InterruptedException {
    final Counter counter = new Counter();
    Thread t1 = new Thread(() -> {
        for (int i = 0; i < 50000; i++) {
            counter.increase();
       }
   });
    Thread t2 = new Thread(() -> {
        for (int i = 0; i < 50000; i++) {
            counter.increase();
       }
   });
    t1.start();
    t2.start();
    t1.join();
    t2.join();
    System.out.println(counter.count);
}

1.修改共享数据

上面示例代码中counter.count变量可以被多个指针修改，是一个多线程都能访问到的“共享”数据，因此造成线程不安全。

2.原子性

什么是原子性？把代码比作一个小房间，A进去了之后B就不能进去。这样就称为具有原子性。

那么如何保证原子性呢？当然是给门上锁，代码也是一样。

如果一个线程正在对一个变量进行操作，中途其他线程突然插进来了，这个线程被打断，结果可能会出现问题。

3.可见性

可见性是指一个线程对共享变量值的修改，能够及时的被其他线程看见。

Java 内存模型 (JMM): Java虚拟机规范中定义了Java内存模型. 目的是屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的并发效果.

线程之间共享变量存在与主内存中，每一个线程都有自己的工作内存，当线程要读取一个共享变量时 ，先将变量从主内存拷贝到工作内存中，然后再从工作内存中读取数据。当线程想要修改变量时，先修改工作内存中的副本，再同步回主内存。

当修改了线程1的值之后，此时主内存不一定能够同步，对应的线程2的值也不一定能够同步，这个时候代码中就容易出问题。

4.代码重排序

编译器对于指令重排序的前提是 "保持逻辑不发生变化". 这一点在单线程环境下比较容易判断, 但 是在多线程环境下就没那么容易了, 多线程的代码执行复杂程度更高, 编译器很难在编译阶段对代 码的执行效果进行预测, 因此激进的重排序很容易导致优化后的逻辑和之前不等价。