多线程中的单件模式

本贴最后更新于 2193 天前,其中的信息可能已经时移俗易

单件模式可能是所有设计模式中最简单的一个了,但在 C++ 中,尤其是还要支持多线程的话,要想写一个正确的实现却并不容易,不信请看:

class CSingleton
{
public:
	CSingleton()
	{
		_tprintf( _T("CSingleton::Constructor: Before Sleep\n") );
		Sleep( 1000 ); // 不会改变逻辑, 但增大了问题出现的概率
		_tprintf( _T("CSingleton::Constructor: After Sleep\n") );
	}
	void DoSomeThing()
	{
		_tprintf( _T("CSingleton::DoSomeThing\n") );
	}
	static CSingleton* GetInstance()
	{
		static CSingleton* p = NULL;
		if( p == NULL )
		p = new CSingleton();
		return p;
	}
};

unsigned __stdcall thread( void* )
{
	CSingleton* p = CSingleton::GetInstance();
	p->DoSomeThing();
	return 0;
}

int _tmain( int argc, _TCHAR* argv[] )
{
	for( int i = 0; i < 3; ++i )
	{
		uintptr_t t = _beginthreadex( NULL, 0, thread, NULL, 0, NULL );
		CloseHandle( (HANDLE)t );
	}
	_getch();
	return 0;
}

上面的单件实现在单线程中肯定是正确的,不过在多线程中的输出却如下:

CSingleton::Constructor: Before Sleep
CSingleton::Constructor: Before Sleep
CSingleton::Constructor: Before Sleep
CSingleton::Constructor: After Sleep
CSingleton::DoSomeThing
CSingleton::Constructor: After Sleep
CSingleton::DoSomeThing
CSingleton::Constructor: After Sleep
CSingleton::DoSomeThing

很明显,虽然我们想做个单件,但它却出现了多个实例(或一个实例被初始化了多次)。其原因是我们的实现根本没有考虑多线程,那下面的代码把创建实例的部分锁住是不是就行了呢?

class CCriSec : CRITICAL_SECTION
{
public:
	CCriSec()
	{
		Sleep( 1000 ); // 增大出问题的概率, 但不改变逻辑
		InitializeCriticalSection( this );
	}

	~CCriSec() { DeleteCriticalSection( this ); }

	void Enter()
	{
		EnterCriticalSection( this );
	}

	void Leave() { LeaveCriticalSection( this ); }
};

static CSingleton* GetInstance()
{
	static CSingleton* p = NULL;
	static CCriSec lock;
	lock.Enter();
	if( p == NULL )
		p = new CSingleton();
	lock.Leave();
	return p;
}

运行一下,不管输出是什么,程序崩溃了。分析一下可以发现,这个例子中的我们确实控制好了对 CSingleton 实例的初始化,但这种控制却依赖于另一个静态变量(CCriSec 的实例)的初始化,而这个新的静态变量导致了程序的崩溃,也就是说我们在解决问题的同时引入了新的问题。而且,在这种情况下,就算再引入多少个新的临界区也无济于事,因为对最外层的临界区的初始化总会有问题。

上面的例子的问题在于 CCriSec 是一种复杂的数据类型,所以对它的初始化总要到运行时才能完成,如果用整数这样简单的、能在编译期完成初始化的数据类型来做是不是可以呢?

static CSingleton* GetInstance()
{
	static CSingleton* p = NULL;
	static volatile long lock = 0;
	if( InterlockedCompareExchange( &lock, 1, 0 ) == 0 )
		p = new CSingleton();
	return p;
}

看起来好像没有问题,但运行一下却是下面的输出:

CSingleton::Constructor: Before Sleep
CSingleton::DoSomeThing
CSingleton::DoSomeThing
CSingleton::Constructor: After Sleep
CSingleton::DoSomeThing

也就是说 DoSomeThing 在构造函数返回之前已经被调用了,这显然也是错误的。其原因是我们忽略了“对象的创建时需要时间的”,把这个问题也修正一下,就是最终的正确实现了:

static CSingleton* GetInstance()
{
	static CSingleton* p = NULL;
	static volatile long lock = 0;
	if( InterlockedCompareExchange( &lock, 1, 0 ) != 0 )
	{
		while( lock != 2 ) // 等待对象创建完成
			Sleep( 0 );
		return p;
	}
	p = new CSingleton();
	lock = 2;
	return p;
}

