什么是可见性问题？

￡神魔★判官ぃ 2024-03-26 14:14 93阅读 0赞

### 什么是可见性问题？ ###

<table> 
 <thead> 
  <tr> 
   <th align="left">串行程序时</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left">对于串行程序来说，可见性问题是不存在的，因为你在任何一个操作步骤中修改了某个变量，在后续的步骤中读取这个变量的值时，读取的一定是修改后的新值。</td> 
  </tr> 
  <tr> 
   <td align="left"></td> 
  </tr> 
  <tr> 
   <td align="left"><strong>并行场景时</strong></td> 
  </tr> 
  <tr> 
   <td align="left">多核时代，每颗 CPU 都有自己的缓存，一个<code>CPU缓存</code>中的变量对另外一个CPU是不可见的。在并行程序中，如果一个线程修改了某一个<code>全局变量</code>，那么其他线程未必可以马上知道这个改动。</td> 
  </tr> 
  <tr> 
   <td align="left">如下图中，<code>两个线程</code>在执行时，CPU1和CPU2分别将内存中的变量缓存到CPU的缓存中，如果CPU1的线程修改了变量V，那么CPU2的线程可能无法意识到这个改动，依然会读取CPU2中cache或者寄存器中的值，这就产生了可见性问题。</td> 
  </tr> 
  <tr> 
   <td align="left"><img src="https://img-blog.csdnimg.cn/5344772ce50f4ae1b2fe130ad7ec80ae.png" alt="在这里插入图片描述"></td> 
  </tr> 
  <tr> 
   <td align="left">----------------------------------------------------------------参考自 <a href="https://blog.csdn.net/chenchaozzu/article/details/108043827" rel="nofollow">什么是可见性问题？</a></td> 
  </tr> 
 </tbody> 
</table>

### 解决办法 ###

参考 → [并发编程 原子性 可见性 有序性][_ _]

![在这里插入图片描述][475edd291cca40729a91087b25123f92.png_pic_center]

###  JMM的内存可见性保证 ###

<table> 
 <thead> 
  <tr> 
   <th align="left"></th> 
   <th align="left">按程序类型，Java程序的<code>内存可见性保证</code>可以分为下列3类</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="left">单线程程序</td> 
   <td align="left"><code>单线程程序</code>不会出现内存可见性问题。编译器、runtime和处理器会共同确保单线程程序的执行结果与该程序在<a href="https://blog.csdn.net/weixin_37646636/article/details/130905947" rel="nofollow"><strong>顺序一致性模型</strong></a>中的执行结果相同</td> 
  </tr> 
  <tr> 
   <td align="left">正确同步的多线程程序</td> 
   <td align="left"><code>正确同步的多线程程序</code>的执行将具有<strong>顺序一致性</strong>（程序的执行结果与该程序在顺序一致性内存模型中的执行结果相同）。这是JMM关注的重点，JMM通过<strong>限制</strong>编译器和处理器的<strong>重排序</strong>来为程序员提供内存可见性保证</td> 
  </tr> 
  <tr> 
   <td align="left">未同步/未正确同步的多线程程序</td> 
   <td align="left">JMM为它们提供了 <strong>最小安全性保障</strong> ：线程执行时读取到的值，要么是之前某个线程写入的值，要么是默认值（0、null、false）</td> 
  </tr> 
 </tbody> 
</table>

![在这里插入图片描述][f1cbc7c4ac3646d180cdabd1ae71f097.png_pic_center]

\-----------------------------------------------------------------------------摘自 书名：Java并发编程的艺术 作者：方腾飞；魏鹏；程晓明

![在这里插入图片描述][c36f7d7a968244329655ade87948b274.png_pic_center]

[_ _]: https://blog.csdn.net/weixin_37646636/article/details/130892438
[475edd291cca40729a91087b25123f92.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/26/c43bcdb0e4044fe1b1ba7f33d23acb93.png
[f1cbc7c4ac3646d180cdabd1ae71f097.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/26/214b32a5d1004fb2b7bebf40c7ace755.png
[c36f7d7a968244329655ade87948b274.png_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/26/85905c3d9e35457eb955e78989cfa67e.png