为何empty信号量设为10未阻塞，缓冲区计数超限？

在M1 MacBook Air上用sem_open替代sem_init实现生产者-消费者模型时，缓冲区计数远超设定的10，通常是以下几个核心问题导致的：

1. 命名信号量的生命周期管理错误 #

MacOS的POSIX命名信号量会持久化存储在系统中，若程序退出时未清理旧信号量，下次运行sem_open时会复用已存在的信号量，而非重新创建初始值为10的新信号量。

• 排查点：检查sem_open的调用是否添加了O_CREAT | O_EXCL标志（确保创建全新信号量），且程序退出时执行sem_close和sem_unlink：

  sem_t *empty = sem_open("/empty_sem", O_CREAT | O_EXCL, 0644, 10);
  if (empty == SEM_FAILED) {
      // 若信号量已存在，先清理再重新创建
      sem_unlink("/empty_sem");
      empty = sem_open("/empty_sem", O_CREAT | O_EXCL, 0644, 10);
  }
  // 程序退出前
  sem_close(empty);
  sem_unlink("/empty_sem");
  

2. 信号量操作顺序错误 #

经典模型中同步逻辑的顺序不能颠倒：

• 生产者必须先执行sem_wait(empty)（获取空缓冲区名额），再写入缓冲区，最后sem_post(full)（通知有产品）；
• 消费者必须先执行sem_wait(full)（获取有产品的缓冲区名额），再读取缓冲区，最后sem_post(empty)（释放空名额）。
  若顺序颠倒（比如生产者先写入再sem_wait），会直接绕过empty信号量的限制，导致缓冲区无限增长。

3. 缓冲区的共享性问题 #

如果是多进程实现：

• 未使用共享内存（mmap或shmget）存储缓冲区，每个进程会维护独立的缓冲区副本，信号量同步的是进程间的逻辑，但各自的缓冲区计数互不影响，看起来就会远超10。
• 解决：将缓冲区放在共享内存区域，确保所有进程访问同一块内存。

4. 缓冲区计数的统计竞态 #

若你用来输出的缓冲区计数变量未被信号量或互斥锁保护，会出现竞态条件：

• 比如生产者和消费者同时修改计数变量，导致计数统计错误（实际缓冲区大小未超限，但统计值显示超限）。
• 修复：将计数变量的修改放在信号量保护的临界区内：

  // 生产者临界区（sem_wait(empty)之后）
  buffer[inx] = new_item;
  inx = (inx + 1) % 10;
  buffer_count++; // 此操作必须在sem_wait和sem_post之间
  sem_post(full);
  
  // 消费者临界区（sem_wait(full)之后）
  consumed_item = buffer[outx];
  outx = (outx + 1) % 10;
  buffer_count--; // 同样在临界区内
  sem_post(empty);
  

5. 信号量命名规范问题 #

MacOS要求POSIX命名信号量的名称必须以/开头（比如/empty_sem），若命名不符合规范，sem_open可能创建失败或无法正确定位信号量，导致同步逻辑完全失效。

内容的提问来源于stack exchange，提问作者Marshall Hank