llamada pthread_cond_broadcast con mutex sostenido o no? código

Question

Con un pthread_cond_t tenemos que asociar un mutex, señalización Cuando la condición que he visto como

pthread_mutex_lock(&mutex); 

//code that makes condition true 

pthread_cond_broadcast(&cond); 
pthread_mutex_unlock(&mutex); 

y

pthread_mutex_lock(&mutex); 

//code that makes condition true 

pthread_mutex_unlock(&mutex); 
pthread_cond_broadcast(&cond); 

¿Cuál es la forma correcta? (¿Importa?)

Answer 1

Depende de lo que estén haciendo los sumideros (y de cualquier otra fuente).

En su segundo ejemplo de código, es posible que entre el desbloqueo y la transmisión, aparezcan un montón de otros subprocesos y realicen una combinación de cosas que hace que la condición vuelva a ser falsa. Estarás transmitiendo inútilmente. Y no necesariamente tendrá el mismo conjunto de camareros que cuando cambió la condición, lo que puede afectar o no su diseño.

Un fregadero decente no debería preocuparse si se despierta y la condición es falsa, especialmente si está utilizando la transmisión. Siempre que cada cambio de condición a "verdadero" sea seguido por una emisión, estoy bastante seguro de que con receptores escritos apropiadamente, puede transmitir una variable de condición de cualquier manera con o sin el bloqueo.

Así que no creo que realmente importe, pero personalmente transmitiría con la cerradura mantenida, aunque solo sea para evitar tener que preocuparme por ello. La "señal y cambio atómico" podría simplificar el diagrama de estado en su pizarra en comparación con "cambiar ... algún tiempo después, señal".

Ambos son correctos (a diferencia de esperar sin el mutex, que no está permitido), pero no creo que sea demasiado difícil encontrar usos que pueden salir mal en el segundo caso, que no sería ir mal en el primero. Sin embargo, probablemente tendrían que involucrar a algunos camareros haciendo cosas un tanto inusuales.

La especificación dice en lugar críptico "si se requiere un comportamiento de programación predecible, entonces ese mutex estará bloqueado por el hilo que llama a pthread_cond_broadcast() o pthread_cond_signal()."

http://www.opengroup.org/onlinepubs/009695399/functions/pthread_cond_signal.html