Implementación segura de singleton de subprocesos en C++

Question

La siguiente es una implementación bien conocida del patrón singleton en C++.
Sin embargo, no estoy del todo seguro de si es seguro para subprocesos.
Según las respuestas a una pregunta similar que se haya hecho anteriormente, parece que es seguro para subprocesos.
¿Es eso así?

//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

No, esto no es seguro para subprocesos porque el local estático no está protegido de ninguna manera. Por defecto, un local estático no es seguro para subprocesos. Esto significa que podría funcionar en las siguientes cuestiones

• Constructor para el singleton ejecuta más de una vez
• La asignación a la estática, no se garantiza que sea atómica por lo tanto, se podía ver una cesión parcial en escenarios multi-hilo
• Probablemente algunos más de los que me estoy perdiendo.

Aquí hay una entrada de blog detallada de Raymond Chen sobre por qué la estática de C++ no es segura para subprocesos por defecto.

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

Answer 2

No es multihebra, a menos que configure su compilador para generar código multi-hilo de accesos estáticos.

Sin embargo, es mejor que el código sea independiente, así que agregaría un mutex aquí y allá.

Answer 3

ES NO hilo de seguridad. Para volverse seguro con hilos, debe agregar un cheque antes del bloqueo (bloqueo de semáforo) y otra comprobación después del bloqueo. Y entonces está seguro de que incluso en una llamada simultánea desde diferentes hilos, usted proporciona una instancia.

Answer 4

Si todavía interés en este tema y si está utilizando una C++ 11 compilador estándar puede encontrar here una propuesta del patrón singleton en un entorno multiproceso.