c - 我们确实需要具有与 "PTHREAD_MUTEX_STALLED"相反的属性 "PTHREAD_MUTEX_ROBUST"的互斥量吗？

Question

我正在阅读 APUE 第 12 章(第 3 版)，它说:我们可以将 PTHREAD_MUTEX_STALLED 或 PTHREAD_MUTEX_ROBUST 设置为互斥量。但我认为我们不需要具有属性 PTHREAD_MUTEX_STALLED 的互斥体，互斥体应该始终“稳健”，以便在锁定互斥体的一方死机时通知我们。如果 mutex 被“停滞”，我们将永远暂停。

而且我知道 Windows 的互斥锁总是“稳健”的，我们会收到错误通知 WAIT_ABANDONED如果锁定互斥量的一方已经死了。那么，在什么样的场景下，我们必须使用“停滞的”互斥体，而不是“稳健的”互斥体？

感谢您的关注。

Answer 1

我看到存在停滞互斥锁的以下原因:

• 如果使用健壮的互斥锁，那么每次尝试锁定互斥锁时，都必须检查 EOWNERDEAD。所以它需要额外的检查。

• 如果 pthread_mutex_lock() 返回 EOWNERDEAD，那么您可能需要检查与必须检查的互斥体相关的共享对象的所有状态必须通过调用 pthread_mutex_lock() 恢复互斥状态。

• 这是默认的互斥锁属性。因此，应用程序无需调用:pthread_mutexattr_setrobust()。

• 历史:早期的 pthread 实现没有强大的互斥量。

因此，仅当应用程序认为线程可能在持有互斥量时意外死亡时才需要进行上述所有额外检查，而大多数线程应用程序的设计方式并非如此。因此，如果默认行为(停止)足够或需要强大的互斥锁，则由应用程序做出决定。