解锁已经解锁的线程

Question

在一个已经运行的旧代码中，我找到了一个他们试图解锁已经解锁的互斥体的地方。

我很清楚，解锁已经解锁的互斥将导致未定义的行为。

但是我的疑惑是

1. 我能够通过检查编译器文档来预测行为？
2. 有没有可能导致阻塞线程（死锁）？
3. 未定义的行为将在pthread_mutex_unlock上看到它在哪里解锁已经解锁的线程？或者在未来的任何pthread调用中都可以看到未定义的行为？

Answer 1

我可以通过检查编译器文档来预测行为吗？

如果编译器说明什么是行为，那么如果使用该编译器（并且它保留了该行为），那么您可以依赖该行为。

有没有可能导致阻塞线程（死锁）？

是的。 UB可以导致任何事情。例如，如果解锁函数无条件递减锁计数，它可能会下溢，从而永远锁住互斥锁。

未定义的行为会在pthread_mutex_unlock上看到它在解锁已经解锁的线程吗？或者在未来的任何pthread调用中都可以看到未定义的行为？

您在问如何定义行为。它是未定义的。在这一点之后的任何时候都可能发生，至少就POSIX pthreads标准所说的那样。除非另有说明，否则它可能是任何事情，你无权正式投诉。