Java通过强制同步两次来双重检查锁定，可行吗？

Question

我已经阅读了有关双重检查锁定修复如何永远不起作用的所有内容，并且我不喜欢延迟初始化，但是能够修复遗留代码会很好，而且这样的问题太诱人了，无法不尝试解决。

这是我的例子： 私有 int timesSafelyGotten = 0; 私人助手helper = null;

public getHelper()
{
    if (timesSafelyGotten < 1) {
        synchronized (this) {
            if (helper == null) {
                helper = new Helper();
            } else {
                timesSafelyGotten++;
            }
        }
    }
    return helper;
}

这样，同步代码必须运行一次来​​创建帮助程序，并且在第一次获取帮助程序时运行一次，因此理论上，直到创建帮助程序的同步代码释放锁并且帮助程序必须完成初始化之后，timesSafelyGotten 才能递增。

我看不出有什么问题，但它是如此简单，似乎好得令人难以置信，你觉得怎么样？

凯莱布·詹姆斯·德莱尔

Answer 1

如果没有内存屏障（synchronized、volatile 或 java.util.concurrent 中的等效项），线程可能会看到另一个线程的操作发生在与源代码中出现的顺序不同。

由于读取 timesSafelyGotten 时不存在内存障碍，因此对于另一个线程来说，timesSafelyGotten 会在 之前 helper 递增> 已分配。这将导致该方法返回 null。

实际上，这可能在单元测试期间适用于许多架构。但这是不正确的，最终会在某个地方失败。

双重检查锁定现在确实可以工作，但是正确实现很棘手并且相当昂贵。有一些延迟初始化的模式不太脆弱，更具可读性，并且不需要任何特殊的东西。

Answer 2

如果您使用的是 JDK5+，请使用 java.util.concurrent，在您的情况下可能是 AtomicInteger。

专门提供这些实用程序是因为没有人能够充分理解低级线程同步原语以使它们正常工作。

Answer 3

那不好。您可以获得 timeSafelyGotten > 1. 示例：

1. Thread1 检查是否成功并且
   线程 2在同步线上停止，
2. 检查是否成功
   在同步代码处停止。
3. Thread3 检查是否成功并且
   在同步代码处停止。
4. Thread1 落入同步块，
   创建助手并离开此块。
5. Thread2 落入同步块，
   增加 timeSafelyGotten 并离开该块。
6. Thread3 落入同步块，
   增加 timeSafelyGotten 并离开该块。

所以 timeSafelyGotten = 2。

您应该再添加一个检查：

if (helper == null) {
    helper = new Helper();
} else if (timesSafelyGotten < 1) {
    timesSafelyGotten++;
}

或将同步移至上方：

synchronized(this) {
   if (timeSafelyGotten < 1) {
       ...
   }
}

第一种方法更好，因为它不会每次都使用同步。

还有一个提示：不要使用synchronize(this)，因为有人也可以使用你的对象进行同步。使用特殊的私有对象进行内部同步：

classs MyClass {
    private Object syncRoot = new Object();

    ...
    synchronized(syncRoot) {
        ....
    }
}