防止多线程中的错误优化

Question

以下代码:

while (x == 1) { ... }

可能会被优化为

while (true) { ... }

if x仅在另一个线程中分配.请参阅说明C#中volatile关键字的用法.那里的答案通过设置x来解决这个问题volatile.

然而,根据这三个贡献者(结合声誉超过100万:)看起来这不是正确的方法:))

Hans Passant 一个可重复使用的易失性用法示例 :"从不认为它在多线程场景中很有用."

Marc Gravell volatile函数的值在多线程中不会改变:"volatile不是我通常用来保证行为的语义"

Eric Lippert Atomicity,波动性和不变性是不同的,第三部分 :"我不鼓励你做一个不稳定的领域."

假设a Backgroundworker被视为与任何其他多线程一样(而不是具有一些内置机制来阻止优化) - 如何防止错误优化？

Answer 1

你略微错误地描述了我的立场.使字段不稳定将阻止优化.C#中没有破坏易失性.(C++,那是另一个故事.)

我的观点并不是挥发性不能按预期工作.我的观点是,首先在两个不同的线程上读取和写入相同的变量是一个坏主意.如果必须使用volatile来使程序正确,请考虑重新设计程序,使其根本不需要volatile.