macOS下共享互斥锁异常及System V信号量IPC问题咨询

在macOS（FreeBSD底层）环境下，默认的pthread_mutex在持有者崩溃后会进入abandoned状态，普通pthread_mutex_lock会永久阻塞。最可靠的解决方式是启用健壮性锁（Robust Mutex）：

1. 初始化时配置PTHREAD_MUTEX_ROBUST属性

pthread_mutexattr_t attr;
pthread_mutexattr_init(&attr);
// 开启跨进程共享
pthread_mutexattr_setpshared(&attr, PTHREAD_PROCESS_SHARED);
// 启用健壮性，允许检测锁持有者死亡
pthread_mutexattr_setrobust(&attr, PTHREAD_MUTEX_ROBUST);
pthread_mutex_t mutex;
pthread_mutex_init(&mutex, &attr);
pthread_mutexattr_destroy(&attr);

2. 加锁时检查返回值处理异常

int ret = pthread_mutex_lock(&mutex);
if (ret == EOWNERDEAD) {
    // 锁的持有者已崩溃，需要恢复锁的一致性
    if (pthread_mutex_consistent(&mutex) != 0) {
        // 恢复失败，建议清理共享资源后退出
        abort();
    }
    // 恢复成功，可正常使用锁
} else if (ret != 0) {
    // 处理其他加锁错误
    perror("pthread_mutex_lock failed");
}

如果不想用健壮锁，也可以用pthread_mutex_timedlock设置超时，超时后判断是否需要重置锁，但这种方式无法精准区分“锁真的忙”和“锁被遗弃”，可靠性不如健壮锁方案。

System V信号量跨进程失效的核心原因是键值不共享或权限配置错误，按以下步骤修正：

1. 生成跨进程可见的键值
   不能用IPC_PRIVATE（仅限父子进程可见），推荐用ftok基于现有文件生成：

// 确保/path/to/existing/file是系统中真实存在的文件（比如你的程序配置文件路径）
key_t key = ftok("/path/to/existing/file", 'A');
if (key == -1) {
    perror("ftok failed");
    exit(1);
}
// 也可以直接用固定整数键值（如0x123456），但要注意避免系统内冲突

2. 创建/获取信号量集时设置正确权限
   调用semget时必须加IPC_CREAT和可读可写权限（如0666），确保其他进程能访问：

// 创建包含1个信号量的集合，用于互斥
int semid = semget(key, 1, IPC_CREAT | 0666);
if (semid == -1) {
    perror("semget failed");
    exit(1);
}

3. 初始化信号量值（仅创建者执行一次）
   用semctl设置初始值为1（互斥锁的初始状态），注意semun需要自行定义：

// 定义semun联合体（部分系统不默认提供）
union semun {
    int val;
    struct semid_ds *buf;
    unsigned short *array;
};

// 初始化信号量为1（可用状态）
union semun arg;
arg.val = 1;
if (semctl(semid, 0, SETVAL, arg) == -1) {
    perror("semctl SETVAL failed");
    exit(1);
}

4. 跨进程操作信号量
   其他进程用同一个键值调用semget获取信号量集，然后执行P/V操作：

// P操作：获取锁
struct sembuf p_op = {0, -1, 0};
if (semop(semid, &p_op, 1) == -1) {
    perror("semop P failed");
    exit(1);
}

// 操作共享资源...

// V操作：释放锁
struct sembuf v_op = {0, 1, 0};
if (semop(semid, &v_op, 1) == -1) {
    perror("semop V failed");
    exit(1);
}

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