一、根本原因
「CPU、内存、磁盘之间的速度差异」
- 为了能同时执行多个任务，CPU 发展出时间片轮转、多核等
- CPU 要从内存中读数据太慢了，所以给自己设置了缓存
- CPU 读磁盘更慢了，所以可以让该线程阻塞
二、直接原因
缓存导致的可见性问题
CPU 把要处理的数据加载到自己的缓存中，处理完了放回自己的缓存。
另一个 CPU 同样的处理，就导致可能看不到上一个 CPU 处理的结果。
线程切换带来的原子性问题
程序中的一行代码往往不是一条 CPU 指令。
线程切换的时候，可能会在一个代码执行的中间地方切换。
编译优化带来的有序性问题
优化会为了更高效的利用 CPU 缓存，将代码指令重排。
这个重排的过程会导致看似没问题的代码，多线程出现逻辑问题。
三、为啥要遇到这些问题
- 为了提高程序的性能
- 引入了新方法，就要处理这个方法对应的问题
- 可以说是硬件工程师和操作系统工程师为了提高执行效率，给软件工程师带来的麻烦
接下来的几篇文章会介绍如何解决上面提到的「可见性、原子性、有序性」的问题。