sem_wait的Coredump

Question

我在這里有一個很奇怪的問題，或者我對它的工作方式一無所知，但是無論如何，我下面的程序都會以適當的方式正確創建信號量並首次運行到結尾。 但是，如果信號燈已存在，則SEGFaults在sem_wait上。 我在64位Fedora 17上運行此程序。這是否與錯誤有關？

#include <stdio.h>          /* printf()                 */
#include <stdlib.h>         /* exit(), malloc(), free() */
#include <sys/types.h>      /* key_t, sem_t, pid_t      */
#include <sys/shm.h>        /* shmat(), IPC_RMID        */
#include <errno.h>          /* errno, ECHILD            */
#include <semaphore.h>      /* sem_open(), sem_destroy(), sem_wait().. */
#include <fcntl.h>          /* O_CREAT, O_EXEC          */

int
main() {


        sem_t *mysem;
        int oflag = O_CREAT | O_EXCL;
        mode_t mode = 0777;
        const char semname[] = "mysem";
        unsigned int value = 1;
        int sts;


        mysem = sem_open(semname, oflag, mode, value);
        //sem_unlink(semname);

        if(mysem == (void *)-1) {
                printf("sem_open() failed");
                exit(1);
        }

        printf("opened a semaphore successful\n");

        if(!sem_wait(mysem)) {
                /*locked */
                printf("worked\n");
        } else {
                printf("error\n");
        }
         return 0;
}

/ dev / shm sem.mysem的內容

Program received signal SIGSEGV, Segmentation fault.
0x000000332980d5f0 in sem_wait () from /lib64/libpthread.so.0
Missing separate debuginfos, use: debuginfo-install glibc-2.15-58.fc17.x86_64
(gdb) where
#0  0x000000332980d5f0 in sem_wait () from /lib64/libpthread.so.0
#1  0x000000000040074a in main () at str2.c:31

奇怪的問題是，當我刪除/ dev / shm中的信號量或取消注釋sem_unlink時，它每次都有效。 我在這里做錯了嗎，還是需要在某個地方運行sem_post？

謝謝。

Answer 1

如果sem_open失敗，它將返回SEM_FAILED ，在我的系統（可能還有其他所有人）上，它等於NULL 。 對照而不是-1檢查。

另外，如果失敗，則打印實際錯誤（例如使用perror()或strerror() ）。

Answer 2

當嘗試嘗試CPU無法物理尋址的特定內存時，通常會發生分段錯誤。 硬件會通知OS有關內存沖突的信息，作為響應，內核（OS）會發送糾正措施，通常是終止它或導致轉儲內核。 分段的最常見原因是取消引用NULL指針 。 嘗試一下可能會有所幫助。

Answer 3

檢查man open_sem：

“如果在oflag中同時指定了O_CREAT和O_EXCL，那么如果已經存在具有給定名稱的信號燈，則會返回錯誤。”

您的信號量似乎已經存在。 這就是為什么您的代碼從/ dev / shm中刪除后可以再次工作的原因-因此可以再次創建它而不會出現錯誤。

當人說SEM_FAILED時，我不確定為什么每個人都在檢查-1返回值是否有錯誤。 可能表現得像開放。 可以將SEM_FAILED定義為任何值，您不應該假設其值為並使用MACRO。