线程安全问题的原因和解决方案

目录

一、线程不安全的原因

什么是原子性

不保证原子性会给多线程带来什么问题

可见性

Java 内存模型 (JMM):

有序性

二、解决方案

1、锁

1.1 synchronized（同步锁）

1.2 synchronized 的特性

1.3synchronized 使用示例

2.1 Lock  （是java.util.concurrent.locks.Lock的接口）

3.解决线程安全还有：volatile ，堵塞队列BlockingQueque<>接口，wait和notify 

3.1  volatile

3.2wait 和 notify

3.3堵塞队列BlockingQueque<>接口

三、总结-保证线程安全的思路

一、线程不安全的原因

1、多个线程修改了同一个共享变量：在真实业务中，大多数都是要修改同一变量的，不能避免

2、线程是抢占式执行的，CPU调度是随机的：多个线程在CPU上的调度是随机的，顺序是不可预知的

3、指令执行时，没有保证原子性：要么全都执行，要么全都不执行，有可能通过Java层面处理

4、多线程环境中内存可见性问题：有可能通过Java层面处理

5、指令的有序性问题：有可能通过Java层面处理，强行通知编译器不要做指令重排序

什么是原子性

    我们把一段代码想象成一个房间，每个线程就是要进入这个房间的人。如果没有任何机制保证，A进入 房间之后，还没有出来；B 是不是也可以进入房间，打断 A 在房间里的隐私。这个就是不具备原子性 的。 那我们应该如何解决这个问题呢？是不是只要给房间加一把锁，A 进去就把门锁上，其他人是不是就进 不来了。这样就保证了这段代码的原子性了。 有时也把这个现象叫做同步互斥，表示操作是互相排斥的。

不保证原子性会给多线程带来什么问题

如果一个线程正在对一个变量操作，中途其他线程插入进来了，如果这个操作被打断了，结果就可能是错误的。

这点也和线程的抢占式调度密切相关. 如果线程不是 "抢占" 的, 就算没有原子性, 也问题不大.

可见性

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

Java 内存模型 (JMM):

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

线程之间的共享变量存在主内存 (Main Memory).

每一个线程都有自己的 "工作内存" (Working Memory) .

当线程要读取一个共享变量的时候, 会先把变量从主内存拷贝到工作内存, 再从工作内存读取数据.

当线程要修改一个共享变量的时候, 也会先修改工作内存中的副本, 再同步回主内存 

由于每个线程有自己的工作内存, 这些工作内存中的内容相当于同一个共享变量的 "副本". 此时修改线程 1 的工作内存中的值, 线程2 的工作内存不一定会及时变化.

有序性

什么是代码重排序

一段代码是这样的： 1. 去前台取下 U 盘 2. 去教室写 10 分钟作业 3. 去前台取下快递

如果是在单线程情况下，JVM、CPU指令集会对其进行优化，比如，按 1->3->2的方式执行，也是没问 题，可以少跑一次前台。这种叫做指令重排序

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

二、解决方案

1、锁

锁有两种：synchronized 和lock

加锁和解锁就是确保不是多个线程同时使用操作同一个数据，导致线程不安全。

1.1 synchronized（同步锁）