这种在C++11中实现双重检查锁模式(DCLP）是否正确

我正在读关于DCLP(双重检查锁模式(的文章，但我不确定我是否做对了。当使用原子创建锁时(如C++11中修复的DCLP中所解释的(，有两件事不清楚：

1. 在文章的代码中：

std::atomic<Singleton*> Singleton::m_instance;
std::mutex Singleton::m_mutex;
Singleton* Singleton::getInstance() {
    Singleton* tmp = m_instance.load(std::memory_order_acquire);
    if (tmp == nullptr) {
        std::lock_guard<std::mutex> lock(m_mutex);
        tmp = m_instance.load(std::memory_order_relaxed);
        if (tmp == nullptr) {
            tmp = new Singleton;
            m_instance.store(tmp, std::memory_order_release);
        }
    }
    return tmp;
}

如果我在"load(("中获取了围栏，但tmp不是nullptr，并且我只是返回，会发生什么？难道我们不应该说明CPU可以在哪里"释放围栏"吗？

如果不需要释放围栏，那为什么我们必须获得并释放？有什么区别？

我确实错过了一些基本的东西。。。。

2. 如果我正确地理解了这篇文章，那么这也是实现DCLP的正确方法吗

Singleton* Singleton::m_instance = null;
std::atomic<bool> Singleton::is_first; // init to false
std::mutex Singleton::m_mutex;
Singleton* Singleton::getInstance() {
    bool tmp = is_first.load(std::memory_order_acquire);
    if (tmp == false) {
        std::lock_guard<std::mutex> lock(m_mutex);
        tmp = is_first.load(std::memory_order_relaxed);
        if (tmp == false) {
            // can place any code that will run exactly once!
            m_instance = new Singleton;
            // store back the tmp atomically
            is_first.store(tmp, std::memory_order_release);
        }
    }
    return m_instance;
}

换句话说，我没有查看实例，而是使用原子布尔值来确保DCLP工作，并且第二个tmp中的任何内容都必须同步并运行一次。这是正确的吗？

谢谢！

EDIT：注意，我不是在问实现singleton的问题，只是为了更好地理解fence和atomic的概念，以及它是如何修复DCLP的。这是一个理论问题。

        // store back the tmp atomically
        is_first.store(tmp, std::memory_order_release);

        is_first.store(true, std::memory_order_release);