Skip to content

[dlmodule][utest] add QEMU regression coverage - #11989

Open
usualtreee wants to merge 2 commits into
RT-Thread:masterfrom
usualtreee:test/dlmodule-qemu-regression-ci
Open

[dlmodule][utest] add QEMU regression coverage#11989
usualtreee wants to merge 2 commits into
RT-Thread:masterfrom
usualtreee:test/dlmodule-qemu-regression-ci

Conversation

@usualtreee

@usualtreee usualtreee commented Nov 5, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

拉取/合并请求描述：(PR description)

[

为什么提交这份PR (why to submit this PR)

这是已合并的 #11915 的测试补充。将动态模块加载、符号解析和卸载回归用例整理为 utest，并接入 qemu-vexpress-a9 CI，持续看护 COMMON、多个 NOBITS 节、跨节重定位、非零节地址和调试重定位等场景。

你的解决方案是什么 (what is your solution)

  • 构建时从测试源码生成真实 ARM ELF 模块，并在 QEMU 内通过文件系统写入模块，实际执行 dlopen、dlsym、模块函数和 dlclose。
  • 注册 components.libc.posix.libdl.regression，包含 10 个测试单元，覆盖 ET_REL、ET_DYN、内核符号导入、符号导出及重复加载卸载。
  • 增加 dlmodule CI 配置和 qemu-vexpress-a9 矩阵项。专用运行器要求全部 10 个单元及 testcase 通过；断言失败、遗漏单元、未找到 testcase、CPU 异常、QEMU 提前退出和超时均判为失败。
  • 使用主线现有的 utest 失败累计机制，不再保留旧实现中的补偿计数。src/defunct.c 仅补充模块接口声明，以满足启用 RT_USING_MODULE 后的 --strict 编译。

本地验证：使用 GCC 14.2.1、QEMU 10.2.1，按 CI 配置严格构建通过；10 个单元连续运行两轮均通过。8 项运行器自测、断言失败对照、默认配置构建、clang-format 22.1.8、Python 语法、YAML 配置检查和 git diff --check 均通过。GitHub Actions 仍需在提交后验证。

请提供验证的bsp和config (provide the config and bsp)

  • BSP: bsp/qemu-vexpress-a9

  • .config: CONFIG_RT_USING_UTESTCASES、CONFIG_RT_CONSOLEBUF_SIZE=1024、CONFIG_RT_NAME_MAX=24、CONFIG_RT_USING_CI_ACTION、CONFIG_RT_USING_MODULE、CONFIG_RT_USING_DFS、CONFIG_RT_USING_POSIX_FS、CONFIG_RT_UTEST_DLMODULE、CONFIG_UTEST_THR_STACK_SIZE=8192

  • action: 待创建 PR 后运行 GitHub Actions；当前仅完成本地验证。
    ]

当前拉取/合并请求的状态 Intent for your PR

必须选择一项 Choose one (Mandatory):

  • 本拉取/合并请求是一个草稿版本 This PR is for a code-review and is intended to get feedback
  • 本拉取/合并请求是一个成熟版本 This PR is mature, and ready to be integrated into the repo

代码质量 Code Quality：

我在这个拉取/合并请求中已经考虑了 As part of this pull request, I've considered the following:

  • 已经仔细查看过代码改动的对比 Already check the difference between PR and old code
  • 代码风格正确，包括缩进空格，命名及其他风格 Style guide is adhered to, including spacing, naming and other styles
  • 没有垃圾代码，代码尽量精简，不包含#if 0代码，不包含已经被注释了的代码 All redundant code is removed and cleaned up
  • 所有变更均有原因及合理的，并且不会影响到其他软件组件代码或BSP All modifications are justified and not affect other components or BSP
  • 对难懂代码均提供对应的注释 I've commented appropriately where code is tricky
  • 代码是高质量的 Code in this PR is of high quality
  • 已经使用clang-format 源码格式化工具确保格式符合RT-Thread代码规范 This PR has been formatted with clang-format and complies with RT-Thread code specification
  • 如果是新增bsp, 已经添加ci检查到.github/ALL_BSP_COMPILE.json 详细请参考链接BSP自查

@github-actions

github-actions Bot commented Nov 5, 2026

Copy link
Copy Markdown

👋 感谢您对 RT-Thread 的贡献！Thank you for your contribution to RT-Thread!

为确保代码符合 RT-Thread 的编码规范，请在你的仓库中执行以下步骤运行代码格式化工作流（如果格式化CI运行失败）。
To ensure your code complies with RT-Thread's coding style, please run the code formatting workflow by following the steps below (If the formatting of CI fails to run).

