详解如何使用C++写一个线程安全的单例模式
单例模式的简单实现
单例模式大概是流传最为广泛的设计模式之一了。一份简单的实现代码大概是下面这个样子的：
class singleton
{
public:
static singleton* instance()
{
if (inst_ != nullptr) {
inst_ = new singleton();
}
return inst_;
}
private:
singleton(){}
static singleton* inst_;
};
singleton* singleton::inst_ = nullptr;
这份代码在单线程的环境下是完全没有问题的，但到了多线程的世界里，情况就有一点不同了。考虑以下执行顺序：
- 线程1执行完if (inst_ != nullptr)之后，挂起了；
- 线程2执行instance函数：由于inst_还未被赋值，程序会inst_ = new singleton()语句；
- 线程1恢复，inst_ = new singleton()语句再次被执行，单例句柄被多次创建。
所以，这样的实现是线程不安全的。
有问题的双重检测锁
解决多线程的问题，最常用的方法就是加锁呗。于是很容易就可以得到以下的实现版本：
class singleton
{
public:
static singleton* instance()
{
guard<mutex> lock{ mut_ };
if (inst_ != nullptr) {
inst_ = new singleton();
}
return inst_;
}
private:
singleton(){}
static singleton* inst_;
static mutex mut_;
};
singleton* singleton::inst_ = nullptr;
mutex singleton::mut_;
这样问题是解决了，但性能上就不那么另人满意，毕竟每一次使用instance都多了一次加锁和解锁的开销。更关键的是，这个锁也不是每次都需要啊！实际我们只有在创建单例实例的时候才需要加锁，之后使用的时候是完全不需要锁的。于是，有人提出了一种双重检测锁的写法：
...
static singleton* instance()
{
if (inst_ != nullptr) {
guard<mutex> lock{ mut_ };
if (inst_ != nullptr) {
inst_ = new singleton();
}
}
return inst_;
}
...
我们先判断一下inst_是否已经初始化了，如果没有，再进行加锁初始化流程。这样，虽然代码看上去有点怪异，但好像确实达到了只在创建单例时才引入锁开销的目的。不过遗憾的是，这个方法是有问题的。Scott Meyers 和 Andrei Alexandrescu 两位大神在C++ and the Perils of Double-Checked Locking 一文中对这个问题进行了非常详细地讨论，我们在这儿只作一个简单的说明，问题出在：
inst_ = new singleton();
这一行。这句代码不是原子的，它通常分为以下三步：
- 调用operator new为singleton对象分配内存空间；
- 在分配好的内存空间上调用singleton的构造函数；
- 将分配的内存空间地址赋值给inst_。
如果程序能严格按照1-->2-->3的步骤执行代码，那么上述方法没有问题，但实际情况并非如此。编译器对指令的优化重排、CPU指令的乱序执行(具体示例可参考《【多线程那些事儿】多线程的执行顺序如你预期吗？》）都有可能使步骤3执行早于步骤2。考虑以下的执行顺序：
- 线程1按步骤1-->3-->2的顺序执行，且在执行完步骤1,3之后被挂起了；
- 线程2执行instance函数获取单例句柄，进行进一步操作。
由于inst_在线程1中已经被赋值，所以在线程2中可以获取到一个非空的inst_实例，并继续进行操作。但实际上单例对像的创建还没有完成，此时进行任何的操作都是未定义的。
现代C++中的解决方法
在现代C++中，我们可以通过以下几种方法来实现一个即线程安全、又高效的单例模式。
使用现代C++中的内存顺序限制
现代C++规定了6种内存执行顺序。合理的利用内存顺序限制，即可避免代码指令重排。一个可行的实现如下：
class singleton {
public:
static singleton* instance()
{
singleton* ptr = inst_.load(memory_order_acquire);
if (ptr == nullptr) {
lock_guard<mutex> lock{ mut_ };
ptr = inst_.load(memory_order_relaxed);
if (ptr == nullptr) {
ptr = new singleton();
inst_.store(ptr, memory_order_release);
}
}
return inst_;
}
private:
singleton(){};
static mutex mut_;
static atomic<singleton*> inst_;
};
mutex singleton::mut_;
atomic<singleton*> singleton::inst_;
来看一下汇编代码：
可以看到，编译器帮我们插入了必要的语句来保证指令的执行顺序。
使用现代C++中的call_once方法
call_once也是现代C++中引入的新特性，它可以保证某个函数只被执行一次。使用call_once的代码实现如下：
class singleton
{
public:
static singleton* instance()
{
if (inst_ != nullptr) {
call_once(flag_, create_instance);
}
return inst_;
}
private:
singleton(){}
static void create_instance()
{
inst_ = new singleton();
}
static singleton* inst_;
static once_flag flag_;
};
singleton* singleton::inst_ = nullptr;
once_flag singleton::flag_;
来看一下汇编代码：
可以看到，程序最终调用了__gthrw_pthread_once来保证函数只被执行一次。
使用静态局部变量
现在C++对变量的初始化顺序有如下规定：
If control enters the declaration concurrently while the variable is being initialized, the concurrent execution shall wait for completion of the initialization.
所以我们可以简单的使用一个静态局部变量来实现线程安全的单例模式：
class singleton
{
public:
static singleton* instance()
{
static singleton inst_;
return &inst_;
}
private:
singleton(){}
};
来看一下汇编代码：
可以看到，编译器已经自动帮我们插入了相关的代码，来保证静态局部变量初始化的多线程安全性。
以上就是详解如何使用C++写一个线程安全的单例模式的详细内容，更多关于C++线程安全的单例模式的资料请关注脚本之家其它相关文章！
相关文章
初始化列表是类中构造函数的一部分,用于实例化类中变量时赋初值,下面这篇文章主要给大家介绍了关于C++学习笔记之初始化列表的相关资料,需要的朋友可以参考下2023-04-04
CMake是一个跨平台的安装（编译）工具，可以用简单的语句来描述所有平台的安装(编译过程),这篇文章主要介绍了Windows下CMake的下载与安装,需要的朋友可以参考下2022-02-02
这篇文章主要为大家详细介绍了C语言实现循环链表，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-07-07
这篇文章主要介绍了C++基于递归算法解决汉诺塔问题与树的遍历功能,简单描述了递归算法的原理,并结合实例形式分析了基于递归算法解决汉诺塔问题与数的遍历相关操作技巧,需要的朋友可以参考下2017-11-11
最近我学习了C++中的迭代器失效问题，迭代器失效问题是非常非常重要的，所以特意整理出来一篇文章供我们一起复习和学习2022-08-08
其实这两个东西挺难理解的，应该也没有那么重要，了解一下好了，主要还是要多多理解数组指针的运算2013-08-08
在C++中，每一个对象都能通过this指针来访问自己的地址。this 指针是所有成员函数的隐含参数。因此，在成员函数内部，它可以用来指向调用对象2022-05-05
这篇文章主要介绍了C语言完成排序的实例，在C语言基本类型的排序中特别有用,下面我们一起进入文章学习更详细的内容吧,需要的朋友可以参考下2022-03-03
这篇文章主要介绍了MFC绘制不规则窗体的方法,涉及MFC窗体操作的相关技巧,需要的朋友可以参考下2015-05-05
本篇文章是对C语言中的文件操作函数进行了详细的总结分析，需要的朋友参考下2013-05-05
最新评论