为何sem_open(O_CREAT)在信号量已存在时忽略参数？及修正方案求证

首先明确：你提到的sem_open(name, O_CREAT, mode, 0)后调用sem_post()的方案存在竞态条件，不是正确的修正方案。

为什么这个方案有问题？ #

当多个进程同时执行这套逻辑时，会出现不可控的信号量值异常：

• 假设目标信号量已存在，且当前值为0；
• 进程A完成sem_open，拿到信号量；
• 进程B也完成sem_open，拿到同一个信号量；
• 进程A执行sem_post，信号量值变为1；
• 进程B接着执行sem_post，信号量值变为2；
  这就导致信号量值超出了预期的初始值（不管是新创建还是复用已存在的，你大概率期望最终值为1），破坏了同步逻辑的正确性。

正确的处理方式 #

要区分信号量是新创建还是已存在，应该结合O_EXCL标志和errno判断：

1. 尝试用O_CREAT | O_EXCL标志打开信号量：

   sem_t *sem = sem_open(name, O_CREAT | O_EXCL, mode, 1);
   

2. 根据返回结果处理：
   • 如果调用成功：说明是新创建的信号量，初始值已经设为1，直接使用即可；
   • 如果调用失败且errno == EEXIST：说明信号量已存在，此时重新调用不带O_CREAT的sem_open打开它：

     sem = sem_open(name, 0);
     

     打开后可以根据业务需求执行sem_wait等操作，不需要额外调用sem_post（因为已存在的信号量的当前值是由之前的逻辑维护的，不应随意修改）。

这种方式能避免竞态，确保无论信号量是新创建还是已存在，都能按照预期的逻辑处理。

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