posixプロセス間セマフォの理解

Question

私の理解によれば、セマフォは、関連するプロセス間で共有メモリに置かれていなくても使用可能でなければなりません。もしそうなら、なぜ次のコードはデッドロックですか？

#include <iostream> 
#include <semaphore.h> 
#include <sys/wait.h> 

using namespace std; 

static int MAX = 100; 

int main(int argc, char* argv[]) { 
    int retval; 
    sem_t mutex; 

    cout << sem_init(&mutex, 1, 0) << endl; 

    pid_t pid = fork(); 

    if (0 == pid) { 
    //  sem_wait(&mutex); 
    cout << endl; 
    for (int i = 0; i < MAX; i++) { 
     cout << i << ","; 
    } 
    cout << endl; 
    sem_post(&mutex); 

    } else if(pid > 0) { 
    sem_wait(&mutex); 
    cout << endl; 
    for (int i = 0; i < MAX; i++) { 
     cout << i << ","; 
    } 
    cout << endl; 
    //  sem_post(&mutex); 
    wait(&retval); 

    } else { 
    cerr << "fork error" << endl; 
    return 1; 
    } 

// sem_destroy(&mutex); 

    return 0; 
} 

これをGentoo/Ubuntu Linuxで実行すると、親がハングします。どうやら、それは子供の投稿を受け取っていない。 sem_destroyのコメントを外しても良いことはありません。何か不足していますか？

アップデート1： このコードは

mutex = (sem_t *) mmap(NULL, sizeof(sem_t), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_SHARED, 0, 0); 
if (!mutex) { 
    perror("out of memory\n"); 
    exit(1); 
} 

おかげで、 Nileshに動作します。

Answer 1

the manual pageでの文言は、一種の曖昧です。 psharedゼロでない場合

、その後セマフォは とは、共有メモリの領域に配置する必要があり、プロセス間で共有されます。

fork（2）によって作成された子は、親のメモリ マッピングを継承するため、セマフォにもアクセスできます。

はい、しかし、でも、共有領域である必要があります。それ以外の場合は、メモリは単に通常のCoWでコピーされます。

あなたは、少なくとも2つの方法でこの問題を解決することができます。

• 使用sem_open("my_sem", ...)
• 使用shm_openとmmap共有領域を作成するための

Answer 2

将来通行人のために、このトピックに関する優れた記事、 -by：

http://blog.superpat.com/2010/07/14/semaphores-on-linux-sem_init-vs-sem_open/