¿Por qué Apple recomienda utilizar dispatch_once para implementar el patrón singleton en ARC?

Question

¿Cuál es el motivo exacto para usar dispatch_once en el acceso de instancia compartido de un singleton en ARC?

+ (MyClass *)sharedInstance 
{ 
    // Static local predicate must be initialized to 0 
    static MyClass *sharedInstance = nil; 
    static dispatch_once_t onceToken = 0; 
    dispatch_once(&onceToken, ^{ 
     sharedInstance = [[MyClass alloc] init]; 
     // Do any other initialisation stuff here 
    }); 
    return sharedInstance; 
} 

¿No es una mala idea crear una instancia del singleton de forma asíncrona en el fondo? Me refiero a qué sucede si solicito esa instancia compartida y confío en ella inmediatamente, pero el dispatch_once tarda hasta Navidad para crear mi objeto. No regresa inmediatamente ¿verdad? Al menos ese parece ser el objetivo de Grand Central Dispatch.

¿Por qué están haciendo esto?

Answer 1

dispatch_once() es absolutamente sincrónico. No todos los métodos GCD hacen cosas de forma asíncrona (caso por ejemplo, dispatch_sync() es sincrónico). El uso de dispatch_once() sustituye a la siguiente lenguaje:

+ (MyClass *)sharedInstance { 
    static MyClass *sharedInstance; 
    @synchronized(self) { 
     if (sharedInstance == nil) { 
      sharedInstance = [[MyClass alloc] init]; 
     } 
    } 
    return sharedInstance; 
} 

El beneficio de dispatch_once() sobre esto es que es más rápido. También es semánticamente más limpio, porque también lo protege de múltiples hilos haciendo alloc init de su sharedInstance, si todos lo intentan en el mismo momento exacto. No permitirá que se creen dos instancias. La idea completa de dispatch_once() es "realizar algo una vez y solo una vez", que es precisamente lo que estamos haciendo.

Answer 2

Porque solo se ejecutará una vez. Por lo tanto, si intenta acceder a él dos veces desde diferentes hilos, no causará ningún problema.

Mike Ash tiene una descripción completa en su publicación de blog Care and Feeding of Singletons.

No todos los bloques de GCD se ejecutan de forma asíncrona.