Volatile 在 C 11 的多线程世界中仍然相关吗？

C 11 中的易失性：一个已弃用的问题？

C 11 标准在其机器模型中引入了重大转变，从单线程过渡到多线程线程方法。这就提出了一个问题：此更改是否消除了臭名昭著的“读取优化”问题的可能性，即在 while 循环内读取的静态变量被优化了？

读取优化的问题

在多线程环境中，考虑并发访问变量的可能性至关重要。在 C 中，关键字 volatile 可用于通知编译器某个变量无法被优化掉。这确保了变量始终从内存中读取，即使编译器假设其值保持不变也是如此。

在经典示例 static int x; 的情况下也是如此。无效函数() { x = 0; while (x == 0) {} }，优化器可能会假设 x 在整个循环中保持为零并完全消除循环。但是，如果另一个线程同时修改 x，循环将不会终止，从而导致不可预测的行为。

易失性和 C 11 内存模型

虽然 C 11 内存模型确实认识到以下可能性并发访问变量，它不强制执行原子操作。对变量的非原子访问构成了未定义的行为。

这意味着即使在 C 11 中，使用 volatile 也不能解决线程安全的根本问题。内存模型需要特定的同步机制（例如互斥体或原子操作）来在线程之间建立显式排序和可见性。

Volatile 有不同的用途。它可以防止编译器优化内存读取，确保始终从内存中获取最新值。然而，它并没有解决确保跨线程数据完整性的问题。

以上是Volatile 在 C 11 的多线程世界中仍然相关吗？的详细内容。更多信息请关注PHP中文网其他相关文章！