如何检查pthread互斥锁是否已销毁？避免重复销毁问题

你提供的代码不可行 #

你的代码存在两个关键问题：

• pthread_mutex_trylock的返回值逻辑错误：成功获取锁时返回0，锁被占用时返回EBUSY，而非1，你的判断条件完全不成立。
• 调用已销毁的互斥锁是未定义行为：如果锁已经被销毁，再调用pthread_mutex_trylock的结果是不确定的——可能崩溃、返回随机值，甚至破坏其他内存，根本不能用来判断锁是否存活。

pthread_mutex_trylock的作用范围 #

pthread_mutex_trylock只能用来检查互斥锁是否被其他线程锁定（此时返回EBUSY），完全无法判断锁是否已被销毁。因为互斥锁被销毁后，其内存空间的状态是无效的，任何针对它的pthread_mutex系列调用都是未定义行为，不能作为判断依据。

正确的实现方式 #

要避免重复销毁，最可靠的方法是用一个线程安全的状态标志来跟踪互斥锁的生命周期：

#include <pthread.h>
#include <stdatomic.h>

typedef struct {
    pthread_mutex_t m_lock;
    atomic_bool lock_initialized; // 原子布尔变量，确保线程安全的状态检查
} YourStruct;

// 初始化时设置标志
void init(YourStruct* obj) {
    pthread_mutex_init(&obj->m_lock, NULL);
    atomic_store(&obj->lock_initialized, true);
}

void deinit(YourStruct* obj) {
    // 原子交换：如果标志为true，就设为false，只有第一个调用的线程会执行销毁
    if (atomic_exchange(&obj->lock_initialized, false)) {
        pthread_mutex_destroy(&obj->m_lock);
    }
}

• 使用atomic_bool（C11及以上支持）确保多线程环境下状态检查和修改的原子性，避免竞态条件。
• 如果不支持C11原子操作，也可以用另一个互斥锁来保护这个状态标志（注意避免死锁），或者结合线程同步机制实现类似的状态判断逻辑。

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