pthread mutex自定义封装调用acq方法时出现段错误的排查咨询

• 懒加载无并发保护导致的竞态条件：这是最可能导致偶发段错误的根因。当多个线程同时调用同一个未完成初始化的ThreadMutex实例的acq方法时，可能出现以下时序：线程A通过m_data == nullptr的判断进入初始化逻辑，刚完成m_data = new mutexData赋值、还未执行pthread_mutex_init完成锁初始化时，线程B判断m_data非空，直接调用pthread_mutex_lock操作未初始化的pthread_mutex_t变量，直接触发段错误。同时还存在多个线程同时进入初始化块，重复申请内存、重复初始化锁的问题，也会导致内存泄漏和锁状态异常。
• 语法与逻辑疏漏：代码中存在struct mutexData定义末尾缺分号、void返回值的acq方法返回true、break语句缺分号的问题，不过该类问题属于编译期可发现问题，大概率是代码简化时的笔误。另外pthread_mutexattr_init创建的属性对象未调用pthread_mutexattr_destroy销毁，会产生资源泄漏，极端嵌入式环境下可能触发异常。

• 构造高并发调用场景：启动10个以上的工作线程，循环调用同一个未初始化的ThreadMutex实例的加锁、解锁逻辑，持续运行数小时即可复现偶发段错误。
• 放大初始化时序差：在m_data = new mutexData之后、pthread_mutex_init之前插入1秒的休眠逻辑，只要有2个线程同时调用acq方法，即可100%触发段错误。
• 编译时添加-g参数加载调试符号，复现后通过core dump可直接查看m_data的赋值状态、m_mutex的初始化状态，确认竞态问题。

• 优先放弃懒加载逻辑，将锁的初始化逻辑迁移到ThreadMutex的构造函数中执行，从根源避免并发初始化的竞态问题。
• 若必须保留懒加载逻辑，使用std::call_once或者原子变量CAS操作保证m_data的初始化流程仅执行一次，且初始化完成前其他线程阻塞等待。
• 补充完善资源释放逻辑：pthread_mutexattr_t使用完成后调用销毁接口，ThreadMutex析构函数中添加销毁锁、释放m_data内存的逻辑，所有pthread接口调用补充返回值校验。

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