🛠 操作步骤 | Steps

  1. 前往 Actions 页面 | Go to the Actions page
    点击进入工作流 → | Click to open workflow →

  2. 点击 Run workflow | Click Run workflow

  • Use workflow from 保持默认分支（通常为 master）
    Keep the default branch (usually master) in Use workflow from
  • 在 branch 输入框填写 PR 分支 test/dlmodule-qemu-regression-ci
    Enter PR branch test/dlmodule-qemu-regression-ci in the branch field
  • 设置需排除的文件/目录（目录请以"/"结尾）
    Set files/directories to exclude (directories should end with "/")
  1. 等待工作流完成 | Wait for the workflow to complete
    格式化后的代码将作为独立提交推送至你的分支。
    The formatting changes will be pushed to your branch as a separate commit.

完成后，提交将自动更新至 test/dlmodule-qemu-regression-ci 分支，关联的 Pull Request 也会同步更新。
Once completed, commits will be pushed to the test/dlmodule-qemu-regression-ci branch automatically, and the related Pull Request will be updated.

如有问题欢迎联系我们，再次感谢您的贡献！💐
If you have any questions, feel free to reach out. Thanks again for your contribution!

@github-actions github-actions Bot added Kernel PR has src relate code action github action yml imporve tools Component labels Nov 5, 2026
@github-actions

github-actions Bot commented Nov 5, 2026 •
edited
Loading

Copy link
Copy Markdown

📌 Code Review Assignment

🏷️ Tag: components

Reviewers: @Maihuanyi

Changed Files (Click to expand)
  • components/libc/posix/libdl/SConscript
  • components/libc/posix/libdl/utest/Kconfig
  • components/libc/posix/libdl/utest/SConscript
  • components/libc/posix/libdl/utest/build_fixtures.py
  • components/libc/posix/libdl/utest/dlmodule_tc.c
  • components/libc/posix/libdl/utest/fixtures/common_target.c
  • components/libc/posix/libdl/utest/fixtures/globals.c
  • components/libc/posix/libdl/utest/fixtures/multi_bss.c
  • components/libc/posix/libdl/utest/fixtures/multi_bss.ld
  • components/libc/posix/libdl/utest/fixtures/multi_text.c
  • components/libc/posix/libdl/utest/fixtures/nonzero.ld
  • components/libc/posix/libdl/utest/fixtures/sections.c
  • components/libc/posix/libdl/utest/fixtures/undefined.c
  • components/utilities/utest/Kconfig

🏷️ Tag: components_libc

Reviewers: @GorrayLi @mysterywolf

Changed Files (Click to expand)
  • components/libc/posix/libdl/SConscript
  • components/libc/posix/libdl/utest/Kconfig
  • components/libc/posix/libdl/utest/SConscript
  • components/libc/posix/libdl/utest/build_fixtures.py
  • components/libc/posix/libdl/utest/dlmodule_tc.c
  • components/libc/posix/libdl/utest/fixtures/common_target.c
  • components/libc/posix/libdl/utest/fixtures/globals.c
  • components/libc/posix/libdl/utest/fixtures/multi_bss.c
  • components/libc/posix/libdl/utest/fixtures/multi_bss.ld
  • components/libc/posix/libdl/utest/fixtures/multi_text.c
  • components/libc/posix/libdl/utest/fixtures/nonzero.ld
  • components/libc/posix/libdl/utest/fixtures/sections.c
  • components/libc/posix/libdl/utest/fixtures/undefined.c

🏷️ Tag: kernel

Reviewers: @GorrayLi @ReviewSun @hamburger-os @lianux-mm @wdfk-prog @xu18838022837

Changed Files (Click to expand)
  • src/defunct.c

🏷️ Tag: workflow

Reviewers: @Rbb666 @kurisaW @supperthomas

Changed Files (Click to expand)
  • .github/utest/configs/components/dlmodule.cfg
  • .github/workflows/utest_auto_run.yml

📊 Current Review Status (Last Updated: 2026-11-06 10:59 CST)

📝 Review Instructions

  1. 维护者可以通过单击此处来刷新审查状态: 🔄 刷新状态
    Maintainers can refresh the review status by clicking here: 🔄 Refresh Status

  2. 确认审核通过后评论 LGTM/lgtm
    Comment LGTM/lgtm after confirming approval

  3. PR合并前需至少一位维护者确认
    PR must be confirmed by at least one maintainer before merging

ℹ️ 刷新CI状态操作需要具备仓库写入权限。
ℹ️ Refresh CI status operation requires repository Write permission.

Rbb666
Rbb666 requested changes Nov 5, 2026
View reviewed changes

@Rbb666 Rbb666 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

