易失性布尔值

发布于 2024-08-15 06:01:27 字数 183 浏览 10 评论 0原文

如果我有一个易失性布尔值（我们称其为有效），下面的代码在 Java 中是线程安全的吗？

if (valid)
  return;
valid = true;

或者，我是否需要同步，因为仅当 valid 为 false 时才将其设置为 true （因此 valid 集取决于其当前值）？

原文

If I have a volatile boolean (let's call it valid), is the following piece of code thread-safe in Java?

if (valid)
  return;
valid = true;

Or, do I need to synchronize since valid is set to true only if it's false (hence set of valid depends on its current value)?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

浮世清欢 2024-08-22 06:01:27

这需要同步，因为如果一个线程将 valid 评估为 false，然后在赋值之前暂停执行，然后另一个线程出现并检查 valid 为 false，在将 valid 设置为 true 之前，您将有两个线程运行以下代码从这里（这大概是你不想要的）。

回复收藏 0 原文

不知在何时 2024-08-22 06:01:27

使用原子布尔值。可以同时检查和设置实例。

回复收藏 0 原文

夏末 2024-08-22 06:01:27

它不是线程安全的。但如果这是整个代码，那就没关系了。

回复收藏 0 原文

定格我的天空 2024-08-22 06:01:27

编辑：一个全面的高级替代方案是AtomicBoolean，使用低级操作实现条件更新，无需同步。

对标志有两个单独的（即非原子）访问，因此同步是必要的，除非该线程是唯一对标志执行写操作的线程。即便如此，最好进行同步以确保将来发生变化。

回复收藏 0 原文

微凉 2024-08-22 06:01:27

您的代码不是线程安全的，但这实际上取决于您的其他代码是否安全。

您是否要求 valid = true 后面的代码只能由单个线程执行一次？如果是这样，那么您的代码就不安全，因为任意数量的线程都可以读取 valid 的 false 值，然后最终将其设置为 true >。例如：

if (valid)
  return;
// Imagine every single one of your threads stops and blocks here.
// They will all wake up again and set valid to true and then
// execute the code to follow.
valid = true;

但如果您只是想保证 valid = true 之后的代码最多由任何线程执行一次...那么您所拥有的就可以了。但如果这是您需要的行为，我会通过其他方式实现这一点，因为在这种情况下使用易失性看起来就像您不知道自己在做什么。例如，您可以不跨线程共享 valid 变量，并允许每个线程只执行一次代码。

另外，当在推理同步和易失性时有疑问......只需使用同步即可。它通常更清晰，并且会为您提供使用 易失性 所需的一切，除了更容易推理代码的工作原理之外。

Your code is not threadsafe, but it really depends on your other code whether or not it is safe to do that.

Do you require that the code following valid = true only be executed once by a single thread? If so, then your code is not safe because any number of threads can read a false value of valid, and then end up setting it to true. For example:

if (valid)
  return;
// Imagine every single one of your threads stops and blocks here.
// They will all wake up again and set valid to true and then
// execute the code to follow.
valid = true;

But if you just want to guarantee that the code after valid = true is executed at most one time by any thread... then what you have is fine. But if that's the behavior you require I would achieve that by other means, because using volatile in that case will just look like you don't know what you're doing. For example, you could just not share the valid variable across threads, and allow each thread to just execute the code once.

Also, when in doubt while reasoning about synchronization and volatile... just use synchronization. It is usually more clear, and will get you everything you wanted from using volatile, except it will be easier to reason how the code works.

回复收藏 0 原文