单例模式的多线程极端问题

刚刚同事贴了一个代码：

volatile T* pInst = 0;
T* GetInstance()
{
    if (pInst == NULL)
    {
        lock();
        if (pInst == NULL)
            pInst = new T;
        unlock();
    }
    return pInst;
}

上面那段代码是单例模式的一个实现，多线程并发时候会不会有问题？

 

大牛的答案是，可能会有问题
原因在于编译器的实现与优化。如果，pInst = new T;转换成机器码时，是先将分配的地址空间赋值给pInst，(这时可能其他线程获取了pInst)然后再进行对象的初始化，可能其他线程调用的时候得到的是一个尚未进行初始化的对象...

要解决这个问题就要用cpu的栅栏指令，阻止编译器调整机器码序列

代码如下：

#define barrier() __asm__ volatile ("lwsync")//powerpc提供的栅栏指令

volatile T* pInst = 0;
T* GetInstance()
{
    if (pInst == NULL)
    {
        lock();
        if (pInst == NULL)
            T* temp = new T;
            barrier();
            pInst = temp;
        unlock();
    }
    return pInst;
}

 

这样的问题估计ＶＣ或者GCC都不会有问题，但不保证其他编译会不会出问题。

问题来自：程序员的自我修养 那本书第一章