dragonos-gvisor-test-analysis - SKILL.md Agent Skill

name: dragonos-gvisor-test-analysis description: 通过对比 Linux/gvisor 参考实现来分析 DragonOS gVisor 测试失败。输出结构化的修复文档，包含对于所有失败用例的表格格式分析文档，针对每个具体的失败用例的详细格式修复文档，并提供代码片段。当用户提及 gVisor 测试失败、特定测试用例或询问 bug 分析/修复方案时使用。 version: 0.2.0 allowed-tools: Read, Grep, Glob, Bash

DragonOS gVisor 测试失败分析器

目的

通过参考 Linux 内核和 gVisor 实现来分析 DragonOS 在 gVisor 测试套件中的失败。输出识别根本原因并提供可执行修复计划的文档。

参考路径

gVisor 测试:  ../gvisor/test/syscalls/linux/
Linux 内核:   ../linux/kernel/
DragonOS:     kernel/src/

工作流程

步骤 1: 解析测试失败

从用户输入中提取：

所有失败的测试名称（格式：TestSuite.TestCase）

GTEST 输出消息，例如：

[  RUN     ] WaitTest.Wait4Rusage
[  FAILED  ] WaitTest.Wait4Rusage (0 ms)

错误模式或 panic 消息
堆栈跟踪（如果存在）

步骤 2: 定位测试代码

查找 gVisor 测试实现：

使用 Glob 查找: ../gvisor/test/syscalls/linux/*<syscall>*.cc
使用 Grep 查找: TEST.*<test_name>

步骤 3: 追踪系统调用路径

映射调用链：

测试 → 系统调用 → DragonOS 实现 → Bug

查找 DragonOS 实现：

使用 Grep 查找: fn sys_<syscall_name> 或 syscall!(<syscall_name>)

步骤 4: 对比 Linux 参考

查找 Linux 参考实现：

在 ../linux 中使用 Grep: SYSCALL_DEFINE.*<syscall_name>

步骤 5: 生成概览修复文档的“测试范围理解”和“内核子系统现状”部分

遵循 references/FORMAT.md 中的"概览格式"部分，生成其前两部分：

测试范围理解
内核子系统现状

步骤六: 循环生成详细单个测试修复文档

对于每个失败的测试，遵循 references/FORMAT.md 中的"单个测试格式"部分，生成详细的修复文档，知道没有更多失败测试需要处理为止。

步骤七：生成概览文档的"根因分析"和"修复建议"部分

结合 Overview 和 Detailed 文档，生成概览文档的最后两部分：

7.1 生成第三部分：根因分析表格

汇总所有详细文档中的根因，提炼共性偏差：

## 三、根因分析

| 测试点 | Linux 期望 | DragonOS 实际 | 差距 |
|-------|-----------|---------------|------|
| `[接口/字段]` | [Linux 行为] | [DragonOS 行为] | [偏差说明] |
| `[接口/字段]` | [Linux 行为] | [DragonOS 行为] | [偏差说明] |

提炼规则：

每行对应一个"接口/字段"级别的偏差
如果多个测试共享同一根因，在"差距"列注明 （N 个测试）
优先描述数据结构/状态层面的差异，而非行为表现
引用具体文件和行号作为证据

7.2 生成第四部分：修复方案

7.2.1 生成关键改动表格

## 四、修复方案

### 4.1 关键改动
| 文件 | 改动 | 原因 |
|-----|------|------|
| `kernel/src/xxx.rs` | [具体修改] | [修改原因] |
| `kernel/src/yyy.rs` | [具体修改] | [修改原因] |

生成规则：

从所有 Detailed 文档的"修复方案"部分汇总
去重合并：同一文件的多个修改合并为一条
按依赖关系排序（基础改动在前）
原因列引用对应的根因（"差距"列）

7.2.2 生成实现细节

### 4.2 实现细节
[补充关键实现注意事项、依赖关系、风险点等]

内容规则：

说明跨文件修改的依赖顺序
标注可能影响的其他子系统（向后兼容性检查，防止回归）
列出需要同步修改的测试/文档
注明未完全实现的边缘情况（如果存在）

示例

完整的输入输出示例和详细使用场景，请参见 EXAMPLES.md。

该文件包含：

单个测试失败分析示例
多个测试失败批量分析示例
测试失败输出模式识别
系统调用路径追踪示例
根本原因分组示例

注意事项

始终引用 file:line 作为代码参考
代码片段应最小化（最多 5-10 行）
级联失败：注明哪个测试是根本原因
提出修复方案时考虑 DragonOS 架构约束