Реализация нитевидных однопоточных решений в C++

Question

Ниже приведена известная реализация одноэлементного шаблона в C++.
Тем не менее, я не совсем уверен, является ли его потокобезопасным.
Основываясь на ответах на аналогичный вопрос, заданный здесь ранее, кажется, что он является потокобезопасным.
Это так?

//Curiously Recurring Template Pattern  
//Separates a class from its Singleton-ness (almost).  
#include <iostream> 
using namespace std; 

template<class T> class Singleton { 
    Singleton(const Singleton&); 
    Singleton& operator=(const Singleton&); 
protected: 
    Singleton() {} 
    virtual ~Singleton() {} 
public: 
    static T& instance() { 
    static T theInstance; 
    return theInstance; 
    } 
}; 

// A sample class to be made into a Singleton 
class MyClass : public Singleton<MyClass> { 
int x; 
protected: 
    friend class Singleton<MyClass>; 
    MyClass() { x = 0; } 
public: 
void setValue(int n) { x = n; } 
    int getValue() const { return x; } 
}; 

Answer 1

Нет, это не потокобезопасно, потому что статический локал не защищен каким-либо образом. По умолчанию статический локаль не является потокобезопасным. Это означает, что вы можете столкнуться следующие вопросы

• Конструктор для одноточечного работает более чем один раз
• Отнесение к статическому не гарантируется атомарным, следовательно, вы могли видеть частичное назначение в многопоточных сценариях
• Возможно, еще несколько, что мне не хватает.

Подробнее о записи блога Раймонда Чена о том, почему статическая статистика C++ по умолчанию не является потокобезопасной.

• http://blogs.msdn.com/oldnewthing/archive/2004/03/08/85901.aspx

Answer 2

Это не потолочный, если вы не сконфигурируете свой компилятор для создания потокового кода для статических доступов.

Однако, лучше, чтобы код был автономным, поэтому я бы добавил мьютекс здесь и там.

Answer 3

ЭТО НЕ Потокобезопасная. Чтобы стать потокобезопасным, вы должны добавить проверку перед блокировкой (блокировка семафора) и другую проверку после блокировки. И тогда вы уверены, что даже при одновременном вызове из разных потоков вы предоставляете один экземпляр.

Answer 4

Если вы до сих пор интерес по этой теме, и если вы используете C++ 11 стандартный компилятор вы можете найти here предложение шаблона одноэлементных в многопоточной среде.