оно-то понятно, только в жизни редко так бывает чтобы дали денег все передизайнить, поэтому приходится решать проблемы в том что есть...
Ты как всегда все неправильно понимешьЯ так понимаю, лугал написал какую-то ***ню и теперь хочет нашей помощи чтоб его зарплаты не лишили
Я рассматривал различные варианты, в том числе и с именованным мьютексом.
Вообщето код из старт поста это есть искомый синглетон в С++ 11, так как стандартом языка в данном случае гарантируеться полностью потокобезопасная инициализация статистеской внутренней переменной в момент первого вызова функции.
Так в гугли хоть много хоть немного особо данный кейс и не решен. DCL эфективен в многопоточности, но с глобал скопом проблемы, из за инициализации объекта синхронизации.
class Singleton
{
static Singleton* volatile _instance;
protected:
..........................
public:
..........................
static Singleton* Instance()
{
static LONG volatile lock = 0;
if (!_instance)
{
if (!InterlockedCompareExchange(&lock, 1, 0))
{
_instance = new Singleton();
}
else
{
while (!_instance)
{
Sleep(0);
}
}
}
return _instance;
}
..........................
};Другое дело, что значение _instance должно быть инициализировано видом:
Singleton* Singleton::_instance(NULL);
И вот тут лично у меня вопрос: эта инициализация относится к этапу инициализации константных объектов или этапу инициализации статических и глобальных переменных.
Если к этапу константных, то всё будет хорошо, а вот нет, то в теории мы можем заиметь рандомный ненулевой адрес указателя, что провалит все тесты. Но, о чудо, в такой ситуации мы можем проверять не _instance на ноль, а lock на ноль (точнее не на ноль, а на... два
enum SingletonInitState {sisNotInitialized = -1, sisInitializing = 0, sisInitialized = 1};
class Singleton
{
private:
static Singleton* _instance;
protected:
Singleton() {}
Singleton(Singleton const&);
void operator = (Singleton const&);
public:
static Singleton* Instance()
{
static LONG volatile lock = sisNotInitialized;
switch (lock)
{
case sisNotInitialized:
{
if (InterlockedCompareExchange(&lock, sisNotInitialized, sisInitializing) == sisNotInitialized)
{
_instance = new Singleton();
lock = sisInitialized;
break;
}
}
case sisInitializing:
{
while (!_instance)
{
Sleep(0);
}
break;
}
}
return _instance;
}
virtual ~Singleton() {}
};Я на самом деле тоже теоритезирую, потомушо сам как-то с этой ситуацией на приктике не сталкивался
С удовольствием. Сейчас только обеденную партию в Анреал закончим и напишу
Шото вроде такого:
Код:enum SingletonInitState {sisNotInitialized = -1, sisInitializing = 0, sisInitialized = 1}; class Singleton { private: static Singleton* _instance; protected: Singleton() {} Singleton(Singleton const&); void operator = (Singleton const&); public: static Singleton* Instance() { static LONG volatile lock = sisNotInitialized; switch (lock) { case sisNotInitialized: { if (InterlockedCompareExchange(&lock, sisNotInitialized, sisInitializing) == sisNotInitialized) { _instance = new Singleton(); lock = sisInitialized; break; } } case sisInitializing: { while (!_instance) { Sleep(0); } break; } } return _instance; } virtual ~Singleton() {} };
Я на самом деле тоже теоритезирую, потомушо сам как-то с этой ситуацией на приктике не сталкивался
С удовольствием. Сейчас только обеденную партию в Анреал закончим и напишу
Шото вроде такого:
Код:enum SingletonInitState {sisNotInitialized = -1, sisInitializing = 0, sisInitialized = 1}; class Singleton { private: static Singleton* _instance; protected: Singleton() {} Singleton(Singleton const&); void operator = (Singleton const&); public: static Singleton* Instance() { static LONG volatile lock = sisNotInitialized; switch (lock) { case sisNotInitialized: { if (InterlockedCompareExchange(&lock, sisNotInitialized, sisInitializing) == sisNotInitialized) { _instance = new Singleton(); lock = sisInitialized; break; } } case sisInitializing: { while (!_instance) { Sleep(0); } break; } } return _instance; } virtual ~Singleton() {} };
Идея с интерлоком
Но теоретически у нас может быть два static LONG volatile lock = sisNotInitialized, а следовательно два инстанса синглетона, один из которых "потеряеться", если два потока одновременно войдут в эту точку.