linux中的pthread_mutex_t是可重入的吗(如果线程试图获取它已经持有的锁,则请求成功)

Does pthread_mutex_t in linux are reentrancy (if a thread tries to acquire a lock that it already holds, the request succeeds)

本文关键字:获取 成功 请求 线程 mutex pthread 中的 如果 linux      更新时间:2023-10-16

我来自Java,所以我熟悉同步而不是互斥。我想知道pthread_mutex_t是否也是可重入的。如果没有,还有其他机制吗?

感谢

这取决于互斥对象的类型,默认情况下不进行检查,并且在同一线程中多次尝试锁定它会导致未定义的行为。请在此处阅读。

您可以创建一个类型为PTHREAD_MUTEX_RECURSIVE的互斥,以便能够递归地锁定它,这是通过向pthread_mutex_init 提供一个具有所需互斥类型的pthread_mutexattr_t来完成的

根据手册,您可以将互斥对象声明为PTHREAD_mutex_RECURSIVE:

如果互斥体类型为PTHREAD_mutex_RECURSIVE,则互斥体应保持锁计数的概念。线程成功时第一次获取互斥,锁计数应设置为一每次线程重新锁定该互斥锁时,锁计数应为递增1。每次线程解锁互斥锁时,锁计数应递减一。当锁定计数达到零时,互斥锁将变为可供其他线程获取。如果线程试图解锁未锁定的互斥对象或互斥对象则应返回错误。

另请参见pthread_mutex_attr_settype。

默认情况下,pthread_mutex不是递归的,但有一种方法可以将其初始化为递归:

      pthread_mutexattr_t Attr;
      pthread_mutexattr_init(&Attr);
      pthread_mutexattr_settype(&Attr, PTHREAD_MUTEX_RECURSIVE);
      pthread_mutex_init(&_mutex, &Attr);

我认为你指的不是可重入性,而是递归性。使用Java进行可重入锁定是不可能的
递归锁定只是当你已经在线程中拥有一个锁时,你可以再次锁定它而不会出现任何问题。实际上,这是非常有效的,因为这不需要任何原子操作,只需要将互斥体的拥有线程id与当前线程id进行比较,如果两者相等,则拥有计数器将非原子地(!)递增
重传更确切地说是在同一个线程内异步执行。例如,如果您在C/C++中有一个信号处理程序,并且该信号处理程序再次将该线程已经拥有的互斥锁锁定在代码的同步部分中。我不知道是否有互斥实现可以处理这种情况,但没有太多需求,所以我想没有。我认为这样的互斥不能像普通递归互斥那样高效。