本文采用的单件实现是函数内的静态变量,如果你采用其它方式,也会有类似问题。其实在我看来,单件模式是一个看起来简单、做对了很难(上面演示的是多线程中的问题,在具体的实践中还会遇到很多其他问题)、同时又没有太多实用价值的东西。

另外,从 Windows Vista 开始,微软提供了一种多线程下对象初始化的方法,有兴趣的可以中搜一下“INITONCE”,个人认为 INITONCE 有点完美的过头了,真正好玩又有用的是与它同时出现的“条件变量(condition variable)”,后面会写一些与它相关的内容。

PS:从 VS2015 开始,VC 编译器开始保证函数内的静态变量会在使用前完成初始化,所以文中的一些例子行为会有所不同。

  • B3log

    B3log 是一个开源组织,名字来源于“Bulletin Board Blog”缩写,目标是将独立博客与论坛结合,形成一种新的网络社区体验,详细请看 B3log 构思。目前 B3log 已经开源了多款产品:SymSoloVditor思源笔记

    1090 引用 • 3467 回帖 • 298 关注
  • C++

    C++ 是在 C 语言的基础上开发的一种通用编程语言,应用广泛。C++ 支持多种编程范式,面向对象编程、泛型编程和过程化编程。

    106 引用 • 152 回帖 • 2 关注
  • 线程
    120 引用 • 111 回帖 • 3 关注
  • 技术

    到底什么才是技术呢?

    88 引用 • 179 回帖 • 4 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • TextBundle

    TextBundle 文件格式旨在应用程序之间交换 Markdown 或 Fountain 之类的纯文本文件时,提供更无缝的用户体验。

    1 引用 • 2 回帖 • 45 关注
  • BookxNote

    BookxNote 是一款全新的电子书学习工具,助力您的学习与思考,让您的大脑更高效的记忆。

    笔记整理交给我,一心只读圣贤书。

    1 引用
  • MySQL

    MySQL 是一个关系型数据库管理系统,由瑞典 MySQL AB 公司开发,目前属于 Oracle 公司。MySQL 是最流行的关系型数据库管理系统之一。

    673 引用 • 535 回帖
  • 反馈

    Communication channel for makers and users.

    123 引用 • 906 回帖 • 177 关注
  • RIP

    愿逝者安息!

    8 引用 • 92 回帖 • 286 关注
  • Docker

    Docker 是一个开源的应用容器引擎,让开发者可以打包他们的应用以及依赖包到一个可移植的容器中,然后发布到任何流行的操作系统上。容器完全使用沙箱机制,几乎没有性能开销,可以很容易地在机器和数据中心中运行。

    475 引用 • 899 回帖 • 1 关注
  • 大数据

    大数据(big data)是指无法在一定时间范围内用常规软件工具进行捕捉、管理和处理的数据集合,是需要新处理模式才能具有更强的决策力、洞察发现力和流程优化能力的海量、高增长率和多样化的信息资产。

    89 引用 • 113 回帖
  • 星云链

    星云链是一个开源公链,业内简单的将其称为区块链上的谷歌。其实它不仅仅是区块链搜索引擎,一个公链的所有功能,它基本都有,比如你可以用它来开发部署你的去中心化的 APP,你可以在上面编写智能合约,发送交易等等。3 分钟快速接入星云链 (NAS) 测试网

    3 引用 • 16 回帖 • 2 关注
  • 书籍

    宋真宗赵恒曾经说过:“书中自有黄金屋,书中自有颜如玉。”

    76 引用 • 390 回帖
  • CodeMirror
    1 引用 • 2 回帖 • 109 关注
  • Hibernate

    Hibernate 是一个开放源代码的对象关系映射框架,它对 JDBC 进行了非常轻量级的对象封装,使得 Java 程序员可以随心所欲的使用对象编程思维来操纵数据库。

    39 引用 • 103 回帖 • 676 关注
  • OpenStack

    OpenStack 是一个云操作系统,通过数据中心可控制大型的计算、存储、网络等资源池。所有的管理通过前端界面管理员就可以完成,同样也可以通过 Web 接口让最终用户部署资源。

    10 引用 • 9 关注
  • Sym

    Sym 是一款用 Java 实现的现代化社区(论坛/BBS/社交网络/博客)系统平台。

    下一代的社区系统,为未来而构建

    522 引用 • 4581 回帖 • 687 关注
  • GitHub

    GitHub 于 2008 年上线,目前,除了 Git 代码仓库托管及基本的 Web 管理界面以外,还提供了订阅、讨论组、文本渲染、在线文件编辑器、协作图谱(报表)、代码片段分享(Gist)等功能。正因为这些功能所提供的便利,又经过长期的积累,GitHub 的用户活跃度很高,在开源世界里享有深远的声望,并形成了社交化编程文化(Social Coding)。

    207 引用 • 2031 回帖
  • WordPress

    WordPress 是一个使用 PHP 语言开发的博客平台,用户可以在支持 PHP 和 MySQL 数据库的服务器上架设自己的博客。也可以把 WordPress 当作一个内容管理系统(CMS)来使用。WordPress 是一个免费的开源项目,在 GNU 通用公共许可证(GPLv2)下授权发布。

    45 引用 • 113 回帖 • 321 关注
  • IDEA

    IDEA 全称 IntelliJ IDEA,是一款 Java 语言开发的集成环境,在业界被公认为最好的 Java 开发工具之一。IDEA 是 JetBrains 公司的产品,这家公司总部位于捷克共和国的首都布拉格,开发人员以严谨著称的东欧程序员为主。

    180 引用 • 400 回帖
  • LaTeX

    LaTeX(音译“拉泰赫”)是一种基于 ΤΕΧ 的排版系统,由美国计算机学家莱斯利·兰伯特(Leslie Lamport)在 20 世纪 80 年代初期开发,利用这种格式,即使使用者没有排版和程序设计的知识也可以充分发挥由 TeX 所提供的强大功能,能在几天,甚至几小时内生成很多具有书籍质量的印刷品。对于生成复杂表格和数学公式,这一点表现得尤为突出。因此它非常适用于生成高印刷质量的科技和数学类文档。

    9 引用 • 32 回帖 • 179 关注
  • 知乎

    知乎是网络问答社区,连接各行各业的用户。用户分享着彼此的知识、经验和见解,为中文互联网源源不断地提供多种多样的信息。

    10 引用 • 66 回帖
  • Hadoop

    Hadoop 是由 Apache 基金会所开发的一个分布式系统基础架构。用户可以在不了解分布式底层细节的情况下,开发分布式程序。充分利用集群的威力进行高速运算和存储。

    81 引用 • 122 回帖 • 614 关注
  • Facebook

    Facebook 是一个联系朋友的社交工具。大家可以通过它和朋友、同事、同学以及周围的人保持互动交流,分享无限上传的图片,发布链接和视频,更可以增进对朋友的了解。

    4 引用 • 15 回帖 • 448 关注
  • B3log

    B3log 是一个开源组织,名字来源于“Bulletin Board Blog”缩写,目标是将独立博客与论坛结合,形成一种新的网络社区体验,详细请看 B3log 构思。目前 B3log 已经开源了多款产品:SymSoloVditor思源笔记

    1090 引用 • 3467 回帖 • 297 关注
  • InfluxDB

    InfluxDB 是一个开源的没有外部依赖的时间序列数据库。适用于记录度量,事件及实时分析。

    2 引用 • 47 关注
  • 周末

    星期六到星期天晚,实行五天工作制后,指每周的最后两天。再过几年可能就是三天了。

    14 引用 • 297 回帖
  • MyBatis

    MyBatis 本是 Apache 软件基金会 的一个开源项目 iBatis,2010 年这个项目由 Apache 软件基金会迁移到了 google code,并且改名为 MyBatis ,2013 年 11 月再次迁移到了 GitHub。

    170 引用 • 414 回帖 • 430 关注
  • MongoDB

    MongoDB(来自于英文单词“Humongous”,中文含义为“庞大”)是一个基于分布式文件存储的数据库,由 C++ 语言编写。旨在为应用提供可扩展的高性能数据存储解决方案。MongoDB 是一个介于关系数据库和非关系数据库之间的产品,是非关系数据库当中功能最丰富,最像关系数据库的。它支持的数据结构非常松散,是类似 JSON 的 BSON 格式,因此可以存储比较复杂的数据类型。

    90 引用 • 59 回帖 • 4 关注
  • gRpc
    10 引用 • 8 回帖 • 49 关注
  • Log4j

    Log4j 是 Apache 开源的一款使用广泛的 Java 日志组件。

    20 引用 • 18 回帖 • 36 关注