从C++单例模式到线程安全详解_C 语言

先看一个最简单的教科书式单例模式:

class CSingleton
{
public:
	static CSingleton* getInstance()
	{
		if (NULL == ps)
		{//tag1
			ps = new CSingleton;
		}
		return ps;
	}

private:
	CSingleton(){}
	CSingleton & operator=(const CSingleton &s);
	static CSingleton* ps;
};

CSingleton* CSingleton::ps = NULL;

有2个要点:

1.private的构造函数和=操作符,用于防止类外的实例化和被复制;

2.static的类指针和get方法。

在大多数单线程情况下,以上代码大都会运行得很好,除非遇到中断:

1.当程序运行到tag1 处触发了中断;
2.中断处理程序恰调用的也是getInstance函数。

可想而知,这和多线程的情况类似,假设线程A 运行到tag1处,还没来得及new,此时ps仍然是NULL,线程B(或中断处理程序) 同时也运行到此通过if判断,那么将会实例化2个CSingleton对象,显然是不对的。

为了解决上述问题,自然而然,最容易想到也最常用的方法是加锁,因此getInstance改成这样:

	static CSingleton* getInstance()
	{
		lock();//伪代码
		if (NULL == ps)
		{
			ps = new CSingleton;
		}
		return ps;
	}

加了锁以后貌似解决了上述问题,但也同样带来了新的问题:如果程序到处是诸如:

CSingleton::instance()->aaaa();
CSingleton::instance()->bbbb();
CSingleton::instance()->cccc();

这样的调用,除了第一次的lock()有用外,后面的都是在做无用功,lock()的代价说大不大,但在某些情况下还是会提高程序延迟,这对追求完美的程序猿来说是完全无法接受的。

于是乎,咱想出了一个办法:

	static CSingleton* getInstance()
	{
		if (NULL == ps)//这里加了次判断,只有第一次才会为true而调用lock()
		{
			lock();//伪代码
			if (NULL == ps)
			{
				ps = new CSingleton;
			}
		}
		return ps;
	}

很久以后我才知道,这个方法有个很高大上的名字,叫做双重检查锁定模式,简称DCLP(Double Checked Locking Pattern)。

DCLP很好地解决了多次调用不必要的lock()。

然而,你们以为这样就完了?too young。。

DCLP在多线程下仍然存在2个根本问题:

1.程序的指令执行顺序不确定;
2.编译器优化问题。

先说2,在某些编译器下,以上的两个if判断只会执行一个,甚至一个都不执行,原因是编译器认为至少有一个if判断是多余的,它自动帮助我们优化了代码。

再说1,ps = new CSingleton; 这条语句会被拆分为这样的三个步骤执行:

1.为要new的对象开辟一块内存;
2.构造该对象,填入这块内存;
3.将ps指针指向这块内存。

以上三个步骤,2和3的顺序是不确定的,可能先2后3,也可能先3后2。。。

实际执行时可能是这样的:

	static CSingleton* getInstance()
	{
		if (NULL == ps)
		{
			lock();//伪代码
			if (NULL == ps)
			{    //伪代码
				ps = xx;//step 3
				new sizeof(CSingleton);//step 1
				new CSingleton;//step 2
			}
		}
		return ps;
	}

如果编译器按上述顺序执行代码,考虑如下状况:

线程A 执行到step 1还未执行后面的step 2,此时ps非空,但其指向的内存里面的内容还未被构造出来,于此同时线程B 进入这个函数,判断ps非空直接返回ps,但是调用者此时访问的ps内存实际内容CSingleton还没被构造呢,这是一块地址正确大小正确但内部数据不明的东西,当然会出错(调用者一般这么调用:CSingleton::getInstance()->aa();  CSingleton::getInstance()->bb();  CSingleton::getInstance()->cc();........此时的aa,bb,cc是啥玩意儿?)。

这也是为什么加上volatile关键字仍然不可以解决同步问题,volatile只解决了编译器优化问题,却无法控制机器指令执行顺序。

很遗憾的是,C/C++本身在设计时是不考虑多线程问题的,也就是说,要处理多线程问题还要程序猿自己想办法填坑。。

说了这么多,我们要讨论的问题仍然没有解决,庆幸的是,C++ 11提供了内存栅栏技术来解决这个问题,这里不赘述,有兴趣的读者可以自己搜索资料看看,不过是一些api调罢了。

那么,C++ 11 以前的代码如何解决这个问题呢?很不幸,并没有很好的解决方案,一种可行的方案是,程序中不要到处这么调用这个单例对象:

CSingleton::getInstance()->aa();
CSingleton::getInstance()->bb();
CSingleton::getInstance()->cc();

而是在程序开始就初始化缓存这个单例对象:

CSingleton* const g_ps = CSingleton::getInstance();//程序一开始就缓存这个单例对象
g_ps->aa();
g_ps->bb();
g_ps->cc();

但是如此带来的问题是程序一开始就实例化了这个单例对象,对象在整个程序的声明周期存在,这貌似叫饿汉式,而之前那种叫懒汉式,孰轻孰重,只有根据实际情况取舍了。

以上就是小编为大家带来的从C++单例模式到线程安全详解全部内容了,希望大家多多支持~

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索c
, 单例模式
线程安全
单例模式 线程安全、线程安全的单例模式、多线程单例模式、java单例模式详解、java单例模式线程安全,以便于您获取更多的相关知识。

