Quando estava procurando o tópico, encontrei o código daqui . Como você pode ver, os dois threads de funções usam o mesmo mutex
. Então, como a outra thread pode ser sinalizada ou pegar o sinal e continuar sua função mesmo se a thread anterior possuir mutex? Como / por que não existe um impasse? É um pouco confuso.
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
pthread_mutex_t count_mutex = PTHREAD_MUTEX_INITIALIZER;
pthread_cond_t condition_var = PTHREAD_COND_INITIALIZER;
void *functionCount1();
void *functionCount2();
int count = 0;
#define COUNT_DONE 10
#define COUNT_HALT1 3
#define COUNT_HALT2 6
main()
{
pthread_t thread1, thread2;
pthread_create( &thread1, NULL, &functionCount1, NULL);
pthread_create( &thread2, NULL, &functionCount2, NULL);
pthread_join( thread1, NULL);
pthread_join( thread2, NULL);
printf("Final count: %d\n",count);
exit(EXIT_SUCCESS);
}
// Write numbers 1-3 and 8-10 as permitted by functionCount2()
void *functionCount1()
{
for(;;)
{
// Lock mutex and then wait for signal to relase mutex
pthread_mutex_lock( &count_mutex ); // <---- Same mutex
// Wait while functionCount2() operates on count
// mutex unlocked if condition varialbe in functionCount2() signaled.
pthread_cond_wait( &condition_var, &count_mutex );
count++;
printf("Counter value functionCount1: %d\n",count);
pthread_mutex_unlock( &count_mutex );
if(count >= COUNT_DONE) return(NULL);
}
}
// Write numbers 4-7
void *functionCount2()
{
for(;;)
{
pthread_mutex_lock( &count_mutex ); // <---- Same mutex
if( count < COUNT_HALT1 || count > COUNT_HALT2 )
{
// Condition of if statement has been met.
// Signal to free waiting thread by freeing the mutex.
// Note: functionCount1() is now permitted to modify "count".
pthread_cond_signal( &condition_var );
}
else
{
count++;
printf("Counter value functionCount2: %d\n",count);
}
pthread_mutex_unlock( &count_mutex );
if(count >= COUNT_DONE) return(NULL);
}
}
Se um thread possui o bloqueio, o outro não pode adquiri-lo antes que o outro o libere.
Agora, se o encadeamento A adquiriu o bloqueio primeiro, impedirá que o encadeamento B avance na seção crítica até que o bloqueio seja liberado.
Por que não existe um impasse?
Lendo isso :
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
Esta função libera atomicamente o mutex e faz com que o thread de chamada seja bloqueado na variável de condição cond;
O thread A irá liberar o bloqueio quando atingir o cond_wait
e o thread B pode progredir e sinalizar a variável de condição.
Este artigo é coletado da Internet.
Se houver alguma infração, entre em [email protected] Delete.
deixe-me dizer algumas palavras