RR调试器中PTRACE_INTERRUPT信号处理机制的修复

在RR调试器（一个用于记录和重放程序执行的强大工具）中，开发团队最近发现并修复了一个关于PTRACE_INTERRUPT信号处理的潜在问题。这个问题涉及到调试器如何正确处理由PTRACE_INTERRUPT操作产生的SIGTRAP信号。

问题背景

在Linux系统编程中，ptrace系统调用是进程调试的核心接口。PTRACE_INTERRUPT是ptrace的一个操作选项，它允许调试器中断被调试进程的执行，使其暂停并报告当前状态。当使用PTRACE_INTERRUPT时，内核会向被调试进程发送一个SIGTRAP信号。

RR调试器在内部需要区分不同类型的SIGTRAP信号。有些SIGTRAP是可注入的（injectible），比如用于实现时间片轮转的虚拟信号；而有些则是非注入的，比如由PTRACE_INTERRUPT产生的信号。

问题分析

在RR的Task.cc文件中，存在一个逻辑缺陷：当处理PTRACE_INTERRUPT产生的SIGTRAP时，调试器错误地将其标记为"可注入信号停止"（in_injectible_signal_stop设为true），而实际上这种信号应该是非注入的。

为了验证这一点，开发人员编写了一个测试程序。该程序创建父子进程，父进程使用PTRACE_INTERRUPT中断子进程，然后尝试向子进程注入SIGTERM信号。测试结果表明，由PTRACE_INTERRUPT产生的SIGTRAP确实是非注入性的——尝试注入的SIGTERM信号并未实际传递给子进程。

修复过程

修复方案相对直接：在Task::did_waitpid()函数中，当检测到PTRACE_INTERRUPT产生的SIGTRAP时，明确将in_injectible_signal_stop标志设为false。这一修改确保了调试器正确识别信号类型，避免后续处理中出现逻辑错误。

在修复过程中，开发人员还发现测试代码中存在一个时间单位错误（将毫秒误写为秒），这可能导致测试在某些情况下失败。这个辅助性问题也被一并修复。

技术意义

这个修复虽然看似简单，但对于RR调试器的正确性至关重要。正确处理信号的可注入性关系到调试器能否准确控制被调试进程的执行流。特别是在记录和重放复杂程序行为时，错误的信号处理可能导致重现的执行轨迹与原始运行不一致。

该修复也体现了RR项目对细节的关注——即使是看似微小的逻辑差异，只要可能影响调试准确性，都会得到及时识别和修正。这种严谨态度正是RR能够成为可靠调试工具的基础。