如何正确销毁 C 中多个进程使用的共享未命名信号量？

Question

我有一个程序，它创建一些共享内存来共享一些数据和一些信号量，在那里写入一些数据，然后其他进程连接到它并读取该数据并执行一些操作，使用由创建的未命名信号量在它们之间进行同步第一个过程。

完成所有操作后，是否只有在所有其他进程都完成后才能销毁信号量（使用 sem_destroy()）？或者如果我让第一个进程等待其他进程完成它们的工作然后销毁信号量会更好吗？有了这个，我想我应该实现任何沟通渠道，但不知道该怎么做。

编辑：提供一些代码

这是我创建共享内存简化的编写过程（省略了错误处理）：

int fd_shm = shm_open(SHM_NAME, O_RDWR | O_CREAT | O_EXCL,S_IRUSR | S_IWUSR);

/* Resize the memory segment */
ftruncate(fd_shm, sizeof(ShmExampleStruct))

/* Map the memory segment */
ShmExampleStruct *example_struct = mmap(NULL, sizeof(*example_struct), PROT_READ | PROT_WRITE, MAP_SHARED,fd_shm, 0);
close(fd_shm);

sem_init(&(example_struct->sem), 1, 1)

在 ShmExampleStruct 中，我得到了数据和信号量。 在这段代码之后，它将一些数据写入example_struct

而读取过程代码可能是这样的：

/* We open the shared memory */
int fd_shm = shm_open(SHM_NAME, O_RDONLY, 0);

/* Map the memory segment */
ShmExampleStruct *example_struct = mmap(NULL, sizeof(*example_struct), PROT_READ, MAP_SHARED, fd_shm, 0);
close(fd_shm);

然后从 example_struct 中读取一些内容

如果我启动写入进程，然后启动一些读取进程，那么破坏信号量的最佳方法是什么？理论上，写作过程应该在阅读之前开始和结束。

Answer 1

正如 Michael Kerrish 的 LPI 中所述（第 1103 页），“应在释放其底层内存之前销毁未命名的信号量”。

此外，书中指出“如果信号量驻留在 POSIX 共享内存区域中”，这是您的情况（example_struct->sem），“那么只有在所有进程都没有使用信号量和共享内存对象与shm_unlink()"取消链接之前。

因此，只有在没有进程/线程等待的情况下销毁未命名的信号量才是安全的。它会导致未定义的行为：（1）如果信号量在其他进程/线程被阻塞时被破坏； (2) 如果使用了销毁的信号量。

为了在您的情况下保证这一点，您需要使用shm_unlink() 函数删除共享内存对象，然后才调用sem_destroy()。为此，您需要同步您的进程以安全地销毁信号量。

例如，如果您在父进程中使用fork() 创建进程（读取器和写入器），那么您可以在所有子进程完成后销毁父进程中的共享内存和信号量。对于同步，您可以使用wait() 函数。