C++中嵌入Python解释器的ASAN内存泄漏问题咨询

1. 如何释放内存使ASAN检测无泄漏？ #

Python的Py_FinalizeEx设计上并不保证完全释放初始化时分配的所有内存——部分全局状态、静态对象是为了支持解释器的重复初始化复用，或是依赖进程退出时由操作系统自动回收。要让ASAN检测无泄漏，可尝试以下方案：

• 单次初始化解释器：如果测试场景允许，在进程启动时仅调用一次Py_InitializeEx，进程结束前调用Py_FinalizeEx即可。由于进程退出时操作系统会回收所有内存，ASAN不会将这类未显式释放的内存判定为泄漏。
• 调整Python内存分配器：设置环境变量PYTHONMALLOC=malloc，强制Python使用系统标准malloc而非自带的内存分配器。这能让ASAN更准确跟踪内存生命周期，但仍可能存在无法释放的全局资源，需配合抑制文件使用。
• 编写ASAN抑制文件：针对Python初始化过程中的已知泄漏，创建抑制规则文件（例如python_asan_suppressions.txt），内容示例如下：

  leak:libpython3.10.so.1.0
  leak:PyType_Ready
  leak:Py_InitializeEx
  

  运行程序时通过ASAN_OPTIONS=suppressions=/path/to/python_asan_suppressions.txt加载该文件，即可过滤这些非有害泄漏。

2. 完全抑制Py_InitializeEx相关泄漏是否安全？ #

完全抑制这类泄漏在大多数场景下是安全的：

• 这些泄漏的内存多为Python解释器的全局静态资源，进程退出时会被操作系统彻底回收，不会造成长期运行的内存累积问题（除非你在进程内反复初始化/销毁解释器，这种情况建议改用单次初始化方案）。
• 需要注意抑制规则要精准，避免误覆盖自身代码中的真实内存泄漏。如果仅针对Py_InitializeEx调用链上的泄漏点（如堆栈中显示的PyType_Ready、libpython3.10.so相关分配）进行抑制，不会影响对自身代码泄漏的检测。

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