作为我高级 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 进行编译。
最佳答案
您显示的代码旨在保护/序列化 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;
是原子的。
关于c++ - 多线程和模板化单例竞争条件,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43778761/