时间: 2024-08-04 13:04:45

从C++单例模式到线程安全详解_C 语言的相关文章

C语言 经典题目螺旋矩阵 实例详解_C 语言

C语言 经典题目螺旋矩阵 //N阶螺旋矩阵 #include <stdio.h> #include <stdlib.h> int main() { int N,i,j,n,num=1; int a[10][10]={0}; printf("输入你要输出的几阶中断:"); scanf("%d",&N); for(n=0;n<=N/2;n++) { for(j=n;j<=N-n-1;j++) a[n][j]=num++; fo

Linux线程管理必备:解析互斥量与条件变量的详解_C 语言

   做过稍微大一点项目的人都知道,力求程序的稳定性和调度的方便,使用了大量的线程,几乎每个模块都有一个专门的线程处理函数.而互斥量与条件变量在线程管理中必不可少,任务间的调度几乎都是由互斥量与条件变量控制.互斥量的实现与进程中的信号量(无名信号量)是类似的,当然,信号量也可以用于线程,区别在于初始化的时候,其本质都是P/V操作.编译时,记得加上-lpthread或-lrt哦.    有关进程间通信(消息队列)见:进程间通信之深入消息队列的详解 一.互斥量 1. 初始化与销毁:    对于静态分

C++设计模式编程之Flyweight享元模式结构详解_C 语言

由遇到的问题引出享元模式: 在面向对象系统的设计何实现中,创建对象是最为常见的操作.这里面就有一个问题:如果一个应用程序使用了太多的对象,就会造成很大的存储开销.特别是对于大量轻量级(细粒度)的对象,比如在文档编辑器的设计过程中,我们如果为没有字母创建一个对象的话,系统可能会因为大量的对象而造成存储开销的浪费.例如一个字母"a"在文档中出现了100000 次,而实际上我们可以让这一万个字母"a"共享一个对象,当然因为在不同的位置可能字母"a"有不

Windows的钩子机制详解_C 语言

一.概述: 了解windows程序设计的人都知道,Windows系统程序的运行是建立在消息传递机制的基础之上的,几乎所有的程序活动都由消息来驱动.钩子机制可以看作是一个消息的中转站,控制系统发出消息的处理和传递.利用钩子,我们可以截获系统发给应用程序的消息,并且在经过处理后决定是否将消息再发给下一个应用程序.利用钩子的这一特性,我们可以创建一个监控程序,收集和控制系统发出的消息. 二.Windows钩子程序的编制 编制Windows的钩子程序,需要用到几个SDK中的API函数.下面列出这几个函数

Windows消息传递机制详解_C 语言

对于windows程序设计,这里有几个关键词需要注意:消息,消息循环,窗口过程.   所谓的Windows消息传递机制就类似于生活中的物流公司.当寄件人(例如鼠标.键盘)将包裹(消息)交给物流公司(Windows系统)时,物流公司(Windows系统)会进行整理并且派发(整理及派发主要由消息循环完成),交给相应的快递员(窗口过程)来处理.快递员(窗口过程)拿到包裹(消息)后则有多种方式来处理,如立马交给收件人,等一天交给收件人,或转交给其他快递派发,这就需要在窗口过程中用swich/case来区

Windows程序内部运行机制实例详解_C 语言

本文以孙鑫老师VC++教程中的程序为基础,详细讲解了Windows程序内部运行机制,相信可以帮助大家更好的理解Windows程序运行原理及相应的VC++程序设计.具体内容如下: 创建一个Win32应用程序步骤: 1.编写WinMain函数; 2.创建窗口(步骤如下):  a.设计(一个)窗口类(WNDCLASS)  b.注册(该)窗口类.  c.创建窗口.  d.显示并更新窗口. 3.编写消息循环. 4.编写窗口过程函数. //WinMain.cpp #include <windows.h>

C++的字符串分割函数的使用详解_C 语言

经常碰到字符串分割的问题,这里总结下,也方便我以后使用. 一.用strtok函数进行字符串分割 原型: char *strtok(char *str, const char *delim); 功能:分解字符串为一组字符串. 参数说明:str为要分解的字符串,delim为分隔符字符串. 返回值:从str开头开始的一个个被分割的串.当没有被分割的串时则返回NULL. 其它:strtok函数线程不安全,可以使用strtok_r替代. 示例: //借助strtok实现split #include <st

c++ 中__declspec 的用法详解_C 语言

c++ 中__declspec 的用法如下,想要了解的继续往下看吧. 语法说明: __declspec ( extended-decl-modifier-seq ) 扩展修饰符: 1:align(#) 用__declspec(align(#))精确控制用户自定数据的对齐方式 ,#是对齐值. e.g __declspec(align(32)) struct Str1{ int a, b, c, d, e; }; 它与#pragma pack()是一对兄弟,前者规定了对齐的最小值,后者规定了对齐的最

C++ 简单的任务队列详解_C 语言

任务队列是指能够实现任务在多线程间安全传递的先入先出的队列. 任务是指组合了数据和操作的对象,这里面定义为CTask类的对象. 任务的实现: Task.cpp #include "stdafx.h" #include "Task.h" #include <iostream> using namespace std; CTask::CTask(int* nCount) { m_nCount = nCount; } CTask::~CTask() { } v