使pthread_rwlock_wrlock递归

Question

我对pthread函数pthread_rwlock_wrlock的行为有疑问。上面链接的规范指出，当一个线程锁定了写锁并且同一线程再次将其锁定时，将导致未定义的行为（我实际上可以观察到这一点，因为在x86 Linux上，调用此函数是noop，而在PowerPC Linux上，停止线程）。

我需要的行为是具有以下特征的读写锁：

• 在以下情况下，线程读取锁定成功：
  • 锁不由任何线程持有
  • 该锁仅由零个或多个线程（包括调用线程）进行读锁定，并且可能被调用线程进行读或写锁定
• 在以下情况下，写锁定成功：
  • 该锁不由任何其他线程持有
  • 仅当前线程持有该锁（用于读取或写入）

使用a时pthread_mutex_t，可以通过初始化标志来控制锁的递归性，但是对于，这是不可能的pthread_rwlock_t。

我有什么选择？实际上，我从来没有必须在C中实现这种并发原语，而且我想这里缺少一些明显的解决方案。

Answer 1

老实说，递归锁定确实有一些用途，但通常它是一个黑客。我现在似乎找不到这篇文章，但 Butenhof 对此有一个很好的咆哮。

回到问题。您可以保留一个特定于线程的标志来表示：“我有锁”。锁定后立即设置，解锁前取消设置。由于这是访问它的唯一线程，因此您应该是安全的。因此，在尝试锁定时，您只需检查：“嘿，这东西已经锁定了吗？”。

附带说明：如果一个线程尝试锁定两次，您确定设计没问题吗？

编辑

找到了这篇文章。

但如果这就是必要的，为什么 POSIX 有递归互斥锁？

因为敢。