如果在 wrlock 之前调用 unlock，则 pthread wrlock 方法会阻塞

Question

我正在使用 Ubuntu 20.04 并遇到了一个奇怪的问题。 在我的代码中，如果在初始化 pthread_rwlock_t object 之后有任何机会在同一线程中的pthread_rwlock_wrlock之前调用pthread_rwlock_unlock function，则执行块。 这是重现问题的示例代码

#include <stdio.h> 
#include <pthread.h> 
pthread_rwlock_t rwlock;
int main() {

    pthread_rwlock_init(&rwlock, NULL);

    pthread_rwlock_unlock(&rwlock);
    pthread_rwlock_wrlock(&rwlock);  //Blocks indefinitely 
}

但是一旦调用 wrlock 然后调用 unlocked 就不会发生这种情况。 例如

#include <stdio.h> 
#include <pthread.h> 
pthread_rwlock_t rwlock;
int main() {

    pthread_rwlock_init(&rwlock, NULL);
    pthread_rwlock_wrlock(&rwlock);
    pthread_rwlock_unlock(&rwlock);
    pthread_rwlock_unlock(&rwlock);
    pthread_rwlock_wrlock(&rwlock);  //Doesn't Block even though unlock is called twice
}

Answer 1

pthread_rwlock_init(&rwlock, NULL);

这会初始化一个新的pthread_rwlock_t结构。 最初的state是解锁的。 还没有锁定它。

pthread_rwlock_unlock(&rwlock);

这将解锁pthread_rwlock_t结构。 然而，正如我们已经确定的那样，它没有被锁定。 这是未定义的行为。

但是一旦调用 wrlock 然后调用 unlocked 就不会发生这种情况。 例如

这无关紧要。 未定义的行为是未定义的行为。 您对未定义行为的后果没有任何期望。 观察到的行为的实际原因，以及为什么它们在大多数相似情况下有所不同，并不重要。 您明天醒来可能会发现明天两个实例都会产生相同的结果。 那有可能发生。 这就是未定义行为的含义。 它是未定义的。 您不能用双臂拥抱它，也不能期望每次都得到相同的结果。

实际原因显然与这些锁定原语的内部实现有关。 但这仍然无关紧要。 后天你可能更新你的 kernel 或 C 库，未定义行为的实际结果又会变得不一样，因为这个内部逻辑因为某种原因被更新了。 你不能依赖它。 因此，未定义行为的实际结果没有任何价值或优点。