CPU预测和内存障碍

问题描述

我正在学习内存障碍，因此我在Linux内核源代码中参考了memory-barriers文档。有一种我不明白的描述：

控制依赖项可能有点棘手，因为当前的编译器确实 不了解他们。本节的目的是帮助您 防止编译器的无知破坏代码。

加载-加载控制依赖项需要完整的读取内存屏障， 不仅仅是为了使其正常工作而存在的数据依赖障碍。 考虑以下代码：

q = READ_ONCE(a);
if (q) {
  <data dependency barrier>  /* BUG: No data dependency!!! */
  p = READ_ONCE(b);
}

由于没有实际数据，因此不会达到预期的效果 依赖性，而是cpu可能的控制依赖性 通过尝试预先预测结果来实现短路，从而 其他cpu将b的负载视为发生在b的负载之前 一种。在这种情况下，实际需要的是：

q = READ_ONCE(a);
if (q) {
  <read barrier>
  p = READ_ONCE(b);
}

以下描述使我感到困惑：

cpu可能会通过尝试预先预测结果而短路， 这样其他cpu就会看到b的负载发生在 从

加载

cpu预测 是否与 有关，其他cpu认为b的负载是在a的负载之前发生的 ？这是怎么发生的？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）