有效使用信號量？

Question

我寫了使用信號，而不是pthread_cond和pthread_mutex這個小程序：

所有的

#include <stdio.h> 
#include <pthread.h> 
#include <semaphore.h> 

sem_t sema; 

pthread_t threads[2]; 

pthread_cond_t cond; 

pthread_mutex_t mutex; 

int value; 

void * worker_a(); 
void * worker_b(); 

int main() { 
    value = 3; 

    sem_init(&sema, 0, 0); 

    pthread_create(&threads[1], NULL, worker_b, NULL); 
    pthread_create(&threads[0], NULL, worker_a, NULL); 

    pthread_join(threads[0], NULL); 
    pthread_join(threads[1], NULL); 

    pthread_detach(threads[0]); 
    pthread_detach(threads[1]); 

    sem_destroy(&sema); 

    printf("Value has been set to: %d.\n", value); 

    return 0; 
} 

/** 
* Multiplicates value by 4. 
*/ 
void * worker_a() { 
    value *= 4; 

    sem_post(&sema); 

    pthread_exit(NULL); 
} 

/** 
* Divides value by 2. 
*/ 
void * worker_b() { 
    sem_wait(&sema); 

    value /= 2; 

    sem_post(&sema); 

    pthread_exit(NULL); 
} 

首先是這個例子正確的嗎？我的意思是它編譯和執行正確，但也許這只是因爲簡單的程序。

作爲第二個：我是否正確理解使用信號量只是使用互斥鎖，條件變量和大量條件標誌的更明智的選擇？

博德

Answer 1

不，這是不正確的，因爲你在評論明確的目標（有value最終成爲6）。無法保證worker_a和worker_b的執行順序。

您使用信號量與使用普通互斥量沒有區別。它僅保護value免受併發處理，但而不是強制執行任何排序。在抓取信號量之前將sleep(5)扔到worker_a之前，你會明白我的意思。

您可能將信號量初始化爲零，並在完成後發送worker_a。然後worker_b將喚醒在正確的時間做的工作：

// main 
// ---- 
    sem_init(&sema, 0, 0); // N.B. initial value is ZERO 

// worker_a 
// -------- 
    value *= 4;    // We know a priori that sema is zero and others will wait for it 
    sem_post(&sema);  // Let worker_b proceed 

// worker_b 
// -------- 
    sem_wait(&sema);  // Pause until worker_a is done 
    value /= 2; 
    sem_post(&sema);