Miri 分析记录
调试与日志
使用 GDB 调试
一些调试命令和输出被记录在 #13。
很少有人尝试用 GDB 调试 Miri。虽然时有人询问如何做，但其作者和维护者通常表示没尝试过这件事。
因此我在 Miri 频道分享了这个结果。我用了 1 个多小时学习 GDB 在多进程下如何切换子进程调试，并在手工切换 32 次 exec catch point，成功进入了 Miri 进程。然后花了两天时间研究怎么让这件事更加自动化，主要是梳理零散的命令和编写 GDB 的 python 插件脚本。
内置的 tracing
日志阅读 UI：https://ui.perfetto.dev
tracing 概念介绍
该功能并不完善，也因为输出太多而很少被使用。