并发的三大特性
- 可见性
- 有序性
- 原子性
可见性
首先,为什么会有可见性这个概念呢?
先看下现代计算机多核CPU的物理结构
在多核CPU内部有多个核,为了平衡CPU本身的处理速度和读写其他硬件耗时之间的鸿沟,设计了 L1/L2/L3 三级高速缓存,除了 L3 是整个CPU共享之外, L1/L2 是每个核所独有的。
假设内存中有一个共享变量 x=1 ,此时x存在与内存中。当线程的代码在CPU的某个核中执行时,会先从内存中加载 x 的值到 CPU的高速缓存 L3 中,然后是 L2 和 L1,所以线程真正运行过程中读写的 x 其实是高速缓存中的 x ,如果某个CPU中的某个线程修改了 x 的值,那么需要通过 CPU的缓存一致性协议去把这个值同步到内存中,并且通知其他的CPU缓存里的 x 的值失效了需要重新去内存中读取新的值。
站在CPU的角度上并没有什么问题,因为有缓存一致性协议的保证,单个CPU在