手夯一个STL allocator和对象内存分析组件
内容提要
该文章介绍了作者在排查和分析压测环境下的某些业务模块大量索引结构的内存问题时，针对智能指针和STL容器实现了allocator来帮助动态的手动插桩来分析问题。文章详细介绍了allocator的基础接口、rebind_alloc的使用、检测类型和设置Alias的两种方式、检测函数存在的两种实现方法以及按对象类型的内存统计模块的实现。最后展示了Allocator的基础统计的部分输出。
延伸解读
自定义Allocator的适用场景与优势
文章针对压测环境下业务模块大量索引结构的内存问题，指出通用工具如jemalloc+jeperf或tcmalloc+gperf过于底层，开启跟踪开销高且噪音多。作者通过为智能指针和STL容器实现自定义allocator，实现了动态手动插桩，能按对象类型统计内存分配和构造析构，帮助精准定位问题。这种方法适合需要细粒度内存分析且对性能敏感的场景。
实现Allocator的关键技术点
文章详细介绍了实现自定义allocator的多个技术细节：C++20后construct/destroy移至allocator_traits，需特化；rebind机制允许容器内部使用不同类型分配器，但需注意模板参数传递；检测类型和函数存在性需借助元编程技巧，如void_t、concepts或模板优先匹配。作者还提供了通用辅助类简化实现，并强调了跨标准兼容性的重要性。
统计模块的实现与注意事项
内存统计模块基于类型自动插桩，使用类型相关的static变量存储统计结果，减少开销。文章提到需处理退出阶段可能产生的分配，通过object_statistics_destroyed标志避免循环问题。此外，boost某些容器（如shared_ptr）内部直接使用new/delete，未走rebind_alloc，可能导致统计遗漏，因此实践中不应依赖构造和析构成对出现。
符号Demangle技巧与输出示例
为提升可读性，文章利用编译器宏（如__FUNCSIG__、__PRETTY_FUNCTION__）获取demangle后的类型名，并提供了跨平台的解析代码。示例输出展示了按对象类型统计的构造计数、析构计数、分配次数和内存开销，帮助读者直观了解统计效果。这些数据可用于分析内存使用模式，定位潜在泄漏或过度分配。
Q&A
如何使用自定义的allocator来分析内存问题？
可以通过一键替换类型声明的Allocator来插入动态控制和插桩统计的能力，从而分析智能指针和STL容器的内存问题。
C++20对allocator的构造和析构函数接口有什么变化？
C++20后，allocator的构造和析构函数接口被移除，取而代之的是使用std::allocator_traits特化的construct和destroy。
allocator的rebind功能有什么作用？
rebind功能允许在不同类型之间重新绑定allocator，以便在使用标准C++容器时正确分配内存。
如何实现按对象类型的内存统计模块？
可以通过使用与类型相关的static变量来记录内存分配和构造析构的统计信息，从而实现按对象类型的内存统计。
文章中提到的boost容器实现的问题是什么？
boost某些容器实现没有使用完整的Allocator接入方式，导致内存统计遗漏，特别是在构造和析构时。
如何优化C++符号的可读性？
可以通过使用demangle技巧，将C++的原始符号转换为可读性更好的符号，具体方法依赖于不同的编译器。
