如何调试无法锁定的std::mutex？线程锁获取失败排查求助

问题解答 #

1. 了解pthread_mutex_t结构体含义的途径 #

• 查看系统头文件：pthread_mutex_t的定义通常在/usr/include/pthread.h，或者对应架构的子文件（比如你用的aarch64架构，路径可能是/usr/include/aarch64-linux-gnu/bits/pthreadtypes.h），直接打开这些文件就能看到结构体的完整定义和字段注释。
• 查看本地手册：执行man pthread_mutex_t命令，手册里会详细说明结构体各字段的作用和互斥锁的相关逻辑。

2. __owner=0与__lock=2的含义 #

你看到的__data是GNU C库实现下pthread_mutex_t的内部存储结构，各字段含义如下：

• __lock=2：表示互斥锁已被持有，且有其他线程正在等待获取该锁（GNU实现中，__lock常见取值：0=未锁定，1=已锁定无等待线程，2=已锁定且存在等待线程）。
• __owner=0：该字段原本存储持有锁的线程ID，值为0通常有两种情况：
  • 持有锁的线程异常终止，没有执行解锁逻辑（比如崩溃、被强制杀死，导致lock_guard的析构函数没机会执行）；
  • 特定互斥锁类型或场景下，该字段未被正确更新，但前者是更常见的原因。

3. 线程挂起的原因 #

线程挂起在__lll_lock_wait函数，说明它调用pthread_mutex_lock尝试获取锁时，锁已经被持有且已有等待队列，因此进入了底层futex的等待逻辑。结合__owner=0和__lock=2的状态，最可能的原因是持有锁的线程异常退出，未释放锁，导致后续所有尝试获取锁的线程都被阻塞，且锁的__owner字段没有被更新为有效线程ID。另外__count=85的异常值也提示可能存在内存破坏的情况，但优先级低于线程异常未解锁的排查方向。

内容的提问来源于stack exchange，提问作者ludeed