Pthread多线程服务器heap-buffer-overflow错误排查求助

已定位的代码问题 #

1. 互斥锁/条件变量重复定义且未初始化
   main.c中已经定义并初始化了全局互斥锁mutex和条件变量cond_worker，但handler.c中又重复定义了两个同名全局变量，且未做初始化。gfs_handler中加锁操作使用的是未初始化的锁，直接导致内存结构损坏，是堆溢出的核心诱因。
2. 队列操作无有效同步
   入队操作持有handler.c中未初始化的无效锁，出队操作持有main.c中的有效锁，两个操作没有共用同一把锁保护，多线程并发修改队列结构会直接破坏堆内存布局。
3. 参数生命周期不匹配
   gfs_handler传入的path指针和ctx上下文的生命周期由gfserver框架管理，handler返回后框架可能直接释放对应内存。当前代码直接将指针存入队列后返回gfh_failure，工作线程后续访问的是野指针。
4. 资源释放逻辑不可达
   gfserver_serve是永久阻塞运行的接口，后续的线程join、队列销毁、内存释放逻辑永远不会执行，会导致资源泄漏，但不是本次溢出的直接原因。

排查修复步骤 #

• 移除handler.c中重复定义的mutex和cond_worker，改为extern声明引用main.c中已初始化的实例，保证队列所有操作都持有同一把锁。
• 入队时拷贝path字符串：将q_ctx->filepath = filepath改为q_ctx->filepath = strdup(filepath)，工作线程处理完成后释放对应的拷贝。
• 确认gfserver框架handler的返回值规则：如果返回gfh_failure会触发框架自动释放ctx和path，需要修改为异步处理场景对应的正确返回值，避免框架提前释放工作线程要使用的资源。
• 开启AddressSanitizer的完整栈回溯功能，定位溢出写入操作对应的具体代码行，可快速定位内存越界点。
• 验证gfs_abort的调用时机：确认仅在ctx未被框架释放的前提下调用该接口。

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