使用POSIX计数信号量作为二进制信号量

Question

sem = sem_open(argv[optind], flags, perms, 1); // Initialising semaphore to 1

    while(sem_getvalue(sem) > 0)
    {
    continue;

    }
    sem_post(sem);

我有多个进程与Sempahore同步。我知道这段代码不允许gurantee出现这样的情况：在sem_getvalue期间，即使sem值变为零，甚至在调用特定进程中的sem_post之前，anotehr进程也可能调用sem_post,使值变为2。如何解决这种情况。

我的问题不能通过互斥体来解决，在我的问题中，有些进程只用于信号，即sem_post操作，而在互斥体中，所有进程都将等待并不断地发出信号

Answer 1

您发布的代码有一些问题。

while(sem_getvalue(sem) > 0)

这被称为忙等待，这意味着进程在信号量上旋转，不会将CPU让给调度器。通常，繁忙等待仅在等待应该小于上下文切换时间（例如，低延迟）的场景中进行。

下一个问题是你的语义颠倒了。当信号量大于0时，则递减并继续。此外，您的调用不是原子的，这会引入许多争用条件。

const char* lock_file = ".lock";

const int fd_lock = open(lock_file, O_CREAT);

flock(fd_lock, LOCK_EX);

// do stuff

flock(fd_lock, LOCK_UN);

// do more stuff

close(fd_lock);    
unlink(lock_file);