linux - 如果在 Linux 中尝试两次锁定同一个互斥量，为什么线程不会死锁？

Question

我读了 Unix 环境高级编程 3rd，11.6.2 死锁避免:

A thread will deadlock itself if it tries to lock the same mutex twice

为了验证这一点，我写了一个demo:

pthread_mutex_t mutex;
int main() {
    pthread_mutex_init(&mutex, NULL);
    pthread_mutex_lock(&mutex);
    printf("lock 1\n");
    pthread_mutex_lock(&mutex);
    printf("lock 2\n");
    pthread_mutex_unlock(&mutex);
    printf("unlock 1\n");
    pthread_mutex_unlock(&mutex);
    printf("unlock 2\n");
    pthread_mutex_destroy(&mutex);
    return 0;
}

主线程没有阻塞，输出为:

lock 1

lock 2

unlock 1

unlock 2

为什么会这样？

Answer 1

你是如何编译这个的？我怀疑您没有将 -pthread 选项传递给编译器，并且上述与 pthread 相关的东西仍然是 noops(即它们没有被拉入)。

我刚刚测试了你的 prog 编译为

cc -pthread meh.c

结果很好地卡在“锁定 1”之后。