TSan embed row counts only trace.c races and warms up on the main thread — first-use init races are invisible
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 68/100
- Issue 类型
- 缺陷
- 描述清晰度
- 描述清楚
- 活跃度
- 活跃
- 领域
- compilers, testing-qa
调研方向
Start with tests/test_tsan.sh and the embed_concurrent row, then trace the eigs_open and eigs_eval_string calls used by the reproducer. Update the TSan check to cover reports beyond src/trace.c while keeping suppressions explicit, and run the first-use concurrent states without main-thread warm-up. Done means a planted lazy-table race makes the row fail, with calibration recorded in the PR.
由索引模型根据 Issue 内容生成。
描述
Found by the blind critic on PR #1332 (#1275 batch B). The PR introduced a lexer data race: first-use initialisation of the operator filter tables. CI's TSan lane did not see it, for two reasons.
- The
embed_concurrentrow intests/test_tsan.shcounts only reports whose stack is insrc/trace.c, so a race anywhere else in the runtime passes. - Its main thread lexes before any worker does, so first-use initialisation always completes single-threaded.
The critic's reproducer races it in 5 of 10 runs (and 0 of 13 on main): two threads each call eigs_open, wait on a barrier, then eigs_eval_string.
Done when
- The TSan embed row fails on ANY ThreadSanitizer report, not only
src/trace.cones. Existing suppressions stay explicit and carry reasons. - A row runs two or more states that lex, compile and eval for the FIRST time concurrently (barrier-released, no main-thread warm-up).
- Calibrated once: a planted first-use init race (a lazily filled static table) makes the row red. Recorded in the PR.
- 主要语言
- C
- 星标
- 3
- 派生
- 7
- 平均合并
- 4 小时 7 分钟
- 30 天内合并 PR
- 112
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 提供 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
InauguralSystems/EigenScript 的其他 Issue
-
area:embed kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 78/100
InauguralSystems/EigenScript#1387 ·
维护者通常 1 天内回复
-
area:stdlib kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 86/100
InauguralSystems/EigenScript#1378 ·
维护者通常 1 天内回复
-
area:gates kind:gate-defect
难度 2/5 1-3 小时 新手友好度 78/100
InauguralSystems/EigenScript#1374 ·
维护者通常 1 天内回复
-
Error carets pad multi-byte UTF-8 byte-for-byte, so the ^ lands right of the token on a terminal未关闭area:lint-tooling kind:silent-wrong
难度 2/5 1-3 小时 新手友好度 84/100
InauguralSystems/EigenScript#1373 ·
维护者通常 1 天内回复
-
area:gates kind:docs-drift
难度 1/5 1 小时以内 新手友好度 88/100
InauguralSystems/EigenScript#1372 ·
维护者通常 1 天内回复
查看 InauguralSystems/EigenScript 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 90/100
BasedHardware/omi#19711 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 85/100
microsoft/ebpf-for-windows#5604 ·
维护者通常 3 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
trezor/trezor-firmware#7985 ·
维护者通常 2 天内回复
-
难度 2/5 1-3 小时 新手友好度 84/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 70/100
维护者通常 1 天内回复