¿Bajo qué circunstancias son útiles las propiedades atómicas?

Question

Propiedades de Objective-C predeterminadas a atomic, lo que garantiza que los accesadores sean atómicos pero no aseguren la seguridad general del hilo (según this question). Mi pregunta es, ¿no son las propiedades atómicas redundantes en la mayoría de los escenarios de simultaneidad? Por ejemplo:

Escenario 1: propiedades mutables

@interface ScaryMutableObject : NSObject {} 

@property (atomic, readwrite) NSMutableArray *stuff; 

@end 

void doStuffWith(ScaryMutableObject *obj) { 
    [_someLock lock]; 
    [obj.stuff addObject:something]; //the atomic getter is completely redundant and could hurt performance 
    [_someLock unlock]; 
} 

//or, alternatively 
void doStuffWith(ScaryMutableObject *obj) { 
    NSMutableArray *cachedStuff = obj.stuff; //the atomic getter isn't redundant 
    [_someLock lock]; 
    [cachedStuff addObject:something]; //but is this any more performant than using a nonatomic accessor within the lock? 
    [_someLock unlock]; 
} 

Escenario 2: propiedades inmutables

Estaba pensando que tal vez las propiedades atómicas serían útiles para evitar bloqueos cuando se trabaja con objetos inmutables , pero como los objetos inmutables pueden apuntar a objetos mutables en Objective-C, esto no es de mucha ayuda:

@interface SlightlySaferObject : NSObject {} 

@property (atomic, readwrite) NSArray *stuff; 

@end 

void doStuffWith(SlightlySaferObject *obj) { 
    [[obj.stuff objectAtIndex:0] mutateLikeCrazy];//not at all thread-safe without a lock 
} 

Los únicos escenarios que se me ocurre dónde es seguro de usar descriptores de acceso atómicas sin cerradura (y por lo tanto vale la pena utilizar las propiedades atómicas en absoluto) son:

1. Trabajar con propiedades que son primitivas;
2. Trabajar con propiedades que se garantiza que sea inmutable y no para apuntar a objetos mutables (tales como un NSString o un NSArray de objetos inmutables).

¿E-cando algo? ¿Hay alguna otra buena razón para usar propiedades atómicas?

Answer 1

No le falta nada; La utilidad de atomic se limita en gran medida solo a situaciones donde necesita acceder o establecer un valor particular a partir de múltiples hilos donde ese valor también es integral.

Más allá de un solo valor, atomic no se puede utilizar para seguridad de hilos.

Escribí bastante sobre esto en un weblog post a while ago.

Esta pregunta es también un [muy bien planteado] duplicado de What's the difference between the atomic and nonatomic attributes?