在这种单例实现中,两个存储可以重新排序吗?

在下面的单例“get”函数中,其他线程可以看到 instance 不是空的,但是 almost_done 还是假的?(说 差不多完成了 最初 false (第三章)

Singleton *Singleton::Get() {
    auto tmp = instance.load(std::memory_order_relaxed);
    std::atomic_thread_fence(std::memory_order_acquire);
    if (tmp == nullptr) {
        std::lock_guard<std::mutex> guard(lock);
        tmp = instance.load(std::memory_order_relaxed);
        if (tmp == nullptr) {
            tmp = new Singleton();
            almost_done.store(true, std::memory_order_relaxed); // 1
            std::atomic_thread_fence(std::memory_order_release);
            instance.store(tmp, std::memory_order_relaxed); // 2
        }
    }
    return tmp;
}

如果可以,为什么?理由是什么?

我知道没有什么可以“走出”一个获取发布部分,但不能 2 输入并重新排序 1 是吗?

我知道我不需要C++中的线程安全单体这样复杂的技术,是的,没有什么意义。 差不多完成了 ,这纯粹是为了学习。