c++ - 多线程和模板化单例竞争条件

Question

作为我高级 C++ 学习的一部分，我正在尝试创建一个多线程和模板化单例。有人告诉我，我的代码中存在竞争条件，但经过几个小时的尝试，我还是找不到它。

我不会写整个类(class)(虽然这是一个简单的类(class))但我一直关注的确切位置:

template <class T>
void Singleton<T>::onceFunction()
{
    static T instanceObject; 
    Singleton<T>::instance = &instanceObject;
}

template <class T>
T& Singleton<T>::getInstance()
{
    while (0 == Singleton::instance)
    {
        static pthread_once_t  once_control = PTHREAD_ONCE_INIT;
        pthread_once(&once_control, Singleton<T>::onceFunction);  
    }
    return *Singleton::instance;
}

我使用的是 pthread_once()，因为我没有使用 c++11 进行编译。

Answer 1

您显示的代码旨在保护/序列化 initailization

static T instanceObject;

定义见Singleton<T>::onceFunction() .为了实现这一点，您使用 pthread_once .但是，您已声明 pthread_once_t旗帜 once_control在具有静态存储的功能/ block 范围内...

static pthread_once_t  once_control = PTHREAD_ONCE_INIT;

因此，我认为 once_control 的初始化遇到与您的代码旨在解决 instanceObject 相同的竞争条件.

制作once_control Singleton<T> 的静态成员相反。

注意:您的代码还假定分配...

Singleton<T>::instance = &instanceObject;

是原子的。