深入理解线程安全与Singleton
更新时间：2013年09月18日 09:22:42 作者：
在编译器未优化的情况下顺序如下：1.new operator分配适当的内存；2.在分配的内存上构造Singleton对象；3.内存地址赋值给_instance
线程安全是个非常棘手的问题。即使你合理的使用了锁（lock），依然可能不会产生预期的效果。
让我们来看看貌似合理的代码
复制代码 代码如下:
X=0;
Thread 1 Thread2
lock(); lock();
x++; x++;
unlock(); unlock();
你会认为执行完这两个线程之后，X的一定值等于2？没错，因为lock()和unlock()的保护，x++的执行并不会被打断。（为什么++操作会被多线程给扰乱呢？原因就在于++操作在被编译成汇编之后对应到了多条汇编代码。）但是，编译器却可能因为自作聪明的优化，把x放到register里面（因为寄存器速度快嘛），也就是说当Thread1执行完x++之后，被Thread2打断，但是1这个值只保存到了寄存器x里，没有写入内存中的x变量里。随后Thread2执行完成后，内存中x的值等于1，此时，Thread1再执行完，内存中的x又被写入为1.
原来都是编译器倒得鬼！
再看一个例子
复制代码 代码如下:
x=y=0;
Thread1 Thread2
y=1; x=1;
r1=x; r2=y;
当你拍胸脯向崇拜你的MM保证说：r1或者r2至少有一个为1的时候，可惜编译器又再一次的站到了你的对立面。
原因是早在十几年前还是几十年前，编译器就有了这么一种优化机制，为了提高效率而交换指令的序列。所以上面的代码到了可能变成了这样：
复制代码 代码如下:
x=y=0;
Thread1 Thread2
r1=x; r2=y;
y=1; x=1;
知道你错了吧～还好我们还有volatile：
1. 阻止编译器为了提高速度将变量缓存寄存到寄存器内而不写回内存。
2. 阻止编译器调整操作指令序列
哈哈，可惜道高一尺，魔高一丈。CPU动态调度的功能，CPU可以交换指令序列。volatile帮不了你，但宙斯大帝为我们发明了：barrier指令（这是一个CPU的指令）能够帮组我们阻止CPU调整操作指令序列。
好想目前我们解决了现场安全的问题了。
有一个著名的与换序有关的问题来至于Singleton模式的double-check。代码大概是这样子的：
复制代码 代码如下:
volatile Singleton* Singleton::_instance = 0;
复制代码 代码如下:
static Singleton& Instance() {
if (0 == _instance) {
Lock lock(_mutex);
if (0 == _instance) {
_instance = new Singleton();
atexit(Destroy);
}
}
return *_instance;
}
简单的说，编译器为了效率可能会重排指令的执行顺序(compiler-based reorderings)。
看这一行代码：
_instance = new Singleton();
在编译器未优化的情况下顺序如下：
1.new operator分配适当的内存；
2.在分配的内存上构造Singleton对象；
3.内存地址赋值给_instance。
但是当编译器优化后执行顺序可能如下：
1.new operator分配适当的内存；
2.内存地址赋值给_instance；
3.在分配的内存上构造Singleton对象。
当编译器优化后，如果线程一执行到2后被挂起。线程二开始执行并发现0 == _instance为false，于是直接return，而这时Singleton对象可能还未构造完成，后果...
相关文章
堆是计算机科学中一类特殊的数据结构的统称，通常是一个可以被看做一棵完全二叉树的数组对象。而堆排序是利用堆这种数据结构所设计的一种排序算法。本文将详细介绍堆与二叉树的顺序结构与实现，需要的可以参考一下2022-05-05
这篇文章主要为大家详细介绍了C++实现小型图书管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-03-03
这篇文章主要为大家介绍了C++ 二进制文件读写实现方式及示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2023-04-04
C语言是一种非常流行的编程语言，它支持各种数据类型，包括整数、浮点数、字符和字符串等，本文将介绍 C语言中字符串的相关知识，包括字符串的定义、初始化、赋值等，需要的可以参考一下2023-05-05
本文介绍的线程池采用C++语言，在windows平台下实现。本着技术分享的精神写作本文同时公布源代码。欢迎大家指出该线程池存在的问题并对当前性能进行讨论。2015-03-03
下面小编就为大家带来一篇c++ 端口扫描程序实现案例。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2017-05-05
这篇文章主要给大家介绍了关于C++中移动构造函数及move语句的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用C++具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧。2017-10-10
这篇文章主要介绍了LZ77压缩算法原理的理解的相关资料,数据压缩是一个减小数据存储空间的过程，目前被应用在软件工程的各个地方，了解其一些原理，方便我们更好的甄选压缩方案,需要的朋友可以参考下2017-08-08
C++AVL树4种旋转详讲(左单旋、右单旋、左右双旋、右左双旋)
AVL树即平衡二叉搜索树,平衡因子bf=右子树的高度-左子树的高度,bf为0,-1,1时,此树即平衡,下面这篇文章主要给大家介绍了关于C++AVL树4种旋转(左单旋、右单旋、左右双旋、右左双旋)的相关资料,需要的朋友可以参考下2022-11-11
本篇文章是c语言基础篇，本文对初识c语言的变量、局部全局变量的作用域及生命周期做了简要的概述，希望可以帮助大家快速入门c语言的世界，更好的理解c语言2021-08-08
最新评论