A continuación se muestra un código de un libro de C# para mostrar cómo se construye el patrón Singleton en subprocesos múltiples:

 internal sealed class Singleton { // s_lock is required for thread safety and having this object assumes that creating // the singleton object is more expensive than creating a System.Object object private static readonly Object s_lock = new Object(); // This field will refer to the one Singleton object private static Singleton s_value = null; // Private constructor prevents any code outside this class from creating an instance private Singleton() { // Code to initialize the one Singleton object goes here... } // Public, static method that returns the Singleton object (creating it if necessary) public static Singleton GetSingleton() { // If the Singleton was already created, just return it (this is fast) if (s_value != null) return s_value; Monitor.Enter(s_lock); // Not created, let 1 thread create it if (s_value == null) { // Still not created, create it Singleton temp = new Singleton(); // Save the reference in s_value (see discussion for details) Volatile.Write(ref s_value, temp); } Monitor.Exit(s_lock); // Return a reference to the one Singleton object return s_value; } }

Tengo la idea de por qué el código hace:

 Singleton temp = new Singleton(); Volatile.Write(ref s_value, temp);

en vez de

 s_value = new Singleton();

porque el compilador puede asignar memoria para Singleton , asignar la referencia a s_value y luego llamar al constructor. Desde la perspectiva de un solo subproceso, cambiar el orden de esta manera no tiene ningún impacto. Pero si después de publicar la referencia en s_value y antes de llamar al constructor, otro subproceso llama al método GetSingleton , entonces el subproceso verá que s_value no es nulo y comenzará a usar el objeto Singleton , pero su constructor aún no ha terminado de ejecutarse.

Pero no entiendo por qué tenemos que usar Volatile.Write , ¿no podemos hacerlo?

 Singleton temp = new Singleton(); s_value = temp;

El compilador no puede reordenar, por ejemplo, ejecutar s_value = temp primero y luego ejecutar Singleton temp = new Singleton() , porque temp tiene que existir antes de s_value = temp ?