Подтвердить что ты не робот

Реализация нитевидной однопользовательской версии в С++

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

//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; }
};
4b9b3361

Ответ 1

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

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

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

Ответ 2

IT НЕ БЕЗОПАСНАЯ РЕЗЬБА. Чтобы стать потокобезопасным, вы должны добавить проверку перед блокировкой (блокировка семафора) и другую проверку после блокировки. И тогда вы уверены, что даже при одновременном вызове из разных потоков вы предоставляете один экземпляр.

Ответ 3

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

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

Ответ 4

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