Concurrencia con pthreads

[alais]

Buenas,

estoy programando una aplicación multihilo en C, en la que los distintos hilos sólo comparten ciertas variables booleanas. El acceso a ellas es frecuente en todos los hilos, por lo que estoy dudando en introducir mutex para acceder a ellas (me resisto por lo que esto puede afear el código). ¿Es realmente necesario? ¿Se puede considerar atomicidad en la lectura/escritura de variables booleanas?

Un saludo y gracias!

[Eternal Idol]

Es necesario, no tiene importancia que la variable sea de un solo byte. Un caso simple:

int x = globBool++;

HILO A: mov eax, byte ptr [globBool] ;eax=2
HILO A: inc eax ;eax=3
HILO B: mov eax, byte ptr [globBool] ;eax=2
HILO B: inc eax ;eax=3
HILO B: mov byte ptr [globBool], eax ;eax=3
HILO A: mov byte ptr [globBool], eax ;eax=3

Si el valor inicial era 2, tenemos que el valor final de globBool es 3 cuando en realidad deberia ser 4 cuando dos hilos intentaron incrementarlo.

Con un mutex lo que pasaria es esto:

HILO A: grabMutex
HILO A: mov eax, byte ptr [globBool] ;eax=2
HILO A: inc eax ;eax=3
HILO B: waitForMutex
HILO A: mov byte ptr [globBool], eax ;eax=3
HILO A: releaseMutex
HILO B: grabMutex
HILO B: mov eax, byte ptr [globBool] ;eax=3
HILO B: inc eax ;eax=4
HILO B: mov byte ptr [globBool], eax ;eax=4
HILO B: releaseMutex

Con lo cual globBool tendria el valor correcto.

Otra cosa seria que tuvieras funciones atomicas disponibles, yo trabajo en Windows y las hay (InterlockedIncrement por ejemplo).