c_cpp 辛格尔顿单例模式

Posted 2021-05-14

// C++11版本的跨平台实现(volatile)

std::atomic<Singleton*> Singleton::m_instance; // 原子对象
std::mutex Singleton::m_mutex;

Singleton* Singleton::getInstance() {
	Singleton* tmp = m_instance.load(std::memory_order_relaxed);
	// fence 相当于内存屏障
	std::atomic_thread_fence(std::memory_order_acquire); // 获取内存fence
	// 内存屏障 开始
	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;
			// 内存屏障 结束
			std::atomic_thread_fence(std::memory_order_release); // 释放内存fence
			m_instance.store(tmp, std::memory_order_relaxed);
		}
	}
	
	return tmp;
}

// 双检查锁，但由于内存读写reorder 而不安全
Singleton* Singleton::getInstance() {
	if(m_instance == nullptr) {
		Lock lock;
		if (m_instance == nullptr) {
			m_instance = new Singleton();
		}
	}
	return m
}

// 一般顺序
// 分配内存 -> 调用构造器 -> 地址赋值给m_instance

// reorder后可能的顺序
// 分配内存 -> 地址赋值给m_instance -> 调用构造器