volatile语义及线程安全singleton模式探讨

小咪咪 2022-04-06 12:40 225阅读 0赞

作者：Scott Meyers and Andrei Alexandrescu 译者： ChengHuige at gmail.com

## 1.引言 ##

详尽的讨论了volatile语义以及如何用C++实现线程安全的Singleton模式。

**主要参考**Scott Meyers and Andrei Alexandrescu写的“**C++ and the Perils of Double-Checked Locking**”，这是2004年的文章，以及网上的其他资源。

其他参考：

*  Threads Basics

[http://www.hpl.hp.com/personal/Hans\_Boehm/c++mm/threadsintro.html][http_www.hpl.hp.com_personal_Hans_Boehm_c_mm_threadsintro.html]

*  The "Double-Checked Locking is Broken" Declaration

[http://www.cs.umd.edu/%7Epugh/java/memoryModel/DoubleCheckedLocking.html ][http_www.cs.umd.edu_7Epugh_java_memoryModel_DoubleCheckedLocking.html]

*  非完美C++ Singleton实现\[2\] Ismayday的官方技术博客

[http://hi.baidu.com/ismayday/blog/item/a797d6cae24b0d41f21fe788.html][http_hi.baidu.com_ismayday_blog_item_a797d6cae24b0d41f21fe788.html]

*  《C++0x漫谈》系列之：多线程内存模型By 刘未鹏(pongba)

[http://blog.csdn.net/pongba/archive/2007/06/20/1659952.aspx][http_blog.csdn.net_pongba_archive_2007_06_20_1659952.aspx]

*  一个老外的博客，包括需不需要对int加锁，gcc中的原子变量操作

[ http://www.alexonlinux.com/ ][http_www.alexonlinux.com_]

在前面我写了一个使用c++0x STL自带的多线程API的示例http://www.cnblogs.com/rocketfan/archive/2009/12/02/1615093.html

而这里涉及的不是多线程库的API，因为几乎所有的多线程互斥同步问题都可以通过互斥锁mutex和条件变量解决。但是频繁的加锁解锁很耗时，

毕竟用多线程就是要速度，本文涉及的都是相关的与线程库无关的问题。

## 2.多线程问题简介 ##

一个 多线程的程序允许多个线程同时运行，可能要允许它们访问及更新它们共享的变量，每个线程都有其局部变量但是所有的线程都会看到同样的全局变量或者，“static"静态的类成员变量。

不同的线程可能会运行在同一个处理器上，轮流执行（**by interleaving execution**).也有可能会运行在不同处理器上，所谓的hardware thread现在很常见。

## 3.volatile变量是什么 ##

这个网上有很多介绍但都没有全面解释。而在“C++ and the Perils of Double-Checked Locking”的附注，作者给出了详细全面的解释。

作者是从volatile的产生讲起的，当时是为了统一的使用相同的地址处理内存地址和IO port地址,所谓memory-mapped I/O (MMIO）。

个人觉得本质都是不同层次存储映射关系吧，类比寄存器和内存。下面都用寄存器和内存解释。

*  读的情况

**unsigned int \*p = GetMagicAddress();**

**unsigned int a, b;**

**a = \*p**

**b = \*p;**

考虑上面的代码，假设GetMagicAddress()是获得内存的地址，那么a = \*p, b = \*p，会被编译器认为是相同的操作，假设a = \*p 使得值缓存在寄存器中，那么为了速度优化，编译器可能会将最后一行的代码换成

**b = a;**

这样就不去内存读而是直接去寄存器读但这可能并不是我们想要的，因为如果这期间其他的线程改写了内存中\*P的内容呢？

thread1 thread2

a = \*p;

\*p = 3

b = a //---------- 编译器优化的结果使得我们读到的并不是最新的p所指的内存的值

*  写的情况

**\*p = a;**

**\*p = b;**

向上面的代码，编译器可能会认为\*p = a是冗余操作从而去掉它，而这也可能不是我们想要的。

**volatile的作用 ：**

volatile exists for specifying special treatment for such locations, specifically:

(1) the content of a volatile variable is “unstable” (can change by means unknown to the compiler),

(2) all writes to volatile data are “observable” so they must be executed religiously, and

(3) all operations on volatile data are executed in the sequence in which they appear in the source code.

1.  **被声明为volatile的变量其内容是不稳定的(unstable),它的值有可能由编译器所不能知晓的情况所改变**。
2.  **所有对声明为volatile的变量的写操作都是可见的，必须严格执行be executed religiously**。
3.  **所有对声明为volatile的变量的操作（读写）都必须严格按照源代码的顺序执行**。

所以上面的第一条确保读正确，第二条确保写正确，第三条确保读写混合的情况正确。JAVA更进一步 **跨越线程保证上面的条件**。而C/C++只对单一线程内部保证。刘未鹏在博客中这么解释：“ 总而言之， 由于 C++03 标准是单线程的，因此 volatile 只能保证单线程内语意。对于前面的那个例子，将 x 和 y 设为 volatile 只能保证分别在 Thread1 和 Thread2 中的两个操作是按代码顺序执行的，但并不能保证在 Thread2 “眼里”的 Thread1 的两个操作是按代码顺序执行的。也就是说，只能保证两个操作的线程内次序，不能保证它们的线程间次序。一句话，目前的volatile语意是无法保证多线程下的操作的正确性的。”

但是即使是JAVA能够跨越线程保证，仍然是不够的因为**volatile和非volatile操作之间的顺序仍然是未定义的**，有可能产生问题，考虑下面的代码：

**volatile int vi;**

**void bar(void) \{  
vi = 1;  
foo();  
vi = 0;  
\}**

我们一般会认为vi会在调用foo之前设置为1,调用完后会被置为0。然而编译器不会对你保证这一点，它会很高兴的将你的foo()移位，比如跑到vi = 1前面，只要它知道在foo()里不会涉及到其它的volatile操作。所以安全的方法是用栅栏**memory barrier**例如“asm volatile (”" ::: “memory”)加到foo的前面和后面 来保证严格的执行顺序。

Meyers提到由于上面的原因我们通常会需要加大量的volatile变量，java1.5中的volatile给出了更严格简单的定义，**所有对volatile的读操作，都将被确保发生在该语句后面的读写(any memory reference volatile or not)操作的前面。而写操作则保证会发生在该语句前面的读写操作的后面**。.NET也定义了跨线程的volatile语意。

## 4.线程安全的C++ singleton模式 ##

*  **最简单的singleton**

注：下面有些来自原文，有些来自"非完美Singleton实现"，其它参考之3。

[![复制代码][copycode.gif]][copycode.gif 1]

![ContractedBlock.gif][] ![ExpandedBlockStart.gif][] 代码

[http_www.hpl.hp.com_personal_Hans_Boehm_c_mm_threadsintro.html]: http://www.hpl.hp.com/personal/Hans_Boehm/c++mm/threadsintro.html
[http_www.cs.umd.edu_7Epugh_java_memoryModel_DoubleCheckedLocking.html]: http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html
[http_hi.baidu.com_ismayday_blog_item_a797d6cae24b0d41f21fe788.html]: http://hi.baidu.com/ismayday/blog/item/a797d6cae24b0d41f21fe788.html
[http_blog.csdn.net_pongba_archive_2007_06_20_1659952.aspx]: http://blog.csdn.net/pongba/archive/2007/06/20/1659952.aspx
[http_www.alexonlinux.com_]: http://www.alexonlinux.com/
[copycode.gif]: http://common.cnblogs.com/images/copycode.gif
[copycode.gif 1]: /images/20220406/00c49f6ad1cd4213881169bb38d73a59.png
[ContractedBlock.gif]: http://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif
[ExpandedBlockStart.gif]: /images/20220406/cebdf228f5ac40ab8d7c43f336aa7e6c.png