信號燈+並行線程，不能正常工作

Question

我有過程的這個圖。在每個線程中都有新的過程開始第一是流程1，當它結束信號量發佈，下一個可能的過程是2和4
此圖解釋更多：1：http://i49.tinypic.com/34t5uo0.png。我的腳本在一些倍崩潰。過程1,2或4不執行。問題在哪裏？

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




sem_t semA,semB,semC,semD,semE; 


void* process_2 (void* param) 
{ 
    sem_wait(&semA); 
    int pid2, status2; 
    pid2 = fork(); 
    if (pid2 < 0) { 
    exit(1); 
    } 
if (pid2==0) { 

    printf("Process 2\n"); 
    } 
else { 
    wait(&status2); 
    sem_post(&semC); 
} 
return NULL; 
} 

void* process_4(void* param) 
{ 
sem_wait(&semB); 
int pid4, status4; 
pid4 = fork(); 
if (pid4 < 0) { 
    exit(1); 
} 
if (pid4==0) { 

    printf("Process 4\n"); 


    exit(0); 
} 
else { 
    wait(&status4); 
    sem_post(&semD);       
} 


return NULL; 
} 


void* process_3(void* param) 
{ 
sem_wait(&semC); 
int pid3, status3; 
pid3 = fork(); 
    if (pid3 < 0) { 
    exit(0); 
} 
if (pid3 == 0) { 

    printf("Process 3\n"); 
} 
else{ 
    wait(&status3); 
    sem_post(&semE); 
} 

return NULL; 

} 

void* process_5(void* param) 
{ 
sem_wait(&semD); 
sem_wait(&semE); 
int pid5, status5; 
pid5 = fork(); 
if (pid5 < 0) { 
    exit(0); 
} 
if (pid5 == 0) { 
    printf("Process 5\n"); 
} 
else{ 
    wait(&status5); 
    exit(0); 
} 

return NULL; 

} 



int main() { 

    pthread_t thread_id[4]; 
    pthread_create(&thread_id[0], NULL,&process_2, NULL); 
    pthread_create(&thread_id[1], NULL,&process_3, NULL); 
    pthread_create(&thread_id[2], NULL,&process_4, NULL); 
    pthread_create(&thread_id[3], NULL,&process_5, NULL); 


    sem_init(&semA,0,0); 
    sem_init(&semB,0,0); 
    sem_init(&semC,0,0); 
    sem_init(&semD,0,0); 
    sem_init(&semE,0,0); 


    int pid, status; 


    pid = fork(); 
    if (pid < 0) { 
    exit(1); 
    } 
    if (pid==0) { 
    printf("Process 1\n");  
    } 
    else { 
    wait(&status); 
    sem_post(&semA); 
    sem_post(&semB); 
    int i; 
    for (i = 0; i < 4; i++) 
    pthread_join(thread_id[i],NULL); 
    return 0; 
    } 
exit(0); 

} 

Answer 1

至少有一個問題是你在初始化之前信號燈產卵線程：

pthread_t thread_id[4]; 
pthread_create(&thread_id[0], NULL,&process_2, NULL); 
pthread_create(&thread_id[1], NULL,&process_3, NULL); 
pthread_create(&thread_id[2], NULL,&process_4, NULL); 
pthread_create(&thread_id[3], NULL,&process_5, NULL); 


sem_init(&semA,0,0); 
sem_init(&semB,0,0); 
sem_init(&semC,0,0); 
sem_init(&semD,0,0); 
sem_init(&semE,0,0); 

這在主線程初始化信號量和使用它們的子線程之間的競爭條件。在這裏使用未初始化的數據是一個非常好的機會。

我建議您在main（）函數交換順序：

pthread_t thread_id[4]; 

sem_init(&semA,0,0); 
sem_init(&semB,0,0); 
sem_init(&semC,0,0); 
sem_init(&semD,0,0); 
sem_init(&semE,0,0); 

pthread_create(&thread_id[0], NULL,&process_2, NULL); 
pthread_create(&thread_id[1], NULL,&process_3, NULL); 
pthread_create(&thread_id[2], NULL,&process_4, NULL); 
pthread_create(&thread_id[3], NULL,&process_5, NULL); 

Answer 2

Ben的回答顯示了你的主要問題，但你有別人。您正在使用線程，進程和信號量進行編程非常容易。

• 信號量不是這樣編程的。所有的信號量函數 都給出了錯誤返回碼的一個很好的理由。 E.g sem_wait 如果該進程接收到一個信號可以encouter「虛假喚醒」。所以 你必須檢查回報，然後errno看看發生了什麼， 編程POSIX信號燈時沒有辦法解決這個問題。

• 信號只是POSIX中的一個可選功能。這可能是 更容易從一開始就設計成它的POSIX功能 開始，即pthread_mutex_t和pthread_cond_t。 你作爲補充獲得的是可移植性。仍然有很多不支持信號量的常見體系結構。

• 的方式你正在做這不共享信號燈 進程之間的方式：

  父的整個虛擬地址空間中的孩子複製

  這意味着子項中的信號量是一個副本，並且這兩個進程將無法通過它進行通信。你必須 使用類似shm_open和mmap創建進程共享 信號量。

• 混合fork和線程通常不是一項簡單的任務，你應該在做之前真正考慮三次。