可以看一下CPU的内存结构:
可以看出,线程A和线程B 分别在不同的 CPU 核心上运行,每一个核心都有自己的本地内存,并且在下方也有它们共享的内存。
这样的问题就是一个可见性问题。
要想解决这个问题,我们只需要在变量的前面加上 volatile 关键字修饰,只要我们加上这个关键字,那么每一次变量被修改的时候,其他线程对此都可见,这样一旦线程A改变了这个值,那么线程B 就可以立刻看到,因此就可以退出 while 循环了。
所以volatile关键字可以让它拥有可见性。
原因在于有了这个关键字之后,线程 A 的更改会被 flush 到共享内存中,然后又会被 refresh 到线程B 的本地内存中,这样线程B 就能感受到这个变化了,所以 volatile 这个关键字最主要是用来解决可见性问题的,可以一定程度上保证线程安全。
如果我们想保证原子性也有很多办法比如:
通常情况下,volatile 可以用来修饰 boolean 类型的标记位,因为对于标记位来讲,直接的赋值操作本身就是具备原子性的,再加上 volatile 保证了可见性,那么就是线程安全的了。
也就是说我们有一个可见性问题,那么可以使用 volatile 关键字。
如果我们要保证原子性可以使用 原子类 来保证。可以自己探索下,后面我也会总结的,
OK完活。
上一篇:卷积运算与卷积核DLC