穿马甲的鳄鱼——我的第一项研究工作
内容提要
“Investigator”利用Arm ETM硬件特性低开销诊断并发漏洞：通过ETM记录控制流，用计数器生成时间戳，PMU提取跟踪，并轻量捕获系统调用等构建数据流，再经混合分析、模式匹配和自适应收集定位根因。在Unixbench上开销约4%，Nginx上约1.3%，能诊断多种并发及非并发漏洞。
延伸解读
硬件辅助诊断的精度与开销平衡
Investigator 利用 Arm ETM 记录控制流，并通过计数器生成时间戳来还原指令执行顺序。在多处理器场景下，时间戳可能不够精确，导致数据竞争信息丢失。文章指出，通过增加时间戳密度，在数据竞争发生的最坏情况下，仍有 99.34% 的指令能正确排序。这种精度与开销的权衡是硬件辅助诊断方案的关键，也提示读者：低开销往往需要接受一定的精度损失，但可以通过硬件特性优化来弥补。
数据流构建的取舍策略
为了降低开销，Investigator 并不追踪内核和共享库的完整执行流，而是利用预知信息忽略其内部细节，只关注用户空间程序。同时，它实现轻量级事件捕获器记录系统调用、异常、信号和中断，并将系统调用分为四类：仅对影响数据流的读写内容类详细记录，对读写状态类只记录返回值。这种分类处理减少了 ETM 输出量，从而降低提取频率，提升性能。读者可以从中学习到：在诊断工具设计中，有选择地忽略已知信息是有效的优化手段。
根因定位的组合方法
获得控制流和数据流后，Investigator 采用混合分析、模式匹配和自适应收集来定位根因。混合分析通过“包含点集”建立内存地址间的传递关系，例如变量 x 受变量 y 影响；模式匹配则搜索常见的原子性违反和顺序违反模式，找出导致失败的关键指令；自适应收集通过重新执行部分指令来提高数据恢复的准确性。这些方法相互配合，能够诊断多种并发及非并发漏洞，为读者提供了根因分析的实用思路。
Q&A
Investigator 是什么？它主要用来解决什么问题？
Investigator 是一项利用 Arm 硬件特性低开销诊断并发漏洞的研究工作。它通过 ETM 记录控制流，用计数器生成时间戳，PMU 提取跟踪，并轻量捕获系统调用等构建数据流，再经混合分析、模式匹配和自适应收集定位根因。
Investigator 如何以低开销获取控制流和数据流？
控制流方面，使用 Arm ETM 硬件记录指令地址，用计数器生成时间戳，ETR 作为缓冲区，PMU 自动提取跟踪，几乎零开销。数据流方面，通过前向重放和轻量事件捕获器记录系统调用、异常、信号和中断，并对系统调用分类处理，同时利用 glibc 库钩子减少记录成本。
Investigator 在诊断并发漏洞时，如何确定根本原因？
Investigator 使用混合分析、模式匹配和自适应收集来定位根因。混合分析通过包含点集建立内存地址间的传递关系；模式匹配搜索常见的原子性违反和顺序违反模式；自适应收集通过重新执行部分指令来恢复数据流，提高数据恢复的准确性。
Investigator 的性能开销如何？
在 Unixbench 上，Investigator 的总体开销约为 4%；在 Nginx 上，开销约为 1.3%。
Investigator 能诊断哪些类型的漏洞？
Investigator 能够诊断多种著名的并发漏洞，也能诊断一些非并发漏洞。
在多处理器程序中，Investigator 如何保证控制流的顺序正确？
Investigator 使用计数器硬件生成尽可能多的时间戳，以提高精度。在数据竞争发生的最坏情况下，99.34% 的指令能够以正确的顺序被记录。
