非线程安全数据(易失性备份)的AtomicBoolean保护

Question

使用AtomicBoolean作为非阻塞锁用于从多个线程对非线程安全的数据进行读写访问是否安全，使用构造：

if (lock.compareAndSet(false, true)) {
  try {
    //Access non-volatile fields, non-atomic arrays and not thread-safe classes
  } finally {
    lock.set(false);
  }
} else {
  //Access denied, try again later or right now
}

在此结构之外无法访问数据。我几乎可以肯定，这是安全的，因为不稳定的携带效应。我说的对吗？

Answer 1

高层次的考虑必须是它是否安全地阻止了对关键资源的并发访问。这是因为AtomicBoolean提供了必要的保证。作为thump的规则，JMM的设计方式是，如果您正确地实现了高层逻辑，那么低级别的东西也是如此。

正如您在问题中所做的那样，volatile会更详细地读和写，排除意外的重新排序，就像您所期望的那样(也称为“打包”)。

您基本上也在做Lock所做的事情。ReentrantLock将使用int而不是boolean，而Lock提供一个简单原子变量不提供的等待队列。

AbstractQueuedSynchronizer展示了如何围绕一个原子int变量实现该逻辑(类似于您的逻辑)。