问如何确保C多线程程序读取主内存中的最新值？

EN

在某种程度上，人们注意到你问题的前提是有缺陷的，这是一个合理的答案。一般来说，这种情况很少发生，而且通常与种族状况没有区别。

然而，，是的，它可以发生。例如，请参阅记忆屏障，这是一个很好的例子，说明了这种情况(尽管是由于OOO的执行等等)。可能会发生。

尽管如此，为了确保您注意到的特定事件不会发生，您要寻找的是"缓存刷新“。在存在单独的数据和指令缓存的ARM/ARM 64处理器上，这一点确实很重要，但对于线程之间以这种方式传递的数据来说，这也是一个很好的习惯。您还可以签出执行类似任务的cache c编译器内置。希望其中之一能帮助你找到问题的根源。

但是，很可能您没有遇到缓存问题，并且更有可能出现争用状态。如果内存障碍/缓存刷新不能解决问题，请仔细检查代码的运行情况。

如何确保C多线程程序读取主内存中的最新值？

您可能希望使用一些线程库，比如POSIX线程。阅读一些丝线教程，参见线程(7)，使用创建(3)、初始化、锁定、线程条件变量等。

还可以阅读GNU libc和C编译器(例如，GCC，用作gcc -Wall -Wextra -g)和调试器(例如GDB)的文档。

准备好对抗海生虫。

一般来说，你不能静态地证明你的C程序没有种族条件。见赖斯定理。您可以使用Frama-C或Clang静态分析仪之类的工具，也可以编写自己的GCC插件，或者改进或扩展这草稿中描述的比斯蒙。

你可能会对CompCert感兴趣。

您不能确定您的程序从内存中读取“最新”值。

(除非添加了一些程序集代码)

阅读关于缓存一致性协议的文章。