前阵子写静态lib导出单实例多线程安全API时，出现了CRITICAL_SECTION初始化太晚的问题，之后查看了错误的资料，引导向了错误的理解，以至于今天凌晨看到另一份代码，也不多想的以为singletone double check会出bug，本文做下记录备忘。

　　相关知识点：Singleton Double Check、多线程下的局部Static对象、静态Lib中的全局对象。

　　一、singleton double check

　　SingleInstance* volatile g_instance = NULL;

　　cswuyg::MyCritical g_cs;

　　SingleInstance* GetInstance()

　　{

　　if (g_instance == NULL)

　　{

　　cswuyg::Lock<> lock(g_cs);

　　if (g_instance == NULL)

　　{

　　g_instance = new SingleInstance;

　　}

　　}

　　return g_instance;

　　}

　　这样的代码一般(不考虑全局对象的初始化)没有问题。之前只略看他人的文章，不思考，误以为：g_instance = new SingleInstance ; 这句在线程A的执行会被线程B g_instance == NULL的判断打断，导致线程B返回的g_instance是一个半成品。实际上不会，因为g_instance的赋值是在内存分配、构造函数执行之后做的，而且赋值是原子操作，这没有问题。

　　按照文档的说法，g_instance变量应该加上volatile，避免编译器优化，编译器优化之后，可能会导致g_instance变量的赋值在SingleInstance构造函数执行之前。volatile用于表明这个变量是易变的，每一次都直接操作对应内存，而不是用寄存器缓存，不会去优化指令。这里如果不使用它，就可能导致编译器调整汇编指令的顺序，分配完内存就直接把地址赋值给g_instance指针，后面再调用构造函数，它这样调整的理由可能是这样子：分配到的内存指针在后续的执行中没有被修改，先赋值给g_instance和晚赋值给g_instance没有区别。

　　二、导出Lib中慎用全局对象

　　我的Lib的导出API提供的数据只需要获取一次就够了，不能多次获取，所以它必须是单实例的、多线程安全的，再考虑到不能浪费频繁的锁消耗，很直接的做法便是用singleton double check。

　　首先我选择使用临界区实现锁，而临界区在API被调用之前需要先初始化，于是定义一个Lock封装了临界区的初始化，什么时候初始化 必须是全局对象，如果为定义局部static对象会导致多线程不安全。

static对象不是多线程安全的：