当两个进程试图访问信号量 = 0 的临界区时会发生什么？

Question

在我的代码中，我做了以下初始化：

struct PipeShm myPipe = { .init = 0 , .flag = FALSE , .mutex = NULL , .ptr1 = NULL , .ptr2 = NULL ,
        .status1 = -10 , .status2 = -10 , .semaphoreFlag = FALSE };

int initPipe()
{
    if (!myPipe.init)
    {
        myPipe.mutex = mmap (NULL, sizeof *myPipe.mutex, PROT_READ | PROT_WRITE,MAP_SHARED | MAP_ANONYMOUS, -1, 0);

        if (!sem_init (myPipe.mutex, 1, 0))  // semaphore is initialized to 0
        {
            myPipe.init = TRUE;
        }
        else
            perror ("initPipe");
    }
    return 1;   // always successful
}

我可以有多个可以从main() 调用的进程（注意fork）。

谢谢

Answer 1

AFAICS 你的错误在于你的控制变量。只有您的 mutex 变量在进程之间共享，而不是您的 init 或 flag 变量。这些是写入时复制，因此您不会在不同的过程中看到更改。

您必须将所有控制变量打包到您创建的段中。为您需要的所有字段创建适当的struct 类型。

顺便说一句，调用信号量mutex 确实是个坏主意。互斥体具有与信号量完全不同的语义。 （或者如果你真的把它用作互斥体，我没有检查，在初始化程序中使用pthread_mutex_t 和pshared。）

编辑后编辑：不，它不会像这样工作。您确实必须将整个struct 放在共享段中。所以你的struct PipeShm 必须包含sem_t sem 而不是sem_t* mutex。然后你会做类似的事情

struct PipeShm * myPipe = 0;

int initPipe()
{
    if (!myPipe->init)
    {
        myPipe = mmap (NULL, sizeof *myPipe, PROT_READ | PROT_WRITE,MAP_SHARED | MAP_ANONYMOUS, -1, 0);

        if (!sem_init (myPipe->sem, 1, 0))  // semaphore is initialized to 0
        {
            myPipe->init = true;
        }
        else
            perror ("initPipe");
    }
    return 1;   // always successful
}

您应该注意的其他事项：

• sem_t 接口可以被任何类型的 IO 或其他信号中断。你总是要检查 这些函数的返回，特别是重新启动函数 如果它收到EINTR。
• Mondern C 有一个布尔值。您可以通过包括 <stdbool.h> 通过bool、false 和true 的名称。