线程安全介绍及保障方法

线程安全就是为了在单位时间内某个线程操作的是同样的数据，用以解决在并发写情况下数据的一致性问题。

 

举例说明：

比如一个 ArrayList 类，在添加一个元素的时候，它可能会有两步来完成：1. 在 Items[Size] 的位置存放此元素；2. 增大 Size 的值。

在单线程运行的情况下，如果 Size = 0，添加一个元素后，此元素在位置 0，而且 Size=1；

而如果是在多线程情况下，比如有两个线程，线程 A 先将元素存放在位置 0。但是此时 CPU 调度线程A暂停，线程 B 得到运行的机会。线程B也向此 ArrayList 添加元素，因为此时 Size 仍然等于 0 （注意哦，我们假设的是添加一个元素是要两个步骤哦，而线程A仅仅完成了步骤1），所以线程B也将元素存放在位置0。然后线程A和线程B都继续运行，都增加 Size 的值。

那好，我们来看看 ArrayList 的情况，元素实际上只有一个，存放在位置 0，而 Size 却等于 2。这就是“线程不安全”了。

一般说来，确保线程安全的方法有这几个：竞争与原子操作、同步与锁、可重入、过度优化。

竞争与原子操作
多个线程同时访问和修改一个数据，可能造成很严重的后果。出现严重后果的原因是很多操作被操作系统编译为汇编代码之后不止一条指令，因此在执行的时候可能执行了一半就被调度系统打断了而去执行别的代码了。一般将单指令的操作称为原子的(Atomic)，因为不管怎样，单条指令的执行是不会被打断的。

因此，为了避免出现多线程操作数据的出现异常，Linux系统提供了一些常用操作的原子指令，确保了线程的安全。但是，它们只适用于比较简单的场合，在复杂的情况下就要选用其他的方法了。

同步与锁
为了避免多个线程同时读写一个数据而产生不可预料的后果，开发人员要将各个线程对同一个数据的访问同步，也就是说，在一个线程访问数据未结束的时候，其他线程不得对同一个数据进行访问。

同步的最常用的方法是使用锁(Lock)，它是一种非强制机制，每个线程在访问数据或资源之前首先试图获取锁，并在访问结束之后释放锁；在锁已经被占用的时候试图获取锁时，线程会等待，直到锁重新可用。

二元信号量是最简单的一种锁，它只有两种状态：占用与非占用，它适合只能被唯一一个线程独占访问的资源。对于允许多个线程并发访问的资源，要使用多元信号量(简称信号量)。

可重入

先介绍下可重入函数和不可重入函数的定义和自我理解。

在函数中如果我们使用静态变量了，导致产生中断调用别的函数的 过程中可能还会调用这个函数，于是原来的 静态变量被在这里改变了，然后返回主体函数，用着的那个静态变量就被改变了，导致错误。这类函数我们称为不可重入函数。

但是如果是在函数体内 动态申请内存的话，即便 新的线程调用这个函数也没事，因为新的线程使用的是新的函数的 新申请的动态内存（静态变量只有一份，所以 多线程对于函数体内的静态变量改变 会有无法修复的结果），所以这类函数就是可重入函数。

过度优化
在很多情况下，即使我们合理地使用了锁，也不一定能够保证线程安全，因此，我们可能对代码进行过度的优化以确保线程安全。

我们可以使用volatile关键字试图阻止过度优化，它可以做两件事：第一，阻止编译器为了提高速度将一个变量缓存到寄存器而不写回；第二，阻止编译器调整操作volatile变量的指令顺序。

在另一种情况下，CPU的乱序执行让多线程安全保障的努力变得很困难，通常的解决办法是调用CPU提供的一条常被称作barrier的指令，它会阻止CPU将该指令之前的指令交换到barrier之后，反之亦然。
 

参考：

https://blog.csdn.net/zhouzhaoxiong1227/article/details/74932180  

https://baijiahao.baidu.com/s?id=1611596163857301051&wfr=spider&for=pc

https://blog.csdn.net/csdnnews/article/details/82321777

https://www.jianshu.com/p/f99a04cff60a