Usando @synchronized, volátil y OSMemoryBarrier() todos juntos. ¿Implica uno el otro?

Question

Procedente de Java, estoy intentando aprender seguridad de subprocesos en Objective-C. Hasta ahora he incliné que

• bloques @synchronized impiden el acceso concurrente a la misma bloque de código
• las variables volátiles aseguran la visibilidad de los cambios cruzando hilos
• OSMemoryBarrier(); asegura el correcto orden de acceso

Mi pregunta es: ¿alguno de ellos implica uno o más de los otros? Si quiero los tres, ¿necesito usar las tres técnicas?

Ejemplo:

volatile int first = 0; 
volatile int second = 0; 

[...] 

@synchronized { 
    OSMemoryBarrier(); 
    first++; 
    OSMemoryBarrier(); 
    second++; 
    OSMemoryBarrier(); 
} 

En Java los tres están asegurados al entrar y salir de un bloque sincronizada y al leer o escribir una variable volátil. ¿Cierto?

Answer 1

La directiva @synchronized se convierte de la siguiente manera ...

- (NSString *)myString { 
    @synchronized(self) { 
    return [[myString retain] autorelease]; 
    } 
} 

se convierte ...

- (NSString *)myString { 
    NSString *retval = nil; 
    pthread_mutex_t *self_mutex = LOOK_UP_MUTEX(self); 
    pthread_mutex_lock(self_mutex); 
    retval = [[myString retain] autorelease]; 
    pthread_mutex_unlock(self_mutex); 
    return retval; 
} 

Answer 2

@synchronized no protege a un bloque de código de ser volvió a entrar - que impide la ejecución cualquier código que también usa @synchronized con el mismo objeto. Así que si usted tiene dos métodos

- (void)method1 { 
    @synchronized (self) { dothis(); } 
} 
- (void)method2 { 
    @synchronized (self) { dothat(); } 
} 

y dos hilos de diferentes llamar metodo1 y metodo2 para el mismo objeto, a continuación, DoThis() y dothat() serán llamados uno tras otro. Por supuesto, eso también es cierto si dos hilos diferentes llaman a method1 para el mismo objeto. @synchronized no impide que ingrese un bloque en el mismo subproceso, por lo que en el ejemplo anterior dothis() podría llamar a [self method2] y no se bloquearía.

Si está utilizando volátil u OSMemoryBarrier(), le sugiero que su diseño es mucho, mucho, demasiado complicado y que tarde o temprano tendrá problemas.