PTHREAD_MUTEX_* 和 PTHREAD_MUTEX_ERRORCHECK 是否互斥？

Question

The Open Group 有一个针对pthread_mutex_lock、pthread_mutex_trylock、pthread_mutex_unlock 和位于here 的朋友的规范。

该页面列出了四个互斥体属性值：PTHREAD_MUTEX_NORMAL、PTHREAD_MUTEX_ERRORCHECK、PTHREAD_MUTEX_RECURSIVE 和 PTHREAD_MUTEX_DEFAULT。

所有的值都是互斥的吗？在调试配置中，我们是否允许将这些值 OR 一起使用？例如，我想在 Debug 中进行完整的错误检查，那么PTHREAD_MUTEX_ERRORCHECK | PTHREAD_MUTEX_RECURSIVE 是一个有效的配置吗？

我问的原因是我发现了一个错误pthread_mutexattr_settype。我不确定它是否是有效配置和 OS X 实现错误；或者如果它是无效的配置和预期的标准行为。如果它是 OS X 的错误，我仍然可以在其他平台上享受调试配置中增强的错误检查。

Answer 1

互斥锁只能是一种“类型”。您不能将它们组合在一起。

无论如何，这样做没有任何意义 - 如果您尝试重新锁定已被同一线程锁定的互斥锁，PTHREAD_MUTEX_ERRORCHECK 互斥锁总是会返回错误，而PTHREAD_MUTEX_RECURSIVE 互斥锁在这种情况下总是会成功。在其他错误检查情况下（解锁另一个线程已锁定的互斥体，以及解锁未锁定的互斥体）PTHREAD_MUTEX_ERRORCHECK 和 PTHREAD_MUTEX_RECURSIVE 具有相同的行为（总是返回错误）。

这意味着您的 PTHREAD_MUTEX_RECURSIVE 互斥体在“调试”版本中应该保持相同的类型，但将 PTHREAD_MUTEX_ERRORCHECK 替换为 PTHREAD_MUTEX_DEFAULT 和 PTHREAD_MUTEX_NORMAL 互斥体可能更有意义。