使用 C++ 动态追踪 C++ 应用
内容提要
本文介绍了 C++ 动态追踪工具 Y++，旨在填补 C++ 应用动态追踪的空白。Y++ 编译器支持 C++23 标准，能够生成与 eBPF 和 GDB 兼容的分析器。通过示例程序，展示了如何编写和运行动态追踪分析器，实时监控 C++ 变量。OpenResty XRay 产品可自动化这一过程，提升对复杂 C++ 应用的支持，帮助开发者深入了解软件性能和问题。
延伸解读
Y++ 如何实现 C++ 动态追踪
Y++ 编译器将 C++ 代码转换为 Ylang 或 GNU C 超集，再通过 Ylang 工具链生成与 eBPF+、Stap+ 或 GDB 兼容的分析器。这使得开发者能用熟悉的 C++ 语法编写追踪脚本，直接访问目标进程中的 C++ 变量和数据结构，如示例中的 std::vector。这种设计降低了 C++ 动态追踪的门槛，同时保持了与现有追踪基础设施的兼容性。
调试符号：追踪的关键与无符号方案
追踪二进制程序需要调试符号，编译时需加 -g 选项。调试符号不会带来运行时开销，也不会加载到内存中，因此不影响性能。然而，生产环境中程序可能被 strip 或未用 -g 编译。OpenResty XRay 通过 AI 算法从被 strip 的 ELF 文件中重新生成调试符号，并支持定制模型训练，从而将动态追踪能力扩展到几乎任何进程。
从简单示例到复杂应用的支持路径
文章示例仅追踪一个全局 vector，但 Y++ 已支持类继承、虚函数表、new/delete 动态内存分配等 C++ 特性。团队正努力扩展对 HotSpot JVM、Node.js、MySQL 等复杂 C++ 代码的追踪支持。这意味着未来能对更广泛的应用进行非侵入式分析，帮助开发者深入理解性能和问题，而无需修改目标代码。
Q&A
Y++ 编译器的主要功能是什么？
Y++ 编译器支持 C++23 标准，能够生成与 eBPF 和 GDB 兼容的动态追踪分析器。
如何使用 Y++ 进行动态追踪？
可以通过编写 C++ 或 Y++ 分析器，使用 Y++ 编译器将其编译为动态追踪工具，并实时监控 C++ 变量。
OpenResty XRay 如何提升 C++ 应用的支持？
OpenResty XRay 可以自动化动态追踪过程，提升对复杂 C++ 应用的支持，帮助开发者深入了解软件性能和问题。
调试符号在动态追踪中有什么重要性？
调试符号对于追踪二进制可执行程序至关重要，能够帮助准确定位问题，使用 -g 选项编译时需要注意。
Y++ 如何处理调试符号丢失的问题？
OpenResty XRay 的 AI 算法可以从被 strip 的 ELF 二进制文件中重新生成调试符号。
Y++ 的开发对动态追踪技术有什么影响？
Y++ 的开发标志着动态追踪技术的重大进展，为更复杂的分析和可观测技术铺平了道路。
