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