在多线程编程中,线程安全问题是比较难,非常重要的问题。不管是在面试过程中还是在实际的工作中,也都是经常出错的地方。因此本篇文章着重介绍一下线程的安全问题。
目录
一.线程不安全的原因
线程不安全的罪魁祸首就是多线程的抢占式执行带来的随机性。如果没有多线程,此时程序代码执行顺序就是固定的。代码的顺序固定,程序的结果就是固定的。如果有了多线程,此时抢占式执行下,代码执行的顺序就会出现更多的变数,代码执行顺序的可能性就从一种情况变成了无数种情况!所以就需要保证这无数种线程调度顺序的情况下,代码的执行结果都是正确的。所以只要用一种情况下代码结果不正确,就都视为是有bug,线程不安全。那我们可不可以消除这样的随机性呢?调度的源头来自于操作系统的内核的实现,是改不了的!对于当下来说,消除线程安全问题是不太可能的,我们能做的就是用各种方法尽量避免不安全的问题发生。
二.线程不安全的实例
我们创建两个线程并让其进行自增操作,如图:
多次运行并得到结果:
按照我们的想法,得到最终的结果应该是正好100000次,但是程序并没有如期运行。为啥?对于一个简单的++操作,本质上要分成三步!!
1.先把内存中的值,读取到CPU的寄存器当中(load)
2.把CPU寄存器里的数值进行+1计算(add)
3.把得到的结果写会到内存中(save)
这三个操作就是CPU上执行的三个指令。当两个线程并发的执行count++,此时就相当于两组load add save操作在执行。此时,不同的线程调度顺序就可能会产生一些结果上的差异。符合我们预期的调度顺序如图:
或者
上面这两种调度顺序就是符号我们预期的调度顺序,但是还充满着其他的可能性,例如: