使用O_EXCL标志初始化信号量与共享内存提示已打开问题求助

你提供的代码存在多个会导致IPC资源残留的逻辑缺陷，是O_EXCL模式下初始化报错的核心原因：

• closeSEM函数存在笔误：最后两次sem_unlink操作的都是SEM_2，SEM_3从未被执行unlink操作，会永久残留在系统中
• closeSEM中任意一步操作失败就直接调用exit终止，后续的清理逻辑完全不会执行，会导致部分资源残留
• closeSEM中直接对s2、s3执行sem_close，但你提供的initSEM仅初始化了s1，如果s2、s3为NULL，sem_close调用会直接崩溃，后续unlink逻辑完全不执行
• atexit注册的清理函数仅在程序正常调用exit/return从主函数返回时才会执行，如果程序被Ctrl+C、kill命令等信号终止，清理函数不会触发，信号量、共享内存都会残留在系统中

当前已经残留的资源可以手动清理：

• POSIX信号量默认存放在/dev/shm目录下，命名规则为sem.<你的SEM_1/2/3宏定义的名字>，执行rm /dev/shm/sem.*即可删除残留的信号量
• 共享内存也存放在/dev/shm目录下，直接删除对应命名的文件即可，也可以执行ipcrm -a清理所有当前用户的IPC资源

1. 修正closeSEM的清理逻辑，不要因为单步错误终止整个清理流程

void closeSEM(void)
{
    // 优先执行unlink操作，避免中间出错导致资源无法释放
    if (sem_unlink(SEM_1) == -1) {
        perror("warn: sem_unlink SEM_1 failed");
    }
    if (sem_unlink(SEM_2) == -1) {
        perror("warn: sem_unlink SEM_2 failed");
    }
    if (sem_unlink(SEM_3) == -1) {
        perror("warn: sem_unlink SEM_3 failed");
    }
    // 仅对非空的句柄执行close操作
    if (s1 != NULL && sem_close(s1) == -1) {
        perror("warn: sem_close s1 failed");
    }
    if (s2 != NULL && sem_close(s2) == -1) {
        perror("warn: sem_close s2 failed");
    }
    if (s3 != NULL && sem_close(s3) == -1) {
        perror("warn: sem_close s3 failed");
    }
}

2. 增加信号处理逻辑，确保程序被信号终止时也能执行清理

static void sig_handler(int sig)
{
    closeSEM();
    // 共享内存的清理函数也在这里调用
    exit(EXIT_SUCCESS);
}

// 在main函数最开头注册信号
int main()
{
    signal(SIGINT, sig_handler);
    signal(SIGTERM, sig_handler);
    // 其余业务逻辑
}

3. 初始化逻辑优化
   如果你的程序是单机单实例运行，可以在调用sem_open前先执行一次unlink，直接清除残留资源：

void initSEM(void)
{
    atexit(closeSEM);
    // 先清理可能存在的残留
    sem_unlink(SEM_1);
    sem_unlink(SEM_2);
    sem_unlink(SEM_3);
    s1 = sem_open(SEM_1, O_CREAT | O_EXCL, 0600, 1);
    if (s1 == SEM_FAILED)
    {
        // 打印errno确认错误原因，避免误判
        perror("ERROR: Semaphore 1 could not be opened");
        exit(EXIT_FAILURE);
    }
    // 其余s2、s3的初始化逻辑
}

如果是多实例共享信号量的场景，捕获EEXIST错误，直接打开已有信号量即可：

s1 = sem_open(SEM_1, O_CREAT | O_EXCL, 0600, 1);
if (s1 == SEM_FAILED && errno == EEXIST) {
    s1 = sem_open(SEM_1, 0);
}

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