2020-09-02:为什么最简单的程序也会有线程安全问题？

前言

每日一题专栏

为什么最简单的程序也会有线程安全问题？

计算机里的硬件这些部件，特别是内存，硬盘，他们读取数据的速度，比如cpu和内存之间存在巨大差距。由于计算机的存储设备与处理器的运算能力之间有几个数量级的差距，所以现代计算机系统都不得不加入一层读写速度尽可能接近处理器运算速度的高速缓存（cache）来作为内存与处理器之间的缓冲：将运算需要使用到的数据复制到缓存中，让运算能快速进行，当运算结束后再从缓存同步回内存之中，这样处理器就无需等待缓慢的内存读写了。为了充分利用这个高速缓存，对于我们平时运行的java程序，Java相关的规范中有一套Java内存模型，其中规定了所有的变量都存储在主内存中，但是每个线程并不是直接对主内存进行读写，每条线程还有自己的工作内存（工作内存是个抽象概念，是计算机里很多实际设备的一个综合），线程的工作内存中保存了该线程使用到的变量到主内存副本拷贝，线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程之间无法直接访问对方工作内存中的变量，线程间变量值的传递均需要在主内存来完成。但是，线程安全的问题的根源就在这个Java内存模型里。