• linkedu视频
  • 平面设计
  • 电脑入门
  • 操作系统
  • 办公应用
  • 电脑硬件
  • 动画设计
  • 3D设计
  • 网页设计
  • CAD设计
  • 影音处理
  • 数据库
  • 程序设计
  • 认证考试
  • 信息管理
  • 信息安全
菜单
linkedu.com
  • 网页制作
  • 数据库
  • 程序设计
  • 操作系统
  • CMS教程
  • 游戏攻略
  • 脚本语言
  • 平面设计
  • 软件教程
  • 网络安全
  • 电脑知识
  • 服务器
  • 视频教程
  • JavaScript
  • ASP.NET
  • PHP
  • 正则表达式
  • AJAX
  • JSP
  • ASP
  • Flex
  • XML
  • 编程技巧
  • Android
  • swift
  • C#教程
  • vb
  • vb.net
  • C语言
  • Java
  • Delphi
  • 易语言
  • vc/mfc
  • 嵌入式开发
  • 游戏开发
  • ios
  • 编程问答
  • 汇编语言
  • 微信小程序
  • 数据结构
  • OpenGL
  • 架构设计
  • qt
  • 微信公众号
您的位置:首页 > 程序设计 >C语言 > 从C++单例模式到线程安全详解

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

作者: 字体:[增加 减小] 来源:互联网 时间:2017-05-28

通过本文主要向大家介绍了c++单例模式,c++单例模式例子,线程安全的单例模式,java单例模式多线程,多线程单例模式等相关知识,希望对您有所帮助,也希望大家支持linkedu.com www.linkedu.com

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

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;
</div>

有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;
	}
</div>

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

CSingleton::instance()->aaaa();
CSingleton::instance()->bbbb();
CSingleton::instance()->cccc();
</div>

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

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

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

很久以后我才知道,这个方法有个很高大上的名字,叫做双重检查锁定模式,简称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;
	}
</div>

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

线程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();
</div>

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

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

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

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

</div>
分享到:QQ空间新浪微博腾讯微博微信百度贴吧QQ好友复制网址打印

您可能想查找下面的文章:

  • C++实现 单例模式实例详解
  • 老生常谈C++的单例模式与线程安全单例模式(懒汉/饿汉)
  • 从C++单例模式到线程安全详解
  • 深入理解C++之策略模式
  • 深入解析C++编程中对设计模式中的策略模式的运用
  • 简单了解设计模式中的装饰者模式及C++版代码实现
  • 使用设计模式中的单例模式来实现C++的boost库
  • C++单例模式应用实例
  • C++中的单例模式介绍
  • C++ 中的单例模式(普通,2B,文艺)

相关文章

  • 2017-05-28深入linux下遍历目录树的方法总结分析
  • 2017-05-28利用简洁的C语言代码解决跳台阶问题与约瑟夫环问题
  • 2017-05-28使用C语言判断栈的方向实例
  • 2017-05-28举例剖析C++中引用的本质及引用作函数参数的使用
  • 2017-05-28VC++在TXT文件指定位置追加内容的方法
  • 2017-05-28c语言中使用BF-KMP算法实例
  • 2017-05-28有关C++继承与友元、继承与类型转换详解
  • 2017-05-28snprintf函数的用法解析
  • 2017-05-28详解C++编程的多态性概念
  • 2017-05-28C语言中十六进制转十进制两种实现方法

文章分类

  • JavaScript
  • ASP.NET
  • PHP
  • 正则表达式
  • AJAX
  • JSP
  • ASP
  • Flex
  • XML
  • 编程技巧
  • Android
  • swift
  • C#教程
  • vb
  • vb.net
  • C语言
  • Java
  • Delphi
  • 易语言
  • vc/mfc
  • 嵌入式开发
  • 游戏开发
  • ios
  • 编程问答
  • 汇编语言
  • 微信小程序
  • 数据结构
  • OpenGL
  • 架构设计
  • qt
  • 微信公众号

最近更新的内容

    • 利用C语言实践OOP,以及new,delete的深入分析
    • C++变位词问题分析
    • C++重载运算符的规则详解
    • ipv6实现tcp编程示例
    • C++ 模拟实现list(迭代器)实现代码
    • 详解C++编程中的虚函数
    • C++设置超时时间的简单实现方法
    • 基于c++中的默认拷贝函数的使用详解
    • C++设计模式编程中的观察者模式使用示例
    • 关于C++静态成员函数访问非静态成员变量的问题

关于我们 - 联系我们 - 免责声明 - 网站地图

©2020-2025 All Rights Reserved. linkedu.com 版权所有