11.内存可见行问题

// ----------------------|----------------------|
//       线程 A           |     线程 B           |
//                       |                      |
//      |---------|      |     |---------|      |
//      |  控制器  |      |     |  控制器  |      |
//      |---------|      |     |---------|      |
//      |  运算器  |      |     |   运算器 |      |
//      |---------|      |     |---------|      |
//      | L1 Cache|      |     | L1 Cache|      |
//      |---------|      |     |---------|      |
// ---------------------------------------------|
//                  L2  Cache                   |
// ---------------------------------------------|
//                     主内存                    |
//      |---------|           |---------|       |
//      | 共享变量1|           | 共享变量2 |      |
//      |---------|           |---------|       |
// ---------------------------------------------|

假如线程 A 和线程 B 同时处理一个共享变量，使用图所示 CPU 架构，
假设线程 A 和线程 B 使用不同 CPU 执行，并且当前两级 Cache 都为空， 那么这时候由于 Cache 的存在，将会导致内存不可见问题， 具体看下面的分析。

• 线程 A 首先获取共享变量 X 的值，由于两级 Cache 都没有命中 ，所以加载主内存中 X 的值，假如为 0。
  然后把 X=O 的值缓存到两级缓存， 线程 A 修改 X 的值为 1, 然后将其写入两级 Cache， 并且刷新到主内存。
  线程 A 操作完毕后，线程 A 所在的 CPU 的两级 Cache 内和主内存里面的 X 的值都是 1。
• 线程 B 获取 X 的值，首先一级缓存没有命中，然后看二级缓存，二级缓存命中了 ， 所以返回 X= 1 。
  到这里一切都是正常的， 因为这时候主 内存中也是 X=1 。然后线 程 B 修改 X 的值为 2，
  并将其存放到线程 2 所在的一级 Cache 和共享二级 Cache 中，最后更新主内存中 X 的值为 2，到这里一切都是好的。
• 线程 A 这次又需要修改 X 的值， 获取时一级缓存命中， 并且 X=1，到这里问题就出现了，明明线程 B 已经把 X 的值修改为了 2，
  为何线程 A 获取的还是 1 呢？这就是共享变量的内存不可见问题， 也就是线程 B 写入的值对线程 A 不可见

11.内存可见行问题

原文：https://www.cnblogs.com/fly-book/p/11367672.html