Skip to content

Linux default 配置下 REPL 日志索引断言成组不稳定 #371

Description

@pikasTech

目标合并分支: master

问题

Linux core Action 在 default 配置下有 16 个 REPL/交互 shell 测试成组失败。共同特征是直接按 log_buff 固定下标断言输出;当前 PIKA_SHELL_FILTER_ENABLE=1 等配置下输出数量或顺序变化后,断言读到 BEGIN 等邻接日志。

失败 run: 29619636841
job: 88011923282

失败范围

  • pikaMain.REPL_push_mode*
  • pikaMain.runchar_multiline
  • pikaMain.callback_run_char
  • pikaMain.REPL_backspace
  • pikaMain.REPL_tab_completion
  • pikaMain.REPL_backspace_issue_1
  • pikaMain.REPL_key_*
  • pikaMain.SHELL_filter_bye_pika_nomache
  • pikaMain.shell_nolib_print_help

当前缓解

这些具名非语法稳定性测试从 Linux core TEST/VALGRIND 默认 filter 临时排除;显式 PIKA_GTEST_FILTER 仍可单独运行。

期望

  1. 按 shell filter、history、save-file 等配置合同拆分断言。
  2. 避免依赖跨测试共享 log_buff 的绝对历史下标,改为每项测试可独立验证的输出边界。
  3. 分别验证 default/minimal/optimize/pool/float 配置。
  4. 稳定后从默认 filter 恢复全部测试。

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions