TSan embed row counts only trace.c races and warms up on the main thread — first-use init races are invisible
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 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
- 平均マージ
- 3時間 56分
- マージ済み PR（30日）
- 102
環境構築
このプロジェクトの開発コンテナを、あなたの GitHub アカウントでブラウザ上に起動します。
- Dockerfile または Docker Compose ファイルあり
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
InauguralSystems/EigenScript のほかの issue
-
area:lint-tooling bug
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
InauguralSystems/EigenScript#1340 ·
メンテナーはふだん 1 日以内に返信
-
area:stdlib found-by:code-review kind:silent-wrong
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
InauguralSystems/EigenScript#1338 ·
メンテナーはふだん 1 日以内に返信
-
area:lint-tooling found-by:critic kind:docs-drift
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
InauguralSystems/EigenScript#1335 ·
メンテナーはふだん 1 日以内に返信
-
area:ci found-by:critic kind:gate-defect
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
InauguralSystems/EigenScript#1311 ·
メンテナーはふだん 1 日以内に返信
-
enrolment: decide test_gc_runner_controls.py (exempt vs enrol) and whether floors need a ratchetオープンarea:gates found-by:critic kind:decision
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
InauguralSystems/EigenScript#1280 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
InauguralSystems/EigenScript の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
libretro/libretro-common#233 ·
-
[Bug]: chunk_span_bounds and _validated_chunk_spans reject Pydantic models ChunkSpan and AudioFileオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
BasedHardware/omi#19047 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
obsproject/obs-studio#13936 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信