复核提交 0c03a843b2576c23e911bd540ce75c3f919d5660。已核对 A9 专项 CI：运行器 8 项自测通过，10 个模块测试单元实际执行，并输出 DLMODULE_QEMU_PASS cases=10。

[P2] 请将新增测试选项限制为 32 位 ARM。

utest/Kconfig 第 2–4 行 的 ARCH_ARM_CORTEX_A && !RT_USING_SMART 不能排除 AArch64。例如 i.MX91 同时选择 ARCH_ARM_CORTEX_A55、ARCH_ARMV8 和 ARCH_CPU_64BIT，其默认标准内核配置允许满足当前依赖。

但本用例的生成器固定使用 -marm -mcpu=arm926ej-s，并验证 ELF32/EM_ARM；C 用例也用 uint32_t 保存指针，无法作为 AArch64 用例运行。本轮 Kconfig 验证中，i.MX91 可以同时得到 ARCH_CPU_64BIT=y 和 RT_UTEST_DLMODULE=y，说明新增选项的架构限制确实不足。

请至少增加 depends on !ARCH_CPU_64BIT，在提示或帮助中明确 32 位 ARM，并验证 A9 仍可启用、i.MX91 的 64 位配置不能启用。此处已验证配置可达性，未声称完成 i.MX91 固件构建。

其余改动围绕同一项模块加载回归测试，标题、说明和提交组织清晰。请补齐该配置限制后再合并。

@cms19859230182-lang

cms19859230182-lang commented Nov 5, 2026

Copy link
Copy Markdown
Contributor

dlmodule 这条 CI 跑完自定义脚本就 exit 0 并跳过官方 monitor，容易假绿。建议别提前退出。

@github-actions

github-actions Bot commented Nov 5, 2026

Copy link
Copy Markdown

MemBrowse Memory Report · Explore what changed →

No memory changes detected for:

Catch memory regressions in CI with MemBrowse. Free for open source.

BernardXiong
BernardXiong reviewed Nov 5, 2026
View reviewed changes

@BernardXiong BernardXiong left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

结论：方向正确，runner 的检查比较扎实；有两处需要调整。

1. [P2] 依赖没有排除 64 位 Cortex-A

utest/Kconfig#L3

ARCH_ARM_CORTEX_A 不区分 32/64 位：例如 i.MX91 的 Cortex-A55 会同时选中 ARCH_ARM_CORTEX_A、ARCH_ARMV8、ARCH_CPU_64BIT。而 build_fixtures.py#L68 固定使用 -marm -mcpu=arm926ej-s，并断言 ELF32/EM_ARM；测试代码也用 uint32_t 保存指针，无法在 AArch64 上运行。

建议增加 depends on !ARCH_CPU_64BIT，并在 help 中明确“32 位 ARM GCC”。

2. [P2] exit 0 提前结束，绕过官方 monitor

utest_auto_run.yml#L321-L324

自定义 runner 成功后直接 exit 0，同时 monitor step 对该配置被排除。虽然 runner 当前实现较严格，但这里丢掉了统一 monitor 的失败汇总路径，后续调整 runner 时容易变成假绿。建议去掉 exit 0，让 runner 的退出码自然作为 step 结果。

3. [建议]

  • dlmodule_tc.c#L290 test_init 在 /dlmutest 已存在时直接失败；建议接受 EEXIST 或先清理，避免上次异常退出后重跑失败（新的多轮模式也会受影响）。
  • build_fixtures.py#L35-L54 对 st_shndx 和对齐的硬断言依赖具体 GCC 行为；当前是 opt-in 的 CI 用例可以接受，但换编译器版本会以构建失败形式暴露，建议在帮助中说明。
  • src/defunct.c 增加 #include <dlmodule.h> 本身是对的（后面调用了 dlmodule_destroy），但与本次测试无关，建议拆成独立提交。

tools/ci/test_run_dlmodule_qemu.py 的 8 项自测、10 个单元全量校验和 DLMODULE_QEMU_PASS cases=10 的设计是好的。

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@BernardXiong BernardXiong BernardXiong left review comments
@Rbb666 Rbb666 Rbb666 requested changes
@mysterywolf mysterywolf Awaiting requested review from mysterywolf mysterywolf is a code owner
@supperthomas supperthomas Awaiting requested review from supperthomas supperthomas is a code owner
@kurisaW kurisaW Awaiting requested review from kurisaW kurisaW is a code owner

Requested changes must be addressed to merge this pull request.

Assignees

No one assigned

Labels

action github action yml imporve Component Kernel PR has src relate code tools

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@usualtreee @cms19859230182-lang @BernardXiong @Rbb666