瞭解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進行復制，就是這樣。

可以在至少兩種方式解決這個問題：

• 使用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/