为何互斥锁会被两个线程同时锁定？问题排查咨询

• 互斥锁实例一致性检查：确认线程A、B、C操作的是同一个缓冲区对应的互斥锁对象，而非各自持有互斥锁副本。比如检查缓冲区结构体是否通过指针传递，排查是否因值拷贝导致每个线程拿到独立的mutex实例（结构体值传递会复制mutex，每个副本都是独立的锁，自然允许多线程同时锁定）。
• 互斥锁初始化正确性验证：
  • 检查是否通过pthread_mutex_init()完成动态初始化，或静态初始化时正确使用PTHREAD_MUTEX_INITIALIZER；禁止直接用普通赋值（如mutex = 0）初始化互斥锁。
  • 确认互斥锁属性为默认的PTHREAD_MUTEX_NORMAL（或PTHREAD_MUTEX_DEFAULT），未错误配置为递归锁（递归锁仅允许同一线程重复锁定，不影响跨线程互斥，但仍需排除配置错误）。
• 线程A锁操作的时序与状态检查：
  • 确认线程A在主线程创建B、C之前，未意外调用pthread_mutex_unlock()（比如代码分支错误、异常路径触发解锁）。
  • 验证日志打印与实际锁操作的时序一致性：可在A锁成功后添加阻塞逻辑（如等待主线程的条件变量信号），确保B、C启动时锁处于被持有的状态。
• 主线程等待逻辑的可靠性排查：
  • 检查主线程判断“A已锁定缓冲区”的机制是否同步安全：若使用全局标记变量，需确保标记的读写受互斥锁保护或使用内存屏障；优先用条件变量实现主线程与A的同步（A锁成功后发送条件信号，主线程通过pthread_cond_wait()等待），避免因CPU缓存或编译器优化导致的时序错乱。
• 缓冲区关联正确性验证：确认线程B实际锁定的缓冲区与线程A操作的是同一个，排查是否存在索引错误、指针指向错误等导致B误锁其他缓冲区的情况。
• 系统调用返回值的完整检查：确保所有pthread_mutex_init()、pthread_mutex_lock()、pthread_mutex_unlock()的返回值都被捕获并校验，排除因初始化失败、锁状态异常导致的无效互斥（比如初始化失败时，pthread_mutex_lock()可能返回0但未真正生效）。

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