sem_open初始化信号量失败求助：生产者消费者模型运行异常

核心原因 #

macOS的POSIX命名信号量实现和Linux存在关键差异，这是导致问题的根源：

1. 信号量持久化复用问题
   macOS的命名信号量是持久化存储的，除非显式调用sem_unlink删除，否则即使程序退出，信号量也会保留在系统中（直到重启）。如果之前运行过代码创建了同名信号量但未正确初始化，或者未删除，后续仅用O_CREAT标志调用sem_open时，会直接打开已存在的旧信号量，忽略你传入的初始值参数，导致信号量值停留在之前的异常状态（比如0）。

2. O_CREAT标志的行为限制
   仅使用O_CREAT时，若信号量已存在，sem_open会跳过mode和value参数直接打开现有信号量。只有当信号量不存在时，才会用传入的value初始化。不加O_EXCL标志的话，无法确保创建的是全新信号量，极易复用旧的异常值信号量。

3. 命名格式要求
   macOS要求命名信号量的名称必须以/开头（比如"/my_empty"），不符合格式的名称可能导致信号量创建或打开失败，进而出现未定义行为（比如返回无效句柄，操作时表现为值始终为0）。

解决步骤 #

• 强制创建全新信号量：调用sem_open时，组合使用O_CREAT | O_EXCL标志，这样如果同名信号量已存在，函数会直接报错，避免复用旧信号量。示例：

  #define BUFFER_SIZE 5
  sem_t *empty = sem_open("/my_empty", O_CREAT | O_EXCL, 0644, BUFFER_SIZE);
  sem_t *filled = sem_open("/my_filled", O_CREAT | O_EXCL, 0644, 0);
  sem_t *mutex = sem_open("/my_mutex", O_CREAT | O_EXCL, 0644, 1);
  
  if (empty == SEM_FAILED || filled == SEM_FAILED || mutex == SEM_FAILED) {
      perror("sem_open failed");
      exit(EXIT_FAILURE);
  }
  

• 清理信号量：程序退出前，必须调用sem_close关闭信号量句柄，再调用sem_unlink删除命名信号量，避免残留。示例：

  sem_close(empty);
  sem_unlink("/my_empty");
  sem_close(filled);
  sem_unlink("/my_filled");
  sem_close(mutex);
  sem_unlink("/my_mutex");
  

• 手动清理残留信号量：如果之前有残留的异常信号量，可通过命令行处理。先查看系统中存在的命名信号量：

  ls /tmp/.sem.*
  

  再用sem_unlink删除指定信号量：

  sem_unlink "/my_mutex"
  

内容的提问来源于stack exchange，提问作者Ku-hello