使用分离线程时如何避免Valgrind报告possibly lost字节

这个偶发的"possibly lost"报告不是代码存在真实内存泄漏，是时序竞态导致的误报：
你创建的是分离属性线程，主线程调用pthread_exit退出时，子线程的资源回收流程是由glibc异步完成的——如果valgrind启动退出内存扫描的时机，刚好卡在子线程已经执行完用户态逻辑、但glibc还没完成线程栈、TLS（线程本地存储）内存释放的窗口，就会抓到这272字节的未释放内存，报"possibly lost"；如果回收先跑完、valgrind后扫描，就会提示"no leaks are possible"，这就是报错时有时无的原因。

• 方案1：调整主线程退出逻辑，确保所有分离线程完成资源回收后再退出
  可以通过原子标志位、条件变量等同步机制，确认子线程完全退出、glibc完成资源回收后，主线程再走退出流程。这个方案可以从时序上消除竞态，但需要修改业务同步逻辑，侵入性较高。
• 方案2：添加valgrind抑制规则屏蔽已知误报
  这是处理这类系统级误报最常用的无侵入方案。你可以自定义一个抑制规则文件，比如命名为pthread_detach.supp，写入如下规则匹配该误报栈：

  {
     Ignore false positive from detached thread TLS reclaim race
     Memcheck:Leak
     match-leak-kinds: possible
     fun:calloc
     fun:allocate_dtv
     fun:_dl_allocate_tls
     fun:allocate_stack
     fun:pthread_create@@GLIBC_*
     ...
  }
  

  运行valgrind时追加参数--suppressions=pthread_detach.supp加载该规则，就不会再报这类误报。valgrind本身自带的默认规则库本来就屏蔽了大量glibc、系统库的已知误报，你遇到的问题只是当前使用的Valgrind 3.13版本默认规则没有覆盖这个特定时序场景而已。
• 方案3：升级Valgrind和glibc版本
  新版Valgrind已经补充了对应场景的默认抑制规则，升级后无需额外配置即可消除该误报。

注意：绝对不要为了消除这个报错尝试手动释放线程栈、TLS相关内存，这部分内存的生命周期完全由glibc管理，手动释放会触发程序崩溃。

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