c - 第二个线程上的 PTHREAD_MUTEX_RECURSIVE block

Question

我对 PTHREAD_MUTEX_RECURSIVE 有以下问题:当互斥体被另一个线程锁定时它会阻塞；

pthread_mutex_t m;
pthread_mutexattr_t ma;

void* exec_th(void* arg) {
    printf("THREAD %p before LOCK\n", pthread_self());

    //second mutex lock
    pthread_mutex_lock(&m);
    printf("THREAD %p after LOCK\n", pthread_self());

    pthread_mutex_unlock(&m);
    printf("THREAD %p after UNLOCK\n", pthread_self());

    return (void*)0;
}

int main() {
    pthread_mutexattr_init(&ma);
    pthread_mutexattr_settype(&ma, PTHREAD_MUTEX_RECURSIVE);
    pthread_mutex_init(&m, &ma);

    // first mutex lock
    pthread_mutex_lock(&m);

    // create a thread that will call the same mutex
    pthread_t t;
    pthread_create(&t, NULL, exec_th, NULL);

    sleep(1); //just to see the console

    pthread_mutex_unlock(&m);
}

OpenGroup 指出:

A thread attempting to relock this mutex without first unlocking it will succeed in locking the mutex. The relocking deadlock which can occur with mutexes of type PTHREAD_MUTEX_NORMAL cannot occur with this type of mutex

不过，上面的代码为 PTHREAD_MUTEX_RECURSIVE 和 PTHREAD_MUTEX_NORMAL 生成了相同的行为:

• 只有 在 LOCK 之前 在 main() 中的 sleep() 之前打印；
• 线程在 main() 释放后锁定互斥锁；

非常感谢任何帮助，谢谢。

Answer 1

it blocks when the mutex is locked from another thread

如果互斥量是递归的，并且调用 pthread_mutex_lock 的线程已经持有该互斥量，那么它才会立即返回。在您的情况下，main 线程锁定了互斥锁，而另一个线程试图获取该互斥锁，但由于它由另一个线程持有而被阻止。这是正常行为。

如果任何线程可以解锁其他线程持有的任何(递归)互斥锁，那么递归互斥锁将毫无用处!

参见 POSIX也有文档。